diff --git a/IPython/html/static/style/style.min.css b/IPython/html/static/style/style.min.css
index 06a2e1f..1484bd9 100644
--- a/IPython/html/static/style/style.min.css
+++ b/IPython/html/static/style/style.min.css
@@ -10130,7 +10130,7 @@ div#pager {
bottom: 0px;
width: 100%;
max-height: 50%;
- padding-top: 7px;
+ padding-top: 10px;
/* Display over codemirror */
z-index: 100;
/* Hack which prevents jquery ui resizable from changing top. */
@@ -10144,7 +10144,7 @@ div#pager pre {
}
div#pager #pager-button-area {
position: absolute;
- top: 7px;
+ top: 10px;
right: 20px;
}
div#pager #pager-contents {
@@ -10162,9 +10162,23 @@ div#pager #pager-contents #pager-container {
}
div#pager .ui-resizable-handle {
top: 0px;
- height: 7px;
- background: #cfcfcf;
- border-bottom: 1px solid #ababab;
+ height: 10px;
+ background: #f7f7f7;
+ border-top: 1px solid #cfcfcf;
+ border-bottom: 1px solid #cfcfcf;
+ /* This injects handle bars (a short, wide = symbol) for
+ the resize handle. */
+}
+div#pager .ui-resizable-handle::after {
+ content: '';
+ top: 2px;
+ left: 50%;
+ height: 3px;
+ width: 20px;
+ margin-left: -10px;
+ position: absolute;
+ border-bottom: 1px solid #cfcfcf;
+ border-top: 1px solid #cfcfcf;
}
.quickhelp {
/* Old browsers */