##// END OF EJS Templates
Merge pull request #6915 from minrk/contents-no-0...
Merge pull request #6915 from minrk/contents-no-0 use Untitled instead of Untitled0

File last commit:

r17382:e6233f8e
r18835:b7c85f43 merge
Show More
kernelselector.less
14 lines | 223 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;
Matthias BUSSONNIER
Simplify and uniformise styling of kernel selector...
r17382 float:right;
& > button {
.btn();
.btn-default();
.btn-sm();
& > span.caret {
margin-top:0px;
}
}
Thomas Kluyver
Style kernel name
r17372 }