/* Keep article jump headings visible below the shared header. */
.library-article-main [id] { scroll-margin-top: 96px; }