From 0d5170aac1b0b877e4fd5a8da0d4addfef43a605 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mikegerwitz@gnu.org>
Date: Sat, 15 Mar 2014 01:07:09 -0400
Subject: [PATCH] Slight top border to menu

Reduce awkwardness primarily on index page
---
 style.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/style.css b/style.css
index 78cad16..0ced119 100644
--- a/style.css
+++ b/style.css
@@ -110,7 +110,10 @@ a:hover {
 
 #menu {
   background-color: #3465a4;
-  border-bottom:    4px solid #204a87;
+
+  border-width: 2px 0px 4px 0px;
+  border-color: #204a87;
+  border-style: solid;
 }
 
 #menu ul {