diff --git a/IPython/html/static/notebook/less/pager.less b/IPython/html/static/notebook/less/pager.less index da1c4bd..6fe021b 100644 --- a/IPython/html/static/notebook/less/pager.less +++ b/IPython/html/static/notebook/less/pager.less @@ -7,8 +7,8 @@ div#pager { position: fixed; bottom: 0px; width: 100%; - border-top: 4px solid @navbar-default-border; max-height: 50%; + padding-top: 7px; /* Display over codemirror */ z-index: 100; @@ -25,7 +25,7 @@ div#pager { #pager-button-area { position: absolute; - top: 0px; + top: 7px; right: 20px; } @@ -44,5 +44,8 @@ div#pager { .ui-resizable-handle { top: 0px; + height: 7px; + background: @light_border_color; + border-bottom: 1px solid @border_color; } } diff --git a/IPython/html/static/style/style.min.css b/IPython/html/static/style/style.min.css index 430b31d..d8a6ef6 100644 --- a/IPython/html/static/style/style.min.css +++ b/IPython/html/static/style/style.min.css @@ -10288,8 +10288,8 @@ div#pager { position: fixed; bottom: 0px; width: 100%; - border-top: 4px solid #e7e7e7; max-height: 50%; + padding-top: 7px; /* Display over codemirror */ z-index: 100; /* Hack which prevents jquery ui resizable from changing top. */ @@ -10303,7 +10303,7 @@ div#pager pre { } div#pager #pager-button-area { position: absolute; - top: 0px; + top: 7px; right: 20px; } div#pager #pager-contents { @@ -10321,6 +10321,9 @@ div#pager #pager-contents #pager-container { } div#pager .ui-resizable-handle { top: 0px; + height: 7px; + background: #cfcfcf; + border-bottom: 1px solid #ababab; } .quickhelp { /* Old browsers */