/* Same shared navigation; constant document-flow height prevents scroll jumps. */
:root{--aspen-nav-compact:64px;--aspen-nav-full:88px}
html.aspen-nav-ready{scroll-padding-top:calc(var(--aspen-nav-compact) + 16px)}
.enzo-directed .header.aspen-nav-ready{--aspen-nav-current:var(--aspen-nav-full);height:var(--aspen-nav-full);position:sticky;top:0;transform:none!important;transition:none;pointer-events:none}
.enzo-directed .header.aspen-nav-ready>.wrap{pointer-events:auto;transition:background-color .24s ease,box-shadow .24s ease}
.enzo-directed .header.aspen-nav-ready .navrow{transition:min-height .24s ease}
.enzo-directed .header.aspen-nav-ready .logo,.enzo-directed .header.aspen-nav-ready .logo img{transition:width .24s ease,height .24s ease,max-height .24s ease}
.enzo-directed .header.aspen-nav-compact{--aspen-nav-current:var(--aspen-nav-compact);background:transparent;backdrop-filter:none;border-radius:0}
.enzo-directed .header.aspen-nav-compact>.wrap{background:rgba(251,249,242,.97);backdrop-filter:blur(14px);box-shadow:0 1px 0 #1a3b611c}
.enzo-directed .header.aspen-nav-compact .navrow{min-height:var(--aspen-nav-compact)}
.enzo-directed .header.aspen-nav-compact .logo{height:var(--aspen-nav-compact);display:flex;align-items:center}
.enzo-directed .header.aspen-nav-compact .logo img{width:118px;height:auto;max-height:54px}
@media(max-width:1000px){
 :root{--aspen-nav-full:78px;--aspen-nav-compact:60px}
 .enzo-directed .header.aspen-nav-ready>.wrap:has(.nav.open){background:#fbf9f2}
 .enzo-directed .header.aspen-nav-ready>.wrap{max-height:100svh;overflow-y:auto;overscroll-behavior:contain}
 .enzo-directed .header.aspen-nav-ready .nav.open{max-height:calc(100svh - var(--aspen-nav-current) - 24px);overflow-y:auto;overscroll-behavior:contain}
 .enzo-directed .header.aspen-nav-compact .logo img{width:112px;max-height:50px}
}
@media(max-width:760px){
 :root{--aspen-nav-full:78px}
 .ez-home .header.aspen-nav-compact>.wrap,.ez-home .header.aspen-nav-ready>.wrap:has(.nav.open){background:rgba(16,46,73,.98)}
}
/* Clear existing pinned reading controls without altering their content. */
@media(min-width:1001px) and (min-height:650px){html.aspen-nav-ready .page-about .story-sequence-nav{top:var(--aspen-nav-compact)}}
@media(min-width:901px) and (min-height:600px){html.aspen-nav-ready .handbook-nav,html.aspen-nav-ready .reference-document-nav{top:calc(var(--aspen-nav-compact) + 24px);max-height:calc(100dvh - var(--aspen-nav-compact) - 48px)}}
@media(min-width:1001px) and (prefers-reduced-motion:no-preference){html.aspen-nav-ready.ez-motion .ez-care-pin{padding-top:calc(50px + var(--aspen-nav-compact))}}
@media(prefers-reduced-motion:reduce){.enzo-directed .header.aspen-nav-ready,.enzo-directed .header.aspen-nav-ready *{transition:none!important}}
@media print{.enzo-directed .header.aspen-nav-ready{--aspen-nav-current:var(--aspen-nav-full);height:auto;position:static}}