@charset "utf-8";
li.ausgewaehlt {
    font-size: 0.95em;
    font-weight: bold;
}

.inhaltsverzeichnis {
    margin-bottom: 20px;
    color: #888;
    font-size: 0.9em;
}

#fortgeschrittene {
    margin-top: 40px;
}

#menuMatrix ul {
    margin-left: 0.9em;
}

@media (max-width: 1160px) {
    #menulinks {
        font-size: 1em;
    }
    #menulinks li {
        margin-bottom: 1em;
    }
}