##// END OF EJS Templates
Reverse hscrollbar min-height hack on OS X...
Reverse hscrollbar min-height hack on OS X OS X has optional behavior to only draw scrollbars during scroll, which causes problems for CodeMirror's scrollbars. CodeMirror's solution is to set a minimum size for their scrollbars, which is always present. The trade is that the container overlays most of the last line, swallowing click events when there is scrolling to do, even when no scrollbar is visible. This reverses the trade, recovering the click events at the expense of never showing the horizontal scrollbar on OS X when this option is enabled.

File last commit:

r20127:f4b3fefe merge
r20298:2907e856
Show More
notebook.less
84 lines | 1.6 KiB | text/x-less | LessCssLexer
@media (max-width: @screen-xs-max) {
// remove bootstrap-responsive's body padding on small screens
.notebook_app {
padding-left: 0px;
padding-right: 0px;
}
}
#ipython-main-app {
.border-box-sizing();
}
div#notebook_panel {
margin: 0px;
padding: 0px;
.border-box-sizing();
}
#notebook {
font-size: @notebook_font_size;
line-height: @notebook_line_height;
overflow-y: hidden;
overflow-x: auto;
width: 100%;
/* This spaces the page away from the edge of the notebook area */
padding-top: @page-header-padding;
margin: 0px;
outline: none;
.border-box-sizing();
}
#notebook-container{
@media not print{
padding: @page-padding;
background-color : @page-color;
min-height: @page-min-height;
.box-shadow(@global-shadow);
}
}
div.ui-widget-content {
border: 1px solid @border_color;
outline: none;
}
pre.dialog {
background-color: @cell_background;
border: 1px solid #ddd;
.corner-all;
padding: 0.4em;
padding-left: 2em;
}
p.dialog {
padding : 0.2em;
}
/* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems
to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do.
*/
pre, code, kbd, samp { white-space: pre-wrap; }
#fonttest {
font-family: @font-family-monospace;
}
p {
margin-bottom:0;
}
.end_space {
min-height: 100px;
transition: height .2s ease;
}
.notebook_app #header {
.box-shadow(@global-shadow);
}
.notebook_app{
@media not print {
background-color: @page-backdrop-color;
}
}