##// END OF EJS Templates
remove unused dateformat...
remove unused dateformat we are using moment.js for dates now

File last commit:

r17382:e6233f8e
r18043:5c8d0c93
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;
}
}
}