From 6b835920bfb31cabcc90a8b43cd6611762ff8da1 Mon Sep 17 00:00:00 2001
From: Corey Johnson & Kevin Sawicki <cj+kevin@github.com>
Date: Fri, 28 Sep 2012 15:48:07 -0700
Subject: [PATCH] Add padding to gutter numbers instead of entire gutter

---
 static/editor.css | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/static/editor.css b/static/editor.css
index a4bc13bbb..b79ae8909 100644
--- a/static/editor.css
+++ b/static/editor.css
@@ -16,8 +16,6 @@
   position: absolute;
   height: 100%;
   overflow: hidden;
-  padding-left: 0.4em;
-  padding-right: 0.8em;
   color: rgba(255, 255, 255, .3);
   text-align: right;
 }
@@ -26,6 +24,11 @@
   position: relative;
 }
 
+.editor .gutter .line-number {
+  padding-left: 0.4em;
+  padding-right: 0.8em;
+}
+
 .line-number.cursor-line-number {
   color: rgba(255, 255, 255, .6);
 }