diff Doc/html/style.css @ 23050:8a8affccf463 legacy-trunk

Clean up the application of style to verbatim text. This moves styling to the stylesheet; the use of <dl> structures to control style sometimes produced improper indentation of subsequent text in many browsers when the text was already part of the <dl> structure (as in a function or class description).
author Fred Drake <fdrake@acm.org>
date Mon, 15 Apr 2002 18:41:31 +0000
parents 3af8ab1b05fc
children cd02a36704fe
line wrap: on
line diff
--- a/Doc/html/style.css	Mon Apr 15 17:46:00 2002 +0000
+++ b/Doc/html/style.css	Mon Apr 15 18:41:31 2002 +0000
@@ -65,9 +65,11 @@
 
 .titlegraphic           { vertical-align: top; }
 
-.verbatim               { color: #00008b;
+.verbatim pre           { color: #00008b;
                           font-family: lucida typewriter, lucidatypewriter,
-                                       monospace; }
+                                       monospace;
+                          font-size: 90%; }
+.verbatim               { margin-left: 2em; }
 
 .grammar                { background-color: #99ccff;
                           margin-right: 0.5in;