##// END OF EJS Templates
specify end-space height in less
MinRK -
Show More
@@ -89,7 +89,7 b' var IPython = (function (IPython) {'
89 89 // edited, but is too low on the page, which browsers will do automatically.
90 90 var that = this;
91 91 this.container = $("<div/>").addClass("container").attr("id", "notebook-container");
92 var end_space = $('<div/>').addClass('end_space').height("30%");
92 var end_space = $('<div/>').addClass('end_space');
93 93 end_space.dblclick(function (e) {
94 94 if (that.read_only) return;
95 95 var ncells = that.ncells();
@@ -59,3 +59,6 b' p {'
59 59 margin-bottom:0;
60 60 }
61 61
62 .end_space {
63 height: 200px;
64 }
@@ -1496,6 +1496,7 b' p.dialog{padding:0.2em;}'
1496 1496 pre,code,kbd,samp{white-space:pre-wrap;}
1497 1497 #fonttest{font-family:monospace;}
1498 1498 p{margin-bottom:0;}
1499 .end_space{height:200px;}
1499 1500 #notification_area{z-index:10;}
1500 1501 .notification_widget{padding:6px 12px;margin-top:1px;z-index:10;border:1px solid #ccc;border-radius:4px;background:rgba(240, 240, 240, 0.5);}
1501 1502 div.output_area{padding:0px;page-break-inside:avoid;display:-webkit-box;-webkit-box-orient:horizontal;-webkit-box-align:stretch;display:-moz-box;-moz-box-orient:horizontal;-moz-box-align:stretch;display:box;box-orient:horizontal;box-align:stretch;}
General Comments 0
You need to be logged in to leave comments. Login now