diff Doc/html/style.css @ 18425:2fd1377ec48c legacy-trunk

Revise a comment about styles I don't think LaTeX2HTML can generate, but which came from their default stylesheet. Add styles for the new hyperlinked grammar productions.
author Fred Drake <fdrake@acm.org>
date Fri, 06 Jul 2001 22:37:36 +0000
parents eb524322a1c3
children 12a787fb71df
line wrap: on
line diff
--- a/Doc/html/style.css	Fri Jul 06 22:34:33 2001 +0000
+++ b/Doc/html/style.css	Fri Jul 06 22:37:36 2001 +0000
@@ -10,7 +10,13 @@
 .boldmath               { font-family: "Century Schoolbook", serif;
                           font-weight: bold }
 
-/* Implement both fixed-size and relative sizes: */
+/*
+ * Implement both fixed-size and relative sizes.
+ *
+ * I think these can be safely removed, as it doesn't appear that
+ * LaTeX2HTML ever generates these, even though these are carried
+ * over from the LaTeX2HTML stylesheet.
+ */
 small.xtiny             { font-size : xx-small; }
 small.tiny              { font-size : x-small; }
 small.scriptsize        { font-size : smaller; }
@@ -57,6 +63,14 @@
 
 .verbatim               { color: #00008b; }
 
+.grammar                { background-color: #99ccff;
+                          margin-right: 0.5in;
+                          padding: 0.05in; }
+.productions            { background-color: #bbeeff; }
+.productions table      { vertical-align: baseline; }
+.grammar-footer         { padding: 0.05in;
+                          font-size: 85%; }
+
 .email                  { font-family: avantgarde, sans-serif; }
 .mimetype               { font-family: avantgarde, sans-serif; }
 .newsgroup              { font-family: avantgarde, sans-serif; }