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 7f0d753..06a613c 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -38,7 +38,7 @@
 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; }