increasing gap between header links.

diff --git a/website/local.css b/website/local.css
index 04f336ccdf0429e4000a77bba34a15921bbdb984..0cebb5030d00e1db996217dfc580249551cdbd9b 100644 (file)
--- a/website/local.css
+++ b/website/local.css
@@ -62,6 +62,7 @@ table.sitenav img.logo {
 table.sitenav a { 
   font-weight: bold;
   text-decoration: none;
+  margin-left: 1em;
 }
 
 table.sitenav a:hover {