1 files changed, 0 insertions, 6 deletions
diff --git a/website/local.css b/website/local.css
index 1e9f2df..b9d7287 100644
--- a/website/local.css
+++ b/website/local.css
@@ -61,7 +61,6 @@ table.sitenav img.logo {
 
 table.sitenav a { 
   font-weight: bold;
-  text-decoration: none;
   margin-right: 1em;
 }
 
@@ -71,11 +70,6 @@ table.sitenav span.selflink {
   margin-right: 1em;
 }
 
-table.sitenav a:hover { 
-  font-weight: bold;
-  text-decoration: underline;
-}
-
 div.header { 
  text-align: right;
 }