doclib: More list-of-all-members formatting

[senf.git] / doclib / senf.css

diff --git a/doclib/senf.css b/doclib/senf.css
index 368d233..1783cc1 100644 (file)
--- 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;
 }
 
@@ -184,7 +189,7 @@ div.tabs li.current span {
         padding-bottom: 6px;
 }
 
-div.tabs ul li a:hover, div.tabs ul li.current a {
+div.tabs ul li a:hover, div.tabs ul li.current a, div.tabs ul.glossary li a:hover {
         color: #726921;
         text-decoration: none;
         background-color: #EDE497;
@@ -195,6 +200,14 @@ div.tabs ul li.level1 a {
         font-size: 90%;
 }
 
+div.tabs ul.glossary li a {
+        background-color: #FDF7C3;
+}
+
+div.tabs ul.glossary li.glossary a {
+        background-color: #EDE497;
+}
+
 #footer {
         clear: both;
         padding: 4px 10px 4px 142px;
@@ -242,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 {
@@ -256,7 +269,7 @@ table.packet td,th {
 table.packet th {
         background-color: white;
         text-align: left;
-               font-weight: normal;
+        font-weight: normal;
         padding: 0px;
 }
 
@@ -282,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 {
@@ -307,7 +323,6 @@ table.listing {
         padding: 0;
         border-spacing: 0;
         border: none;
-        font-size: 120%; /* ????????  Why is THIS needed ?? */
 }
 
 table.listing td {
@@ -415,7 +430,7 @@ div.ah {
         margin-right: 10px;
 }
 
-div.nav {
+div.nav, div.navpath {
         width: auto;
         background-color: white;
         border: none;
@@ -434,6 +449,14 @@ div.qindex {
         line-height: 140%;
 }
 
+table.qindextable {
+        font-size: 90%;
+}
+
+table.qindextable td {
+        width: 33%;
+}
+
 dl.parameters dd table {
         width: auto;
 }
@@ -463,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 {
@@ -489,6 +512,42 @@ 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;
+}
+
+#autotoc ul {
+        list-style-type: none;
+        padding: 0;
+        margin: 1em 0 1em 1em;
+}
+
+#autotoc li {
+        padding: 0 0 0 3em;
+        text-indent: -3em;
+}
+
+#autotoc ul li.level_h2 {
+        margin: .5em 0 .2em 0;
+}
+
+#autotoc ul li.level_h3 {
+        margin-left: 1.5em;
+}
+
+#autotoc ul li.level_h4 {
+        margin-left: 3em;
+}
+
 /* \f
  * Local Variables:
  * indent-tabs-mode: nil