1 files changed, 17 insertions, 41 deletions
diff --git a/doc-src/02-docstyle.css b/doc-src/02-docstyle.css
index dd61d2e8..b1a90727 100644
--- a/doc-src/02-docstyle.css
+++ b/doc-src/02-docstyle.css
@@ -2,7 +2,7 @@ body {
     -x-system-font:none;
     font-family: Helvetica,Arial,Tahoma,Verdana,Sans-Serif;
     color: #555555;
-    font-size: 1.1em;
+    font-size: 1.2em;
 }
 
 a {
@@ -15,7 +15,7 @@ a {
 }
 #hd h1 {
     letter-spacing: 3px;
-    font-size: 2.5em;
+    font-size: 2em;
     line-height: 100%;
     margin: 0.3em 0;
     font-weight: normal;
@@ -46,56 +46,32 @@ a {
         letter-spacing: 0.5px;
 }
 
-.pageindex {
-    font-size: 1.5em;
+.faq .question {
+    font-size: 1.1em;
+    font-weight: bold;
 }
 
-.pageindex ul {
-    list-style-image:none;
-    list-style-position:outside;
-    list-style-type:none;
-    margin: 0px;
+pre {
+    padding: 10px;
+    background-color: #e0e0e0;
+    margin: 10px;
 }
 
-.pageindex li { 
-    list-style-image:none;
-    list-style-position:outside;
-    list-style-type:none;
-    margin: 0; 
+ul {
+    margin-top: 0.1em;
+    margin-bottom: 0;
+    margin-left: 2em;
 }
 
-.pageindex li.active {
-    padding-left: 4px;
-    border-left: 5px solid #ff0000;
+li a {
+    text-decoration: none;
 }
 
-.pageindex li.inactive{
-    border-left: none;
-    margin-left: 9px;
-}
+#nav {
+    float: right;
 
-.pageindex li li a {
-    display: block;
-    background-color: transparent;
-    margin: 0;
-    border-top: none;
-    border-bottom: none;
-}
 
-.pageindex ul ul {
-    margin-left: 20px;
-    padding: 0;
-    list-style-type: none;
 }
 
 
-.faq .question {
-    font-size: 1.1em;
-    font-weight: bold;
-}
 
-pre {
-    padding: 10px;
-    background-color: #e0e0e0;
-    margin: 10px;
-}