/* Shared fixed-header anchor clearance; no changes to section dimensions. */
html.lang-restoring{background:#071019}
html.lang-restoring body{visibility:hidden}
section[id],.section-anchor-alias{scroll-margin-top:100px}
.section-anchor-alias{display:block;position:absolute;width:0;height:0;pointer-events:none}
@media(max-width:720px){section[id],.section-anchor-alias{scroll-margin-top:86px}}