span#kernel_selector_widget {
    padding: 0px 5px;
    margin-top: 12px;
    margin-right: 1em;
    font-size: 120%;
    position: relative;
}