From d1a26b9f814e26fc2df276d4a0faadec8d7e1b4c Mon Sep 17 00:00:00 2001
From: probablycorey <cj@github.com>
Date: Fri, 26 Apr 2013 12:05:32 -0700
Subject: [PATCH] Style editors like input fields

---
 static/config.less | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/static/config.less b/static/config.less
index ddebb5fd4..063ca1de2 100644
--- a/static/config.less
+++ b/static/config.less
@@ -40,6 +40,12 @@
     > div {
       -webkit-flex: 1;
     }
+
+    .editor {
+      padding-left: 0.25em;
+      border: 1px solid #aaa;
+      box-shadow: 1px 1px 1px 0 #888 inset;
+    }
   }
 
   #themes-config {