##// END OF EJS Templates
handle undefined when sorting quick help...
handle undefined when sorting quick help since undefined is neither less than nor greater than anything in Javascript, the sort function was treating it as equal to everything, causing inconsistent behavior, depending on the sort algorithm of the browser. This ensures undefined elements are sorted last in the sequence.

File last commit:

r20700:339b080a
r20837:320fde26
Show More
page.less
149 lines | 2.6 KiB | text/x-less | LessCssLexer
/**
* Primary styles
*
* Author: IPython Development Team
*/
body {
background-color: @body-bg;
/* 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;
}
#header {
/* Initially hidden to prevent FLOUC */
display: none;
background-color: @body-bg;
/* Display over codemirror */
position: relative;
z-index: 100;
#header-container {
padding-bottom: 5px;
padding-top: 5px;
.border-box-sizing();
}
.header-bar {
width: 100%;
height: 1px;
background: @navbar-default-border;
margin-bottom: -1px;
}
@media print {
display: none !important;
}
}
#header-spacer {
width: 100%;
visibility: hidden;
@media print {
display: none;
}
}
#ipython_notebook {
padding-left: 0px;
padding-top: (@navbar-height - @logo_height) / 2;
padding-bottom: (@navbar-height - @logo_height) / 2;
@media (max-width: @screen-sm-max){
margin-left: 10px;
}
}
#noscript {
width: auto;
padding-top: 16px;
padding-bottom: 16px;
text-align: center;
font-size: 22px;
color: red;
font-weight: bold;
}
#ipython_notebook img {
height: @logo_height;
}
#site {
width: 100%;
display: none;
.border-box-sizing();
overflow: auto;
@media print {
// force auto-height on print (overrides manual resizing in live view)
height: auto !important;
}
}
/* 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: 80vh;
.modal-body {
// ~"foo" is to avoid less turning this into a weird value
max-height: calc(~"100vh - 200px");
overflow: auto;
flex: 1;
}
}
@media (min-width: @screen-sm-min) {
.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;
}
@media (min-width: @screen-sm-min) {
select.form-control {
margin-left: @padding-base-horizontal;
margin-right: @padding-base-horizontal;
}
}