Fix scrolling for large outputs

pull/37/head
Jonathan Frederic 12 years ago committed by Jonathan Frederic
parent 353a9afd34
commit a7d54cd512

@ -8,6 +8,7 @@ div#pager {
bottom: 0px;
width: 100%;
border-top: 1px solid @navbar-default-border;
max-height: 50%;
/* Display over codemirror */
z-index: 100;

@ -10289,6 +10289,7 @@ div#pager {
bottom: 0px;
width: 100%;
border-top: 1px solid #e7e7e7;
max-height: 50%;
/* Display over codemirror */
z-index: 100;
/* Hack which prevents jquery ui resizable from changing top. */

Loading…
Cancel
Save