Show More
@@ -8,7 +8,7 b' div#pager {' | |||
|
8 | 8 | bottom: 0px; |
|
9 | 9 | width: 100%; |
|
10 | 10 | max-height: 50%; |
|
11 |
padding-top: |
|
|
11 | padding-top: 8px; | |
|
12 | 12 | |
|
13 | 13 | /* Display over codemirror */ |
|
14 | 14 | z-index: 100; |
@@ -25,7 +25,7 b' div#pager {' | |||
|
25 | 25 | |
|
26 | 26 | #pager-button-area { |
|
27 | 27 | position: absolute; |
|
28 |
top: |
|
|
28 | top: 8px; | |
|
29 | 29 | right: 20px; |
|
30 | 30 | } |
|
31 | 31 | |
@@ -44,8 +44,29 b' div#pager {' | |||
|
44 | 44 | |
|
45 | 45 | .ui-resizable-handle { |
|
46 | 46 | top: 0px; |
|
47 |
height: |
|
|
48 |
background: @ |
|
|
49 |
border- |
|
|
47 | height: 8px; | |
|
48 | background: @cell_background; | |
|
49 | border-top: 1px solid @light_border_color; | |
|
50 | border-bottom: 1px solid @light_border_color; | |
|
51 | ||
|
52 | /* Similar to the notebook header's shadow, but not | |
|
53 | exactly the same. The settings had to be adjusted | |
|
54 | to get the shadow to show. */ | |
|
55 | .box-shadow(1px 4px 9px -3px rgba(0, 0, 0, 0.15)); | |
|
56 | ||
|
57 | /* This injects handle bars (a short, wide = symbol) for | |
|
58 | the resize handle. */ | |
|
59 | &::after { | |
|
60 | content: ''; | |
|
61 | ||
|
62 | top: 2px; | |
|
63 | left: 50%; | |
|
64 | height: 3px; | |
|
65 | width: 30px; | |
|
66 | margin-left: -15px; | |
|
67 | position: absolute; | |
|
68 | ||
|
69 | border-top: 1px solid @light_border_color; | |
|
70 | } | |
|
50 | 71 | } |
|
51 | 72 | } |
@@ -10130,7 +10130,7 b' div#pager {' | |||
|
10130 | 10130 | bottom: 0px; |
|
10131 | 10131 | width: 100%; |
|
10132 | 10132 | max-height: 50%; |
|
10133 |
padding-top: |
|
|
10133 | padding-top: 8px; | |
|
10134 | 10134 | /* Display over codemirror */ |
|
10135 | 10135 | z-index: 100; |
|
10136 | 10136 | /* Hack which prevents jquery ui resizable from changing top. */ |
@@ -10144,7 +10144,7 b' div#pager pre {' | |||
|
10144 | 10144 | } |
|
10145 | 10145 | div#pager #pager-button-area { |
|
10146 | 10146 | position: absolute; |
|
10147 |
top: |
|
|
10147 | top: 8px; | |
|
10148 | 10148 | right: 20px; |
|
10149 | 10149 | } |
|
10150 | 10150 | div#pager #pager-contents { |
@@ -10162,9 +10162,27 b' div#pager #pager-contents #pager-container {' | |||
|
10162 | 10162 | } |
|
10163 | 10163 | div#pager .ui-resizable-handle { |
|
10164 | 10164 | top: 0px; |
|
10165 |
height: |
|
|
10166 |
background: # |
|
|
10167 |
border- |
|
|
10165 | height: 8px; | |
|
10166 | background: #f7f7f7; | |
|
10167 | border-top: 1px solid #cfcfcf; | |
|
10168 | border-bottom: 1px solid #cfcfcf; | |
|
10169 | /* Similar to the notebook header's shadow, but not | |
|
10170 | exactly the same. The settings had to be adjusted | |
|
10171 | to get the shadow to show. */ | |
|
10172 | -webkit-box-shadow: 1px 4px 9px -3px rgba(0, 0, 0, 0.15); | |
|
10173 | box-shadow: 1px 4px 9px -3px rgba(0, 0, 0, 0.15); | |
|
10174 | /* This injects handle bars (a short, wide = symbol) for | |
|
10175 | the resize handle. */ | |
|
10176 | } | |
|
10177 | div#pager .ui-resizable-handle::after { | |
|
10178 | content: ''; | |
|
10179 | top: 2px; | |
|
10180 | left: 50%; | |
|
10181 | height: 3px; | |
|
10182 | width: 30px; | |
|
10183 | margin-left: -15px; | |
|
10184 | position: absolute; | |
|
10185 | border-top: 1px solid #cfcfcf; | |
|
10168 | 10186 | } |
|
10169 | 10187 | .quickhelp { |
|
10170 | 10188 | /* Old browsers */ |
General Comments 0
You need to be logged in to leave comments.
Login now