From aaeabfd971590b19b8c01e21f578a361301743d3 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Sat, 9 Jun 2012 11:40:11 -0400
Subject: [PATCH] Altered default border color for head class

---
 style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/style.css b/style.css
index 189bad9..68951df 100644
--- a/style.css
+++ b/style.css
@@ -247,7 +247,7 @@ span.shell-start {
   padding: 1em;
   margin:  -0.5em -1em 1em -1em;
 
-  border-bottom: 1px solid;
+  border-bottom: 1px solid #babdb6;
 }
 #content .head.good {
   background-color: rgb(116,210,22);