##// END OF EJS Templates
Merge pull request #7163 from jdfreder/refresh-persist...
Merge pull request #7163 from jdfreder/refresh-persist Persist widgets across page refresh

File last commit:

r19378:f9aeac41
r19569:683d70d4 merge
Show More
kernelselector.less
17 lines | 277 B | text/x-less | LessCssLexer
#kernel_selector_widget {
margin-right: 1em;
float: right;
& > button {
.btn-default();
& > span.caret {
margin-top:0px;
}
}
& > img#current_kernel_logo {
width: 32px;
height: 32px;
}
}