/* Breite auf 1000px gegrenzen, wie bisher. */
.site-grid {
    max-width: 1000px;
    margin-left: auto;
    margin-right: auto;
}
/* Das rechte Menu soll beim Scrollen immer sichtbar bleiben. */
.grid-child.container-sidebar-right {
    position: sticky;
    height: 220vh;
    top: 70px;
    float: right;
}
/* Top-Menu aufgeklappt: hover kontrastreicher. */
ul .mm-collapse > li > a:hover {
    color: #999 !important;
}
/* Top-Menu: wenn zu lang, scrollable. */
.metismenu.mod-menu .metismenu-item > ul {
    max-height: 400px;
    overflow-y: auto;
}
/* Top-Menu: Abstaende geringer. */
.metismenu.mod-menu .mm-collapse > li {
    padding: 2px 10px;
}
/* Rechtes Menu: Abstaende geringer, font verkleinert, kein padding, kein Umbruch. */
/* border-box: notwendig für smartphones, damit menu width 100% genutzt wird. */
.sidebar-right.card .mod-menu.mod-list.nav.nav-list > li {
    box-sizing: border-box;
    font-size: 95%;
    padding: 0px 0px;
    overflow: auto;
    max-width: 100%;
    white-space: nowrap;
    overflow-x: hidden;
    text-overflow: ellipsis;
}
/* Dotted line bei link und image links verbergen. */
a {
    outline: none !important;
}
button {
    outline: none !important;
}