/* "On this page"-Leiste rechts: kein eigenes Panel, sondern schlicht auf dem Seitenhintergrund */
.app__virtual-toc-sidebar {
    background-color: transparent !important;
    border-left: none !important;
}

.app__virtual-toc-shell--collapsed .app__virtual-toc-toggle-boundary:after,
.app__virtual-toc--bordered:after {
    display: none !important;
}

/* Überschrift "ON THIS PAGE" ausblenden */
.app__virtual-toc-card-label {
    display: none !important;
}

/* "On this page"-Leiste ganz an den rechten Browserrand schieben */
.app__virtual-toc-aside {
    margin-left: auto !important;
}
