[Python-checkins] python/dist/src/Doc/html style.css,1.25,1.26

[fdrake@users.sourceforge.net]

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

Modified Files:
	style.css 
Log Message:
fix link-hovering so <a name='...'> (no href attribute) doesn't get
the hovering background


Index: style.css
===================================================================
RCS file: /cvsroot/python/python/dist/src/Doc/html/style.css,v
retrieving revision 1.25
retrieving revision 1.26
diff -C2 -d -r1.25 -r1.26
*** style.css	29 Jan 2003 05:14:44 -0000	1.25
--- style.css	27 Jun 2003 16:32:27 -0000	1.26
***************
*** 40,44 ****
  
  a:active                { color: #ff0000; }
! a[href]:hover           { background-color: #bbeeff; }
  a:visited               { color: #551a8b; }
  a:link                  { color: #0000bb; }
--- 40,45 ----
  
  a:active                { color: #ff0000; }
! a:link:hover            { background-color: #bbeeff; }
! a:visited:hover         { background-color: #bbeeff; }
  a:visited               { color: #551a8b; }
  a:link                  { color: #0000bb; }
***************
*** 98,106 ****
                            margin-right: 0.5in;
                            padding: 0.05in; }
- .productions            { background-color: #bbeeff; }
- .productions a:hover    { background-color: #99ccff; }
- .productions table      { vertical-align: baseline; }
  .grammar-footer         { padding: 0.05in;
                            font-size: 85%; }
  
  .email                  { font-family: avantgarde, sans-serif; }
--- 99,112 ----
                            margin-right: 0.5in;
                            padding: 0.05in; }
  .grammar-footer         { padding: 0.05in;
                            font-size: 85%; }
+ 
+ .productions                  { background-color: #bbeeff; }
+ .productions a:active         { color: #ff0000; }
+ .productions a:link:hover     { background-color: #99ccff; }
+ .productions a:visited:hover  { background-color: #99ccff; }
+ .productions a:visited        { color: #551a8b; }
+ .productions a:link           { color: #0000bb; }
+ .productions table            { vertical-align: baseline; }
  
  .email                  { font-family: avantgarde, sans-serif; }