X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2Fsenf.css;h=e97f83f66afe334d71519a3bbf6263029039eb91;hb=16d94efc2159cba35fc44e5b26747ae0a2ab237b;hp=c6e2d4b963921d93bcf649ea6e509b16161d2f35;hpb=b41b8147c7a2d40e2f69471e183840be8a0b95da;p=senf.git

diff --git a/doclib/senf.css b/doclib/senf.css
index c6e2d4b..e97f83f 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;
 }
 
@@ -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;
@@ -235,6 +248,30 @@ dl.note {
         background-color: #F0F8F8;
         padding: 4px;
 }
+ 
+table.packet {
+        width: 95%;
+        margin: 10pt auto;
+        border: 1px solid #AAAAAA;
+        padding: 2px;
+        border-spacing: 0;
+        white-space: nowrap;
+        text-align: center;
+        table-layout: fixed; 
+}
+
+table.packet td,th {
+        border: 2px solid white;
+        background-color: #EEEEEE;
+        padding: 6px 4px;
+}
+
+table.packet th {
+        background-color: white;
+        text-align: left;
+        font-weight: normal;
+        padding: 0px;
+}
 
 table.senf {
         width: 95%;
@@ -258,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 {
@@ -283,7 +323,6 @@ table.listing {
         padding: 0;
         border-spacing: 0;
         border: none;
-        font-size: 120%; /* ????????  Why is THIS needed ?? */
 }
 
 table.listing td {
@@ -391,7 +430,7 @@ div.ah {
         margin-right: 10px;
 }
 
-div.nav {
+div.nav, div.navpath {
         width: auto;
         background-color: white;
         border: none;
@@ -410,6 +449,14 @@ div.qindex {
         line-height: 140%;
 }
 
+table.qindextable {
+        font-size: 90%;
+}
+
+table.qindextable td {
+        width: 33%;
+}
+
 dl.parameters dd table {
         width: auto;
 }
@@ -439,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 {
@@ -456,7 +503,36 @@ div.toc li {
 div.toc div {
         margin: 10px 0px;
         font-weight: bold;
-        font-size: 120%
+        font-size: 120%;
+}
+
+p.commalist {
+        white-space: nowrap;
+        margin-left: 4em;
+        text-indent: -4em;
+}
+
+#autotoc h1 {
+        font-size: 120%;
+        text-align: left;
+}
+
+#autotoc ul {
+        list-style-type: none;
+        padding: 0;
+        margin: 1em 0 1em 2em;
+}
+
+#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;
 }
 
 /*