##// END OF EJS Templates
setting an option to null sets the default in CodeMirror...
setting an option to null sets the default in CodeMirror matching the unset behavior in config

File last commit:

r19298:d8390523
r19311:9c060bc5
Show More
page.less
124 lines | 2.1 KiB | text/x-less | LessCssLexer
/**
* Primary styles
*
* Author: IPython Development Team
*/
body {
background-color: white;
/* This makes sure that the body covers the entire window and needs to
be in a different element than the display: box in wrapper below */
position: absolute;
left: 0px;
right: 0px;
top: 0px;
bottom: 0px;
overflow: visible;
}
div#header {
/* Initially hidden to prevent FLOUC */
display: none;
background-color: @body-bg;
/* Display over codemirror */
z-index: 100;
#header-container {
padding-left: 30px;
padding-bottom: 5px;
padding-top: 5px;
.border-box-sizing();
}
.header-bar {
width: 100%;
height: 0px;
border-bottom: 1px solid @navbar-default-border;
}
}
#header-spacer {
width: 100%;
visibility: hidden;
}
#ipython_notebook {
padding-left: 0px;
padding-top: (@navbar-height - @logo_height) / 2;
padding-bottom: (@navbar-height - @logo_height) / 2;
}
#noscript {
width: auto;
padding-top: 16px;
padding-bottom: 16px;
text-align: center;
font-size: 22px;
color: red;
font-weight: bold;
}
#ipython_notebook img {
font-family: Verdana, "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
height: @logo_height;
text-decoration: none;
color: black;
}
#site {
width: 100%;
display: none;
.border-box-sizing();
}
/* Smaller buttons */
.ui-button .ui-button-text {
padding: 0.2em 0.8em;
font-size: 77%;
}
input.ui-button {
padding: 0.3em 0.9em;
}
span#login_widget {
float: right;
}
span#login_widget > .button,
#logout
{
.btn-default();
}
.nav-header {
text-transform: none;
}
#header > span {
margin-top: 10px;
}
// class for stretching dialogs to fill the screen
.modal_stretch .modal-dialog {
.vbox();
min-height: 80%;
.modal-body {
max-height: none;
flex: 1;
}
}
@media (min-width: 768px) {
.modal .modal-dialog {
width: 700px;
}
}
// less mixin to be sure to add the right class to get icons with font awesome.
.icon(@ico){
.fa();
content: @ico;
}