##// END OF EJS Templates
Backport PR #8131: handle undefined when sorting quick help...
Backport PR #8131: 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. closes #8089 This ensures undefined elements are sorted last in the sequence.

File last commit:

r19666:482edf5b
r20884:3740b498
Show More
kernelselector.less
10 lines | 185 B | text/x-less | LessCssLexer
Min RK
remove kernel selector from header...
r19596 #kernel_logo_widget {
.pull-right();
Thomas Kluyver
Use double resolution logo to support hires displays
r19378
Min RK
add text placeholder for kernels with no logo...
r19597 .current_kernel_logo {
display: none;
Min RK
remove kernel selector from header...
r19596 .navbar-vertical-align(32px);
Thomas Kluyver
Use double resolution logo to support hires displays
r19378 width: 32px;
height: 32px;
}
Thomas Kluyver
Style kernel name
r17372 }