Utils/Logger: Reorganize source code

[senf.git] / doclib / senf.css

diff --git a/doclib/senf.css b/doclib/senf.css
index 250dadc..b1a8ab1 100644 (file)
--- a/doclib/senf.css
+++ b/doclib/senf.css
@@ -54,7 +54,7 @@ body {
 }
 
 #head ul { 
-        display: inline; /* für IE ... */
+        display: inline; /* f�r IE ... */
         font-size: 13px;
         height: 0px;
         margin: 0;
@@ -190,6 +190,11 @@ div.tabs ul li a:hover, div.tabs ul li.current a {
         background-color: #EDE497;
 }
 
+div.tabs ul li.level1 a {
+        padding-left: 1.5em;
+        font-size: 90%;
+}
+
 #footer {
         clear: both;
         padding: 4px 10px 4px 142px;
@@ -252,13 +257,33 @@ table.senf th {
         font-weight: bold;
 }
 
+table.ebnf {
+        margin: 0;
+        padding: 0;
+        border-spacing: 0;
+        border: none;
+        font-size: 120%; /* ????????  Why is THIS needed ?? */
+}
+
+table.ebnf td {
+        text-align: left;
+        border: none;
+        padding: 0;
+}
+
+table.ebnf td:first-child {
+        width: 1%;
+        padding-right: 1ex;
+        font-style: italic;
+}
+
 dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
         border: 1px solid #CC8888;
         padding: 2px 3px;
         margin: 4px 8px 4px 2px;
         background-color: #FFEEEE;
         color: #666666;
-        font-size: 9px;
+        font-size: 75%;
         overflow: hidden;
 }
 
@@ -310,7 +335,32 @@ div.idea {
 
 dl.implementation {
         color: #666666;
-        font-size: 9px;
+        font-size: 75%;
+}
+
+p.memtitle {
+        color: #1a41a8;
+        font-weight: bold;
+        margin-right: 14px;
+        border-bottom: 1px solid #84b0c7;
+}
+
+p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin, 
+p.implementedin {
+        color: #666666;
+        font-size: 75%;
+        margin-bottom: .2em;
+        margin-top: .2em;
+}
+
+div.memdoc p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin, 
+p.implementedin {
+        margin-left: 10em;
+        text-indent: -4em;
+}
+
+div.memproto {
+        margin-bottom: .5em;
 }
 
 table {
@@ -368,6 +418,27 @@ table.members td:first-child {
         width: 35%;
 }
 
+div.toc {
+       width: 25%;
+        margin: 10px 0px;
+}
+
+div.toc ol {
+        padding: 0px;
+        margin: 0pt 0pt 0pt 40px;
+       list-style-type: decimal;
+}
+
+div.toc li {
+        padding: none;
+}
+
+div.toc div {
+        margin: 10px 0px;
+        font-weight: bold;
+        font-size: 120%
+}
+
 /* \f
  * Local Variables:
  * indent-tabs-mode: nil