/* Additional styles for HTML standard mode (Rechtsgrundlagen) */
#adminUserMenu tr {
    line-height:12px;
}
#adminUserMenu hr {
    margin: 2px 15px 0 0;
}