##// 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:

r16937:85c6f87f
r20837:320fde26
Show More
mixins.less
19 lines | 289 B | text/x-less | LessCssLexer
Brian E. Granger
More movign around of things in notebook and js/less.
r10703 // Mixin CSS classes
.border-box-sizing {
box-sizing: border-box;
-moz-box-sizing: border-box;
-webkit-box-sizing: border-box;
}
.corner-all {
Jonathan Frederic
Get notebook running with Bootstrap3
r16912 border-radius: @border-radius-base;
Matthias BUSSONNIER
use baseBorderRadius instead of corner_radius...
r13547 }
Jonathan Frederic
Get notebook running with Bootstrap3
r16912
.border-radius(@radius) {
border-radius: @radius;
Jonathan Frederic
Lots of small alignment tweaks to get Bootstrap3 looking better
r16937 }
.no-padding {
padding: 0px;
}