Increase pager handle size.

12 years ago · c0f01d65e8
parent ebb6e818a7
commit c0f01d65e8
2 changed files with 8 additions and 2 deletions
--- a/IPython/html/static/notebook/less/pager.less
+++ b/IPython/html/static/notebook/less/pager.less
@ -7,7 +7,7 @@ div#pager {
    position: fixed;
    bottom: 0px;
    width: 100%;
-    border-top: 1px solid @navbar-default-border;
+    border-top: 4px solid @navbar-default-border;
    max-height: 50%;

    /* Display over codemirror */
@ -42,4 +42,7 @@ div#pager {
        }
    }

+    .ui-resizable-handle {
+        top: 0px;
+    }
 }
--- a/IPython/html/static/style/style.min.css
+++ b/IPython/html/static/style/style.min.css
@ -10288,7 +10288,7 @@ div#pager {
  position: fixed;
  bottom: 0px;
  width: 100%;
-  border-top: 1px solid #e7e7e7;
+  border-top: 4px solid #e7e7e7;
  max-height: 50%;
  /* Display over codemirror */
  z-index: 100;
@ -10319,6 +10319,9 @@ div#pager #pager-contents #pager-container {
  -moz-box-sizing: border-box;
  -webkit-box-sizing: border-box;
 }
+div#pager .ui-resizable-handle {
+  top: 0px;
+}
 .quickhelp {
  /* Old browsers */
  display: -webkit-box;