X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2Fsenf.css;h=b1a8ab1204c4b86a8e821539edc7b7b3b77adf59;hb=61419d9a2e1060f7ede22fa19fd9d0b401bbc87a;hp=0515e1c236b393b2cd9b7104d6a8de5f30f5bb9c;hpb=759310ea14e1fa1eb65f029762efa32d52539e59;p=senf.git

diff --git a/doclib/senf.css b/doclib/senf.css
index 0515e1c..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;