/* In-page navigation must never compete with wheel, touch, or keyboard input. */
html { scroll-behavior: auto !important; }
main section[id] { scroll-margin-top: 92px; }