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