diff Doc/html/style.css @ 20977:95e3584abe45 legacy-trunk

Finally commit the font changes that have been live on the development site for a month or more.
author Fred Drake <fdrake@acm.org>
date Wed, 14 Nov 2001 22:35:59 +0000
parents 12a787fb71df
children d45691a6987f
line wrap: on
line diff
--- a/Doc/html/style.css	Wed Nov 14 22:28:26 2001 +0000
+++ b/Doc/html/style.css	Wed Nov 14 22:35:59 2001 +0000
@@ -47,11 +47,14 @@
 h1                      { font-size: 180%; }
 h2                      { font-size: 150%; }
 h3, h4                  { font-size: 120%; }
-code, tt                { font-family: monospace; }
+code, tt                { font-family: lucida typewriter, lucidatypewriter,
+                                       monospace; }
 var                     { font-family: times, serif;
                           font-style: italic;
                           font-weight: normal; }
 
+.typelabel              { font-family: lucida, sans serif; }
+
 .navigation td          { background-color: #99ccff;
                           font-weight: bold;
                           font-family: avantgarde, sans-serif;
@@ -61,7 +64,9 @@
 
 .titlegraphic           { vertical-align: top; }
 
-.verbatim               { color: #00008b; }
+.verbatim               { color: #00008b;
+                          font-family: lucida typewriter, lucidatypewriter,
+                                       monospace; }
 
 .grammar                { background-color: #99ccff;
                           margin-right: 0.5in;