X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2Fsenf.css;h=ba3e05f1e1efa65432f105eb4979e4d3d82ffa80;hb=63b650afb727cce067817ce9451eecb932446bf3;hp=9af205925ca804152575ee8f7e6765368e8259f2;hpb=a3d3979b7daaf22ea63ca356edbfa8047dff7b78;p=senf.git

diff --git a/doclib/senf.css b/doclib/senf.css
index 9af2059..ba3e05f 100644
--- a/doclib/senf.css
+++ b/doclib/senf.css
@@ -235,10 +235,34 @@ 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%;
-        margin: 0 auto;
+        margin: 10pt auto;
         border: 1px solid #AAAAAA;
         padding: 2px;
         border-spacing: 0;
@@ -249,6 +273,7 @@ table.senf td,th {
         background-color: #EEEEEE;
         padding: 2px 4px;
         text-align: left;
+        vertical-align: top;
 }
 
 table.senf th {
@@ -257,6 +282,45 @@ 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;
+}
+
+table.listing {
+        margin: 10pt 0;
+        padding: 0;
+        border-spacing: 0;
+        border: none;
+        font-size: 120%; /* ????????  Why is THIS needed ?? */
+}
+
+table.listing td {
+        text-align: left;
+        vertical-align: top;
+        border: none;
+        padding: 0 0 3pt 0;
+}
+
+table.listing td:first-child {
+        width: 35%;
+}
+
 dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
         border: 1px solid #CC8888;
         padding: 2px 3px;
@@ -398,6 +462,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