/* Shared navigation: keep its normal size and hide only while scrolling down. */
html{scroll-padding-top:calc(var(--site-nav-height,82px) + 16px)}
html[data-theme][data-season] body .site-global-nav{transition:transform .2s ease,opacity .2s ease}
html[data-theme][data-season] body .site-global-nav.is-scroll-hidden{transform:translateY(calc(-100% - 18px));opacity:0;pointer-events:none}
@media(prefers-reduced-motion:reduce){html[data-theme][data-season] body .site-global-nav{transition:none}}