/* One header DOM: keep controls and focus when the compact desktop bar appears. */
@media(min-width:801px){
 .header-scroll-slot{position:relative}
 .header.is-floating{position:fixed;inset:0 0 auto;z-index:70;background:var(--paper);box-shadow:0 5px 20px #142d4a12;animation:header-arrive 220ms ease-out both}
 .header.is-floating .header-inner{padding-block:10px;border-bottom:0}
 .header.is-floating .brand-symbol{font-size:2.8rem}
 .header.is-floating .brand{font-size:1.4rem}
 .header.is-floating .brand-small{font-size:.75rem;margin-top:5px}
 .header.is-floating .header-cta{min-height:44px;padding-block:10px}
 html{scroll-padding-top:calc(var(--floating-header-height,0px) + 24px)}
 .detail-toc{top:calc(var(--floating-header-height,0px) + 24px);max-height:calc(100dvh - var(--floating-header-height,0px) - 48px)}
}
@media(min-width:1280px){.header #navigation{margin-inline-start:28px}}
@media(min-width:801px) and (max-width:1279px){.header.is-floating .header-inner{row-gap:2px}.header.is-floating nav{padding-top:0}}
@keyframes header-arrive{from{transform:translateY(-100%);opacity:0}to{transform:translateY(0);opacity:1}}
@media(prefers-reduced-motion:reduce){.header.is-floating{animation:none}}