mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-02-05 12:19:58 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add dark lower border to pager handle

Browse Source
This commit is contained in:
Jonathan Frederic 2014-12-04 20:33:25 -08:00
parent e7330f5e22
commit 5e7d1cfa9f
2 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
IPython/html/static/notebook/less/pager.less
View File

@ -7,8 +7,8 @@ div#pager {
position: fixed; position: fixed;
bottom: 0px; bottom: 0px;
width: 100%; width: 100%;
border-top: 4px solid @navbar-default-border;
max-height: 50%; max-height: 50%;
padding-top: 7px;
/* Display over codemirror */ /* Display over codemirror */
z-index: 100; z-index: 100;
@ -25,7 +25,7 @@ div#pager {
#pager-button-area { #pager-button-area {
position: absolute; position: absolute;
top: 0px; top: 7px;
right: 20px; right: 20px;
} }
@ -44,5 +44,8 @@ div#pager {
.ui-resizable-handle { .ui-resizable-handle {
top: 0px; top: 0px;
height: 7px;
background: @light_border_color;
border-bottom: 1px solid @border_color;
} }
} }

7
IPython/html/static/style/style.min.css vendored
View File

@ -10288,8 +10288,8 @@ div#pager {
position: fixed; position: fixed;
bottom: 0px; bottom: 0px;
width: 100%; width: 100%;
border-top: 4px solid #e7e7e7;
max-height: 50%; max-height: 50%;
padding-top: 7px;
/* Display over codemirror */ /* Display over codemirror */
z-index: 100; z-index: 100;
/* Hack which prevents jquery ui resizable from changing top. */ /* Hack which prevents jquery ui resizable from changing top. */
@ -10303,7 +10303,7 @@ div#pager pre {
} }
div#pager #pager-button-area { div#pager #pager-button-area {
position: absolute; position: absolute;
top: 0px; top: 7px;
right: 20px; right: 20px;
} }
div#pager #pager-contents { div#pager #pager-contents {
@ -10321,6 +10321,9 @@ div#pager #pager-contents #pager-container {
} }
div#pager .ui-resizable-handle { div#pager .ui-resizable-handle {
top: 0px; top: 0px;
height: 7px;
background: #cfcfcf;
border-bottom: 1px solid #ababab;
} }
.quickhelp { .quickhelp {
/* Old browsers */ /* Old browsers */