/* Preserve the header's place in the document while keeping its navigation available. */
:root{--gr-header-height:88px}
html{scroll-padding-top:calc(var(--gr-header-height) + 16px)}
.gr-header.gr-pinned{position:fixed;top:0;inset-inline:0;width:100%;z-index:1000;background:#fff;transition:box-shadow .2s ease}
.gr-header.gr-pinned.is-scrolled{box-shadow:0 5px 22px #0b2f4f12;border-bottom-color:#dce6ed}
.gr-header-spacer{height:var(--gr-header-height);flex:none}
@media(max-width:700px){:root{--gr-header-height:73px}}
@media(prefers-reduced-motion:reduce){.gr-header.gr-pinned{transition:none}}