/* the top nav is fixed, so every scrollIntoView/anchor jump must leave room for it,
   otherwise the target lands underneath the bar. Mobile has no top nav. */
html{ scroll-padding-top: calc(var(--nav-h, 68px) + 16px); }
@media (max-width:768px){ html{ scroll-padding-top: 12px; } }