/* Shared navigation, based on the Overview header. */
header.site-header{position:fixed;z-index:5;top:30px;left:4%;right:4%;height:auto;margin:0;padding:0;border:0;display:flex;align-items:center;justify-content:space-between;pointer-events:none;font:12px/normal Consolas,'SFMono-Regular',monospace;letter-spacing:.12em;color:#7d8289}
.site-header .site-brand{font:400 19px/normal Consolas,'SFMono-Regular',monospace;letter-spacing:-.04em;color:#c7cacf;text-decoration:none;pointer-events:auto}
.site-header .site-nav{display:flex;align-items:center;gap:24px;margin:0;padding:0}
.site-header .site-link{display:block;pointer-events:auto;text-decoration:none;color:#d7e0eb;font:400 12px/1.4 Consolas,monospace;letter-spacing:.025em;border:0;background:none;padding:10px 0;white-space:nowrap}
.site-header .site-link:hover{background:none;color:#fff;text-decoration:underline;text-underline-offset:5px}
.site-header .site-brand:focus-visible,.site-header .site-link:focus-visible{outline:2px solid #d9e4f1;outline-offset:5px}
body.with-site-header{padding-top:91px}
@media(max-width:650px){header.site-header{top:22px}.site-header .site-brand{font-size:17px}.site-header .site-link{font-size:11px}.site-header .site-nav{gap:12px}body.with-site-header{padding-top:75px}}
@media(max-width:360px){.site-header .site-nav{gap:9px}.site-header .site-link{font-size:10px}}

@media(max-width:400px){.site-header .site-nav{gap:9px}.site-header .site-link{font-size:9px}}