Finally commit the font changes that have been live on the development site

for a month or more.
This commit is contained in:
Fred Drake 2001-11-14 22:35:59 +00:00
parent 9c7a07f7a4
commit e1d4ad3a31
1 changed files with 7 additions and 2 deletions

View File

@ -47,11 +47,14 @@ h1, h2, h3, h4, h5, h6 { font-family: avantgarde, sans-serif;
h1 { font-size: 180%; } h1 { font-size: 180%; }
h2 { font-size: 150%; } h2 { font-size: 150%; }
h3, h4 { font-size: 120%; } h3, h4 { font-size: 120%; }
code, tt { font-family: monospace; } code, tt { font-family: lucida typewriter, lucidatypewriter,
monospace; }
var { font-family: times, serif; var { font-family: times, serif;
font-style: italic; font-style: italic;
font-weight: normal; } font-weight: normal; }
.typelabel { font-family: lucida, sans serif; }
.navigation td { background-color: #99ccff; .navigation td { background-color: #99ccff;
font-weight: bold; font-weight: bold;
font-family: avantgarde, sans-serif; font-family: avantgarde, sans-serif;
@ -61,7 +64,9 @@ var { font-family: times, serif;
.titlegraphic { vertical-align: top; } .titlegraphic { vertical-align: top; }
.verbatim { color: #00008b; } .verbatim { color: #00008b;
font-family: lucida typewriter, lucidatypewriter,
monospace; }
.grammar { background-color: #99ccff; .grammar { background-color: #99ccff;
margin-right: 0.5in; margin-right: 0.5in;