You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#kernel_selector_widget {
|
|
margin-right: 1em;
|
|
float: right;
|
|
|
|
& > button {
|
|
.btn-default();
|
|
|
|
& > span.caret {
|
|
margin-top:0px;
|
|
}
|
|
}
|
|
|
|
& > img#current_kernel_logo {
|
|
width: 32px;
|
|
height: 32px;
|
|
}
|
|
}
|
