From 16ebf417bc4c4b62051ac0fa546308c74ee2197c 2014-02-19 22:14:14
From: Jonathan Frederic <jdfreder@calpoly.edu>
Date: 2014-02-19 22:14:14
Subject: [PATCH] Added bottom margin to text widget

---

diff --git a/IPython/html/static/notebook/less/widgets.less b/IPython/html/static/notebook/less/widgets.less
index 98665e5..0bf9cd4 100644
--- a/IPython/html/static/notebook/less/widgets.less
+++ b/IPython/html/static/notebook/less/widgets.less
@@ -97,10 +97,11 @@
     overflow      : visible;
 
     /* Default size of the slider */
-    width      : 348px; 
-    height     : 5px;
-    max-height : 5px;
-    margin-top : 11px;
+    width        : 348px; 
+    height       : 5px;
+    max-height   : 5px;
+    margin-top   : 11px;
+    margin-bottom: 10px;
     
     /* Style the slider track */
     .slide-track();
@@ -165,7 +166,7 @@
 .widget-text {
     /* String Textbox - used for TextBoxView and TextAreaView */
     width         : 350px;
-    margin-bottom : 0px;
+    margin : 0px !important;
 }
 
 .widget-listbox {