table#menu {
    font-family: Tahoma;
    font-size: 10pt;
    margin-top: 10px;
    margin-bottom: 15px;
    margin-left: 7px;
    margin-right: 0;
    padding: 0;
    width: 200px;
    float: left;
    border-bottom: 1px solid black;
    border-spacing: 0;
}

table#menu th {
    font-family: Tahoma;
    font-weight: bold;
    font-size: large;
    text-align: left;
    display: block;
    padding: 12px 5px 12px 5px;
    background-color: #FFE599;
    color: #000080;
    text-decoration:none;
    border-top: none;
}

table#menu td {
    padding: 0;
    border-top: 1px solid #667FFF;
}

table#menu td a {
    display: block;
    padding: 12px 5px 12px 5px;
    background-color: #FFFFB2;
    color: #000080;
    text-decoration:none;
}

table#menu td a:hover {
    background-color: #E5FF66;
    color: #000080;
    text-decoration:none;
}

table#menu td a:active {
    background-color: #E5FF66;
    color: #000080;
    text-decoration:none;
}

table#menu td a:focus {
    background-color: #E5FF66;
    color: #000080;
    text-decoration:none;
}

table#menu td a.open {
    background-color: #E5FF66;
}

div#hauptinhalt {
    margin-left: 250px;
    margin-right: 10px;
    margin-top: 25px;
}

div#fusszeile {
    clear: both;
    border-top: 1px solid #000000;
    background-color: #FFFFB2;
    padding: 10px 20px 10px 10px;
    margin: 15px 0px 10px 7px;
    text-align: right;
}