From fca5c54a031bbdd101376d8c4e571d97193fe4f2 Mon Sep 17 00:00:00 2001
From: Justin Palmer <justin@github.com>
Date: Tue, 29 Jan 2013 10:02:12 -0800
Subject: [PATCH] give some visual depth to the mini editor

live in harmony with the current look and feel
---
 themes/Atom - Dark/editor.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/themes/Atom - Dark/editor.css b/themes/Atom - Dark/editor.css
index 6581aaa59..8e18a0ed9 100644
--- a/themes/Atom - Dark/editor.css	
+++ b/themes/Atom - Dark/editor.css	
@@ -4,6 +4,10 @@
 
 .editor.mini {
   height: auto;
+  line-height: 20px;
+  border: 1px solid rgba(0, 0, 0, 0.2);
+  border-bottom: 1px solid rgba(180, 180, 180, 0.2);
+  border-right: 1px solid rgba(180, 180, 180, 0.2);
 }
 
 .editor .gutter .line-number {