From 9eb3a208675dbf523ec645dfd5d923e81b8e1e16 Mon Sep 17 00:00:00 2001
From: Justin Palmer <justin@github.com>
Date: Mon, 4 Feb 2013 13:40:09 -0800
Subject: [PATCH] consistent mini editor spacing in overlays

---
 static/overlay.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/static/overlay.css b/static/overlay.css
index 8b44a76b3..421b2f71f 100644
--- a/static/overlay.css
+++ b/static/overlay.css
@@ -14,6 +14,10 @@
   border-radius: 3px;
 }
 
+.overlay .editor.mini {
+  margin-bottom: 10px;
+}
+
 .overlay .message {
   padding-top: 5px;
   font-size: 11px;