/* Shared static-export shell: keep navigation available without changing page flow. */
:root{--site-header-bar-height:128px}
.site-header{position:sticky;top:0;z-index:100}
html{scroll-padding-top:calc(var(--site-header-bar-height) + 16px)!important}
.developer-sidebar,.developer-toc{top:calc(var(--site-header-bar-height) + 16px);max-height:calc(100svh - var(--site-header-bar-height) - 32px)}
.developer-body :is(h2,h3,h4){scroll-margin-top:0}
.article-toc nav{top:calc(var(--site-header-bar-height) + 16px);max-height:calc(100svh - var(--site-header-bar-height) - 32px);overflow-y:auto}
@media(max-width:1180px){:root{--site-header-bar-height:88px}.main-nav.is-open{max-height:calc(100svh - var(--site-header-bar-height) - 32px);overflow-y:auto;overscroll-behavior:contain}}
@media(max-width:640px){:root{--site-header-bar-height:80px}}
@media(min-width:1181px){.nav-dropdown{max-height:calc(100svh - var(--site-header-bar-height) - 32px);overflow-y:auto;overscroll-behavior:contain}}