diff --git a/Doc/html/style.css b/Doc/html/style.css
index 3f8b3e858d9..762d1c45c56 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -39,7 +39,7 @@ body                    { color: #000000;
                           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; }