making navigation header links behave sanely when selected.

diff --git a/website/local.css b/website/local.css
index 0cebb5030d00e1db996217dfc580249551cdbd9b..c398155bb7e6b9a248b0c1cdaf556e725e41dc1b 100644 (file)
--- a/website/local.css
+++ b/website/local.css
@@ -65,6 +65,12 @@ table.sitenav a {
   margin-left: 1em;
 }
 
+table.sitenav span.selflink { 
+  font-weight: bold;
+  text-decoration: underline;
+  margin-left: 1em;
+}
+
 table.sitenav a:hover { 
   font-weight: bold;
   text-decoration: underline;