From f8aab48bffe5ffad97db2a92474411b0d49e5b61 Mon Sep 17 00:00:00 2001 From: David Anderson Date: Wed, 23 Dec 2015 17:19:40 -0800 Subject: [PATCH] web: change format of main page. TODO: use bootstrap! --- doc/index.php | 22 +++++++++------------- 1 file changed, 9 insertions(+), 13 deletions(-) diff --git a/doc/index.php b/doc/index.php index ee91b59005..32192abbf9 100644 --- a/doc/index.php +++ b/doc/index.php @@ -169,18 +169,19 @@ function show_other() { - ";
-