##// END OF EJS Templates
Increase pager handle size.
Jonathan Frederic -
Show More
@@ -7,7 +7,7 b' div#pager {'
7 position: fixed;
7 position: fixed;
8 bottom: 0px;
8 bottom: 0px;
9 width: 100%;
9 width: 100%;
10 border-top: 1px solid @navbar-default-border;
10 border-top: 4px solid @navbar-default-border;
11 max-height: 50%;
11 max-height: 50%;
12
12
13 /* Display over codemirror */
13 /* Display over codemirror */
@@ -42,4 +42,7 b' div#pager {'
42 }
42 }
43 }
43 }
44
44
45 .ui-resizable-handle {
46 top: 0px;
47 }
45 }
48 }
@@ -10288,7 +10288,7 b' div#pager {'
10288 position: fixed;
10288 position: fixed;
10289 bottom: 0px;
10289 bottom: 0px;
10290 width: 100%;
10290 width: 100%;
10291 border-top: 1px solid #e7e7e7;
10291 border-top: 4px solid #e7e7e7;
10292 max-height: 50%;
10292 max-height: 50%;
10293 /* Display over codemirror */
10293 /* Display over codemirror */
10294 z-index: 100;
10294 z-index: 100;
@@ -10319,6 +10319,9 b' div#pager #pager-contents #pager-container {'
10319 -moz-box-sizing: border-box;
10319 -moz-box-sizing: border-box;
10320 -webkit-box-sizing: border-box;
10320 -webkit-box-sizing: border-box;
10321 }
10321 }
10322 div#pager .ui-resizable-handle {
10323 top: 0px;
10324 }
10322 .quickhelp {
10325 .quickhelp {
10323 /* Old browsers */
10326 /* Old browsers */
10324 display: -webkit-box;
10327 display: -webkit-box;
General Comments 0
You need to be logged in to leave comments. Login now