Don't underline the gubblebum text, but do highlight it on click/focus

1 files changed, 4 insertions, 0 deletions

diff --git a/html/doc/style.css b/html/doc/style.css
index 8de9d2295..2c3151749 100644
--- a/html/doc/style.css
+++ b/html/doc/style.css
@@ -154,6 +154,10 @@ h1 a, h1 a:visited {
   color:#900;
   display:block;
 }
+h1 a:focus, h1 a:hover, h1 a:active {
+  color:#f00!important;
+  text-decoration:none;
+}
 
 .navigation {
     display:table;