From: Fred Drake <fdrake@acm.org>
Date: Fri, 6 Jul 2001 22:37:36 +0000 (+0000)
Subject: Revise a comment about styles I don't think LaTeX2HTML can generate,
X-Git-Tag: v2.2a3~1312
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=bde8d1c8af85024bc71c93393f540bd97b8d21f8;p=python

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.
---

diff --git a/Doc/html/style.css b/Doc/html/style.css
index eae3307ff5..365566600b 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -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 @@ var                     { font-family: times, serif;
 
 .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; }