##// END OF EJS Templates
Make the pager look better
Jonathan Frederic -
Show More
@@ -8,7 +8,7 b' div#pager {'
8 bottom: 0px;
8 bottom: 0px;
9 width: 100%;
9 width: 100%;
10 max-height: 50%;
10 max-height: 50%;
11 padding-top: 7px;
11 padding-top: 10px;
12
12
13 /* Display over codemirror */
13 /* Display over codemirror */
14 z-index: 100;
14 z-index: 100;
@@ -25,7 +25,7 b' div#pager {'
25
25
26 #pager-button-area {
26 #pager-button-area {
27 position: absolute;
27 position: absolute;
28 top: 7px;
28 top: 10px;
29 right: 20px;
29 right: 20px;
30 }
30 }
31
31
@@ -44,8 +44,25 b' div#pager {'
44
44
45 .ui-resizable-handle {
45 .ui-resizable-handle {
46 top: 0px;
46 top: 0px;
47 height: 7px;
47 height: 10px;
48 background: @light_border_color;
48 background: @cell_background;
49 border-bottom: 1px solid @border_color;
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