simplifying stylesheet, returning underscores to nav links

diff --git a/website/local.css b/website/local.css
index 1e9f2df54e31537b2f1fcff9d701281d5c54b383..b9d7287da9cea50b422641f7d84a98aad169bf6e 100644 (file)
--- 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;
 }