css tweak for less padding at the top of the page

diff --git a/static/css/main.css b/static/css/main.css
index a359c7c088dba814ec242036f6e4108950153930..43b2678628bf34584206ef35a310fedeee2fd022 100644 (file)
--- a/static/css/main.css
+++ b/static/css/main.css
@@ -269,7 +269,7 @@ a:focus > img + strong {
 
 #header ul.os {
     line-height: 1;
-    margin: .5em 0 2em;
+    margin: .5em 0 .5em;
     padding: 0 0 .25em;
     border-bottom: 1px solid #94b3e2;
     font-size: 1.25em;