specify end-space height in less

This commit is contained in:
MinRK 2013-06-13 10:51:15 -04:00
parent 236bbc8325
commit 427a4806cb
3 changed files with 5 additions and 1 deletions

View File

@ -89,7 +89,7 @@ var IPython = (function (IPython) {
// edited, but is too low on the page, which browsers will do automatically.
var that = this;
this.container = $("<div/>").addClass("container").attr("id", "notebook-container");
var end_space = $('<div/>').addClass('end_space').height("30%");
var end_space = $('<div/>').addClass('end_space');
end_space.dblclick(function (e) {
if (that.read_only) return;
var ncells = that.ncells();

View File

@ -59,3 +59,6 @@ p {
margin-bottom:0;
}
.end_space {
height: 200px;
}

View File

@ -1496,6 +1496,7 @@ p.dialog{padding:0.2em;}
pre,code,kbd,samp{white-space:pre-wrap;}
#fonttest{font-family:monospace;}
p{margin-bottom:0;}
.end_space{height:200px;}
#notification_area{z-index:10;}
.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);}
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;}