.menu            { color: #5a000e; font-size: 12px; font-family: Georgia; font-weight: bold }
.menu:hover          { color: #9c0000; font-size: 12px; font-family: Georgia; font-weight: bold; text-decoration: none }
.menuselected        { color: #9c0000; font-size: 12px; font-family: Georgia; font-weight: bold; text-decoration: none }
.menuselected:hover      { color: #9c0000; font-size: 12px; font-family: Georgia; font-weight: bold; text-decoration: none }
.submenu            { color: #5a000e; font-size: 12px; font-family: Georgia; font-weight: bold }
.submenu:hover            { color: #9c0000; font-size: 12px; font-family: Georgia; font-weight: bold; text-decoration: none }
.submenuselected          { color: #9c0000; font-size: 12px; font-family: Georgia; font-weight: bold; text-decoration: none }
.submenuselected:hover        { color: #9c0000; font-size: 12px; font-family: Georgia; font-weight: bold; text-decoration: none }
.seitenmenu             { color: #9c0000; font-size: 12px; font-family: Georgia; font-weight: bold; padding: 5px 3px 5px 0 }
.seitenmenu:hover             { color: #9c0000; font-size: 12px; font-family: Georgia; font-weight: bold; text-decoration: underline; padding: 5px 3px 5px 0 }
.seitenmenuselected            { color: #9c0000; font-size: 12px; font-family: Georgia; font-weight: bold; text-decoration: underline; padding: 5px 3px 5px 0 }
.seitenmenuselected:hover          { color: #9c0000; font-size: 12px; font-family: Georgia; font-weight: bold; text-decoration: underline; padding: 5px 3px 5px 0 }