##// END OF EJS Templates
Merge pull request #7279 from jdfreder/newbutton...
Merge pull request #7279 from jdfreder/newbutton New new button

File last commit:

r19598:4ba0568a
r19700:d7e0e2f1 merge
Show More
kernelselector.less
11 lines | 208 B | text/x-less | LessCssLexer
#kernel_logo_widget {
margin-right: 1em;
.pull-right();
.current_kernel_logo {
display: none;
.navbar-vertical-align(32px);
width: 32px;
height: 32px;
}
}