/* Stylesheet for additional rules */

.status_key{
    font-weight: bold;
    margin-right: 3px;
}

.current{
    font-weight: bold;
}

.user_button_hover:hover {
    text-shadow : -0.06ex 0 0 currentColor , 0.06ex 0 0 currentColor ;
}