X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2Fsenf.css;h=b1a8ab1204c4b86a8e821539edc7b7b3b77adf59;hb=82ad2ed94c12c3e53097fef92978de8c28239fab;hp=476f44f9e7514c16eac52753cb730181804dc5e1;hpb=1cf24483a4b520177bfa539d9601749be6aef2ce;p=senf.git

diff --git a/doclib/senf.css b/doclib/senf.css
index 476f44f..b1a8ab1 100644
--- a/doclib/senf.css
+++ b/doclib/senf.css
@@ -257,6 +257,26 @@ 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;
@@ -322,6 +342,7 @@ 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, 
@@ -397,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%
+}
+
 /* 
  * Local Variables:
  * indent-tabs-mode: nil