| commit | a8ef0d1df29b836920f3fff1da7bf4675302d1f8 | [log] [tgz] |
|---|---|---|
| author | Fred Drake <fdrake@acm.org> | Fri Jun 14 13:47:58 2002 +0000 |
| committer | Fred Drake <fdrake@acm.org> | Fri Jun 14 13:47:58 2002 +0000 |
| tree | d9df63e2f6ab300e11bfc5bc98cad3645db0a9b3 | |
| parent | 1e4519faaa0730026716dc94344981fa6c9bb18a [diff] [blame] |
Anchors ("a" elements) used only for the name attribute should not
change color on hover, only those that are link sources (href
attributes).
diff --git a/Doc/html/style.css b/Doc/html/style.css index 3f8b3e8..762d1c4 100644 --- a/Doc/html/style.css +++ b/Doc/html/style.css
@@ -39,7 +39,7 @@ background-color: #ffffff; } a:active { color: #ff0000; } -a:hover { background-color: #bbeeff; } +a[href]:hover { background-color: #bbeeff; } a:visited { color: #551a8b; } a:link { color: #0000bb; }