##// END OF EJS Templates
handling explicitly provided modes from kernelspec.language_info
handling explicitly provided modes from kernelspec.language_info

File last commit:

r19179:dc7663cc
r19289:c1a8b81d
Show More
page.less
132 lines | 2.2 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;
margin-bottom: -6px;
position: fixed;
top: 0;
width: 100%;
background-color: @body-bg;
min-height: 31px;
/* Display over codemirror */
z-index: 100;
#header-container {
margin-bottom: 0px;
padding-left: 30px;
padding-bottom: 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;
}
#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: 24px;
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;
}
.navbar span {
margin-top: 3px;
}
span#login_widget {
float: right;
}
span#login_widget > .button,
#logout
{
.btn();
.btn-default();
.btn-sm();
}
.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;
}