/* Local static-site refinements */
html { scroll-behavior: smooth; }
[id] { scroll-margin-top: 88px; }
a { cursor: pointer; }