From ec52cb03a4c7ba949e98e1a3caf37cd8b67e6b00 2014-01-16 10:57:00
From: Jonathan Frederic <jdfreder@calpoly.edu>
Date: 2014-01-16 10:57:00
Subject: [PATCH] Fix jquery slider on FF

---

diff --git a/IPython/html/static/notebook/less/widgets.less b/IPython/html/static/notebook/less/widgets.less
index 497fc42..5381a80 100644
--- a/IPython/html/static/notebook/less/widgets.less
+++ b/IPython/html/static/notebook/less/widgets.less
@@ -30,16 +30,25 @@
             margin-top: 11px;
 
             width: 348px;
-            height: 5px !important;
-            overflow: visible !important;
+            height: 5px;
+            max-height: 5px;
+            overflow: visible;
 
             border: 1px solid #CCCCCC;
             background: #FFFFFF;
             .corner-all();
 
+            display: -moz-box;
+            display: -webkit-box;
+
             .ui-slider {
                 border: 0px !important;
                 background: none !important;
+                
+                display: -moz-box;
+                display: -webkit-box;
+                -moz-box-flex: 1;      /* Mozilla */
+                -webkit-box-flex: 1;   /* WebKit */
 
                 .ui-slider-handle {
                     width: 14px !important;
@@ -54,9 +63,13 @@
             border: 1px solid #CCCCCC;
             background: #FFFFFF;
             width: 5px;
+            max-width: 5px;
             margin-left: 12px;
-            padding-bottom: 14px;
+
+            padding-bottom: 8px;
+            .vbox();
             .corner-all();
+
             height: 250px;
 
             .ui-slider {
@@ -64,7 +77,12 @@
                 background: none !important;
                 margin-left: -4px;
                 margin-top: 5px;
-                height: 100%;
+                
+                .vbox();
+                .box-flex1();
+
+                /* height: 100%;
+                min-height: 100%; */
 
                 .ui-slider-handle {
                     width: 28px !important;