From de4a930955440a20ce23d9aa46c40df97a1d993a 2014-12-10 22:57:51
From: Jonathan Frederic <jdfreder@calpoly.edu>
Date: 2014-12-10 22:57:51
Subject: [PATCH] Make the pager look better

---

diff --git a/IPython/html/static/notebook/less/pager.less b/IPython/html/static/notebook/less/pager.less
index 6fe021b..4c1b25e 100644
--- a/IPython/html/static/notebook/less/pager.less
+++ b/IPython/html/static/notebook/less/pager.less
@@ -8,7 +8,7 @@ div#pager {
     bottom: 0px;
     width: 100%;
     max-height: 50%;
-    padding-top: 7px;
+    padding-top: 10px;
 
     /* Display over codemirror */
     z-index: 100;
@@ -25,7 +25,7 @@ div#pager {
 
     #pager-button-area {
         position: absolute;
-        top: 7px;
+        top: 10px;
         right: 20px; 
     }
 
@@ -44,8 +44,25 @@ div#pager {
 
     .ui-resizable-handle {
         top: 0px;
-        height: 7px;
-        background: @light_border_color;
-        border-bottom: 1px solid @border_color;
+        height: 10px;
+        background: @cell_background;
+        border-top: 1px solid @light_border_color;
+        border-bottom: 1px solid @light_border_color;
+
+        /* This injects handle bars (a short, wide = symbol) for 
+        the resize handle. */
+        &::after {
+            content: '';
+            
+            top: 2px;
+            left: 50%;
+            height: 3px;
+            width: 20px;
+            margin-left: -10px;
+            position: absolute;
+
+            border-bottom: 1px solid @light_border_color;
+            border-top: 1px solid @light_border_color;
+        }
     }
 }