/* Hide in-page navigation without removing content. */
nav.on-page[aria-label="On this page"] { display: none !important; }
