invoke css

IPython/html/static/style/style.min.css

@@ -10130,7 +10130,7 b' 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 b' div#pager pre {'
 }
 div#pager #pager-button-area {
   position: absolute;
-  top: 7px;
+  top: 10px;
   right: 20px;
 }
 div#pager #pager-contents {
@@ -10162,9 +10162,23 b' 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 */