From c00b472ea51fe83d2cc60f7f481811874735a59c Mon Sep 17 00:00:00 2001
From: Jim <jim.pryor@nyu.edu>
Date: Thu, 19 Mar 2015 10:33:54 -0400
Subject: [PATCH] add .double to local.css

---
 local.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/local.css b/local.css
index 0e0ab89c..d47fb6b3 100644
--- a/local.css
+++ b/local.css
@@ -2,6 +2,10 @@
 
 /* Add local styling here, instead of modifying style.css. */
 
+.double {
+        border-bottom: 3 px double;
+}
+
 a {
 	text-decoration: none;
 	color: #005a9c;
-- 
2.11.0