From: Jim <jim.pryor@nyu.edu>
Date: Thu, 19 Mar 2015 14:33:54 +0000 (-0400)
Subject: add .double to local.css
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c00b472ea51fe83d2cc60f7f481811874735a59c

add .double to local.css
---

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;