From: Fred Drake <fdrake@acm.org>
Date: Wed, 14 Nov 2001 22:35:59 +0000 (+0000)
Subject: Finally commit the font changes that have been live on the development site
X-Git-Tag: v2.2.1c1~767
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=e1d4ad3a31b567e69d6d7c441ce70cd35ba59364;p=thirdparty%2FPython%2Fcpython.git

Finally commit the font changes that have been live on the development site
for a month or more.
---

diff --git a/Doc/html/style.css b/Doc/html/style.css
index b24998c7f87e..cfd5942c86e1 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -47,11 +47,14 @@ h1, h2, h3, h4, h5, h6  { font-family: avantgarde, sans-serif;
 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 @@ var                     { font-family: times, serif;
 
 .titlegraphic           { vertical-align: top; }
 
-.verbatim               { color: #00008b; }
+.verbatim               { color: #00008b;
+                          font-family: lucida typewriter, lucidatypewriter,
+                                       monospace; }
 
 .grammar                { background-color: #99ccff;
                           margin-right: 0.5in;