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 */