##// END OF EJS Templates
Line dropdown up on RHS of kernel name
Line dropdown up on RHS of kernel name

File last commit:

r17373:197c7760
r17373:197c7760
Show More
kernelselector.less
7 lines | 144 B | text/x-less | LessCssLexer
span#kernel_selector_widget {
padding: 0px 5px;
margin-top: 12px;
margin-right: 1em;
font-size: 120%;
position: relative;
}