From 78eca0eefa8ee79070706b14b003c479a5a97118 2014-11-13 17:46:19
From: Sylvain Corlay <scorlay@bloomberg.net>
Date: 2014-11-13 17:46:19
Subject: [PATCH] Correct height for checkbox widget

---

diff --git a/IPython/html/static/style/ipython.min.css b/IPython/html/static/style/ipython.min.css
index ee5e740..09e2df2 100644
--- a/IPython/html/static/style/ipython.min.css
+++ b/IPython/html/static/style/ipython.min.css
@@ -1432,6 +1432,7 @@ div.cell.text_cell.rendered {
 }
 .widget-hbox input[type="checkbox"] {
   margin-top: 9px;
+  margin-bottom: 10px;
 }
 .widget-hbox .widget-label {
   /* Horizontal Label */
diff --git a/IPython/html/static/style/style.min.css b/IPython/html/static/style/style.min.css
index 600c2dd..2430e1f 100644
--- a/IPython/html/static/style/style.min.css
+++ b/IPython/html/static/style/style.min.css
@@ -9301,6 +9301,7 @@ div.cell.text_cell.rendered {
 }
 .widget-hbox input[type="checkbox"] {
   margin-top: 9px;
+  margin-bottom: 10px;
 }
 .widget-hbox .widget-label {
   /* Horizontal Label */
diff --git a/IPython/html/static/widgets/less/widgets.less b/IPython/html/static/widgets/less/widgets.less
index c62eac6..0fddc75 100644
--- a/IPython/html/static/widgets/less/widgets.less
+++ b/IPython/html/static/widgets/less/widgets.less
@@ -195,6 +195,7 @@
 
     input[type="checkbox"] {
         margin-top: 9px;
+        margin-bottom: 10px;
     }
 
     .widget-label {