avoid applying :active to anchors that are only link targets

(no href attribute)

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 7f0d7539381f92d8fea0ce2f77e1fa6749ba8a13..06a613c2ca8dbf434012e7aea905b4da0ec30455 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -38,7 +38,7 @@ big.xhuge               { font-size : xx-large; }
 body                    { color: #000000;
                           background-color: #ffffff; }
 
-a:active                { color: #ff0000; }
+a:link:active           { color: #ff0000; }
 a:link:hover            { background-color: #bbeeff; }
 a:visited:hover         { background-color: #bbeeff; }
 a:visited               { color: #551a8b; }