##// END OF EJS Templates
invoke css
invoke css

File last commit:

r19655:ead97438
r19659:79c2b193
Show More
notebook.less
89 lines | 1.9 KiB | text/x-less | LessCssLexer
@media (max-width: 767px) {
// remove bootstrap-responsive's body padding on small screens
body.notebook_app {
padding-left: 0px;
padding-right: 0px;
}
}
#ipython-main-app {
.border-box-sizing();
}
div#notebook_panel {
margin: 0px;
padding: 0px;
.border-box-sizing();
background-color: @notebook_dark_background;
/* Make the page background atleast 100% the height of the view port */
min-height: 100vh;
}
div#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;
padding-bottom: @page-header-padding;
margin: 0px;
outline: none;
.border-box-sizing();
}
#notebook-container{
@media not print{
padding: 15px;
border-color: @body-bg;
background-color : @body-bg;
/* Make the page itself atleast 70% the height of the view port */
min-height: 70vh;
.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 {
height: 200px;
}
.lower-header-bar {
width: 100%;
height: 0px;
border-bottom: 1px solid @navbar-default-border;
margin-bottom: -1px;
}
.notebook_app #header {
.box-shadow(@global-shadow);
}