##// END OF EJS Templates
Make the pager look better
Jonathan Frederic -
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: 7px;
11 padding-top: 10px;
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: 7px;
28 top: 10px;
29 29 right: 20px;
30 30 }
31 31
@@ -44,8 +44,25 b' div#pager {'
44 44
45 45 .ui-resizable-handle {
46 46 top: 0px;
47 height: 7px;
48 background: @light_border_color;
49 border-bottom: 1px solid @border_color;
47 height: 10px;
48 background: @cell_background;
49 border-top: 1px solid @light_border_color;
50 border-bottom: 1px solid @light_border_color;
51
52 /* This injects handle bars (a short, wide = symbol) for
53 the resize handle. */
54 &::after {
55 content: '';
56
57 top: 2px;
58 left: 50%;
59 height: 3px;
60 width: 20px;
61 margin-left: -10px;
62 position: absolute;
63
64 border-bottom: 1px solid @light_border_color;
65 border-top: 1px solid @light_border_color;
66 }
50 67 }
51 68 }
General Comments 0
You need to be logged in to leave comments. Login now