From 6ab8b40337cc79a011c4335337a1482f8df278e1 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Fri, 27 Jun 2003 16:32:27 +0000
Subject: [PATCH] fix link-hovering so <a name='...'> (no href attribute)
 doesn't get the hovering background

---
 Doc/html/style.css | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 4a9549fd41f..a77fab5c535 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -39,7 +39,8 @@ body                    { color: #000000;
                           background-color: #ffffff; }
 
 a:active                { color: #ff0000; }
-a[href]:hover           { background-color: #bbeeff; }
+a:link:hover            { background-color: #bbeeff; }
+a:visited:hover         { background-color: #bbeeff; }
 a:visited               { color: #551a8b; }
 a:link                  { color: #0000bb; }
 
@@ -97,12 +98,17 @@ div.note .label         { margin-right: 0.5em;
 .grammar                { background-color: #99ccff;
                           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%; }
 
+.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; }
 .mailheader             { font-family: avantgarde, sans-serif; }
 .mimetype               { font-family: avantgarde, sans-serif; }