X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2Fsenf.css;h=1783cc14e9b22ec00f72f6b3a554398b9cc33ffe;hb=5209d7573f53f4b32730833af00668f5c0e56147;hp=be87f6696bf822cc5fae11dd1f00e07848b81f05;hpb=0990bd1c4f917855f3645e7329a84b00e54ccd7d;p=senf.git

diff --git a/doclib/senf.css b/doclib/senf.css
index be87f66..1783cc1 100644
--- a/doclib/senf.css
+++ b/doclib/senf.css
@@ -5,6 +5,11 @@ body {
         font-size: 10pt;
 }
 
+/* Argh .. doxygen.css has font-size:90% for td ... */
+td {
+        font-size: 100%;
+}
+
 #head {
         height: 62px;
         border-top: 5px solid #DECD40;
@@ -54,7 +59,7 @@ body {
 }
 
 #head ul { 
-        display: inline; /* f�r IE ... */
+        display: inline; /* fuer IE ... */
         font-size: 13px;
         height: 0px;
         margin: 0;
@@ -63,15 +68,15 @@ body {
 
 #head li { 
         list-style-type: none;
-        margin: 0 0 0 10px;
-        padding: 0 10px 0 0;
-        float: right;
-        border-right: 1px solid #726921;
+        margin: 0 10px 0 0;
+        padding: 0 0 0 10px;
+        float: left;
+        border-left: 1px solid #726921;
         height: 14px;
 }
 
 #head li:first-child { 
-        border-right: none;
+        border-left: none;
         padding: 0;
 }
 
@@ -250,9 +255,9 @@ table.packet {
         border: 1px solid #AAAAAA;
         padding: 2px;
         border-spacing: 0;
-		white-space: nowrap;
-		text-align: center;
-		table-layout: fixed; 
+        white-space: nowrap;
+        text-align: center;
+        table-layout: fixed; 
 }
 
 table.packet td,th {
@@ -264,7 +269,7 @@ table.packet td,th {
 table.packet th {
         background-color: white;
         text-align: left;
-		font-weight: normal;
+        font-weight: normal;
         padding: 0px;
 }
 
@@ -290,12 +295,15 @@ table.senf th {
         font-weight: bold;
 }
 
+table.fixedcolumn td:first-child {
+        width: 35%; 
+}
+
 table.ebnf {
         margin: 0;
         padding: 0;
         border-spacing: 0;
         border: none;
-        font-size: 120%; /* ????????  Why is THIS needed ?? */
 }
 
 table.ebnf td {
@@ -315,7 +323,6 @@ table.listing {
         padding: 0;
         border-spacing: 0;
         border: none;
-        font-size: 120%; /* ????????  Why is THIS needed ?? */
 }
 
 table.listing td {
@@ -423,7 +430,7 @@ div.ah {
         margin-right: 10px;
 }
 
-div.nav {
+div.nav, div.navpath {
         width: auto;
         background-color: white;
         border: none;
@@ -442,6 +449,14 @@ div.qindex {
         line-height: 140%;
 }
 
+table.qindextable {
+        font-size: 90%;
+}
+
+table.qindextable td {
+        width: 33%;
+}
+
 dl.parameters dd table {
         width: auto;
 }
@@ -471,14 +486,14 @@ table.members td:first-child {
 }
 
 div.toc {
-	width: 25%;
+        width: 25%;
         margin: 10px 0px;
 }
 
 div.toc ol {
         padding: 0px;
         margin: 0pt 0pt 0pt 40px;
-	list-style-type: decimal;
+        list-style-type: decimal;
 }
 
 div.toc li {
@@ -497,6 +512,14 @@ p.commalist {
         text-indent: -4em;
 }
 
+#autotoc {
+        width: 30em;
+        background-color: #F5F5F5;
+        border: 1px solid #CCC;
+        padding: 0 1em;
+        margin: 1em 0;
+}
+
 #autotoc h1 {
         font-size: 120%;
         text-align: left;
@@ -505,7 +528,12 @@ p.commalist {
 #autotoc ul {
         list-style-type: none;
         padding: 0;
-        margin: 1em 0 1em 2em;
+        margin: 1em 0 1em 1em;
+}
+
+#autotoc li {
+        padding: 0 0 0 3em;
+        text-indent: -3em;
 }
 
 #autotoc ul li.level_h2 {