[Python-checkins] CVS: python/dist/src/Doc/html style.css,1.17,1.18

[Fred L. Drake]

Update of /cvsroot/python/python/dist/src/Doc/html
In directory usw-pr-cvs1:/tmp/cvs-serv27076/html

Modified Files:
	style.css 
Log Message:
Finally commit the font changes that have been live on the development site
for a month or more.


Index: style.css
===================================================================
RCS file: /cvsroot/python/python/dist/src/Doc/html/style.css,v
retrieving revision 1.17
retrieving revision 1.18
diff -C2 -d -r1.17 -r1.18
*** style.css	2001/09/26 18:46:36	1.17
--- style.css	2001/11/14 22:35:59	1.18
***************
*** 48,56 ****
  h2                      { font-size: 150%; }
  h3, h4                  { font-size: 120%; }
! code, tt                { font-family: monospace; }
  var                     { font-family: times, serif;
                            font-style: italic;
                            font-weight: normal; }
  
  .navigation td          { background-color: #99ccff;
                            font-weight: bold;
--- 48,59 ----
  h2                      { font-size: 150%; }
  h3, h4                  { font-size: 120%; }
! 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;
***************
*** 62,66 ****
  .titlegraphic           { vertical-align: top; }
  
! .verbatim               { color: #00008b; }
  
  .grammar                { background-color: #99ccff;
--- 65,71 ----
  .titlegraphic           { vertical-align: top; }
  
! .verbatim               { color: #00008b;
!                           font-family: lucida typewriter, lucidatypewriter,
!                                        monospace; }
  
  .grammar                { background-color: #99ccff;