[svn r3341] r3601@delle: sbehnel | 2008-02-22 16:03:07 +0100

 doc updates, more links to generated API docs, extended web site menu

--HG--
branch : trunk

1 files changed, 2 insertions, 2 deletions

diff --git a/doc/html/style.css b/doc/html/style.css
index ccbb380d..c4630c58 100644
--- a/doc/html/style.css
+++ b/doc/html/style.css
@@ -60,7 +60,7 @@ div.sidemenu {
     position: absolute;
     top: 0px;
     left: 0px;
-    width: 22em;
+    width: 24em;
     font-size: 11px;
     text-align: left;
     border-right: groove gray;
@@ -75,7 +75,7 @@ html > body div.sidemenu {
 }
 
 div.sidemenu span.section.title {
-    line-height: 1.5em;
+    line-height: 1.2em;
     font-size: 130%;
 }