##// END OF EJS Templates
Clean up comments
Clean up comments

File last commit:

r19378:f9aeac41
r19511:679a39e7
Show More
kernelselector.less
17 lines | 277 B | text/x-less | LessCssLexer
Matthias BUSSONNIER
Simplify and uniformise styling of kernel selector...
r17382 #kernel_selector_widget {
Thomas Kluyver
Style kernel name
r17372 margin-right: 1em;
Min RK
remove some custom css...
r19298 float: right;
Matthias BUSSONNIER
Simplify and uniformise styling of kernel selector...
r17382
& > button {
.btn-default();
& > span.caret {
margin-top:0px;
}
}
Thomas Kluyver
Use double resolution logo to support hires displays
r19378
& > img#current_kernel_logo {
width: 32px;
height: 32px;
}
Thomas Kluyver
Style kernel name
r17372 }