##// END OF EJS Templates
Merge pull request #6544 from jhamrick/notification-widget...
Merge pull request #6544 from jhamrick/notification-widget Clean up notification widget

File last commit:

r17382:e6233f8e
r18035:56a06676 merge
Show More
kernelselector.less
14 lines | 223 B | text/x-less | LessCssLexer
#kernel_selector_widget {
margin-right: 1em;
float:right;
& > button {
.btn();
.btn-default();
.btn-sm();
& > span.caret {
margin-top:0px;
}
}
}