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;