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

r17391:9e80835b
r17420:69911d59
Show More
notificationwidget.less
31 lines | 551 B | text/x-less | LessCssLexer
.notification_widget {
color: @navbar-default-link-color;
padding: 1px 12px;
margin: 2px 4px;
z-index: 10;
border-radius: @border-radius-base;
background: @notification_widget_bg;
.pull-right();
.border-box-sizing();
.btn();
.btn-default();
.btn-xs();
&.span {
padding-right:2px;
}
}
.notification_widget.warning {
.btn-warning();
}
.notification_widget.success {
.btn-success();
}
.notification_widget.info {
.btn-info();
}
.notification_widget.danger {
.btn-danger();
}