##// END OF EJS Templates
Remove $el_to_style from the widget javascript code; '' now defaults to this.$el...
Remove $el_to_style from the widget javascript code; '' now defaults to this.$el This seems to make it easiest to select the top-level element. An alternative is to use special syntax for top-level elements, like in https://github.com/ipython/ipython/pull/6185 This will be followed up by other fixes that let the user set specific common properties of different elements. This change also adds the .addBack() call, which means that nonempty selectors now apply to this.$el and its descendants, rather than just the descendants of this.$el.

File last commit:

r17382:e6233f8e
r17420:69911d59
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 }