diff --git a/htdocs/theme/dev/dev.css b/htdocs/theme/dev/dev.css
index 213e5a5cbdc..caccf7675ad 100644
--- a/htdocs/theme/dev/dev.css
+++ b/htdocs/theme/dev/dev.css
@@ -34,17 +34,23 @@ div.tabs
   margin: 0em;
   padding: 0em 0em;
   text-align: left;
+ font-family: sans-serif; font-size: 0.8em;
+
   }
 
 a.tabTitle {
-             background: #436976;
-             border: 1px solid #8CACBB;
-             color: white;
-             font: 100% Bold;
-             padding: 0em 1.0em;
-             margin: 0em 0em;
-             text-decoration: none;
-             white-space: nowrap;
+ background: #436976;
+ border: 1px solid #8CACBB;
+ color: white;
+ font: 100% Bold;
+ padding: 0em 1.0em;
+ margin: 0em 0em;
+ text-decoration: none;
+ white-space: nowrap;
+}
+
+a.tabTitle:hover {
+ text-decoration: none;
 }