From 430fc0eff1dcd9bbc1916facd250156426ecd28a Mon Sep 17 00:00:00 2001
From: Corey Johnson & Nathan Sobo <cj+nathan@github.com>
Date: Wed, 1 Aug 2012 17:16:15 -0600
Subject: [PATCH] Put a bit more space between editor lines

---
 static/editor.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/static/editor.css b/static/editor.css
index 0131b81bb..110c3af66 100644
--- a/static/editor.css
+++ b/static/editor.css
@@ -73,10 +73,11 @@
   width: 100%;
 }
 
-.editor .line {
+.editor .line, .gutter .line-number {
   white-space: pre;
   margin: 0;
   padding: 0;
+  padding-bottom: .05em;
   z-index: 1;
 }