/* Shared site header, loaded by every page after its own <style>. */
:root{
  --site-line:#e6e8ec;
  --site-hover:rgba(0,0,0,.05);
  --site-header-bg:rgba(255,255,255,.88);
}
@media (prefers-color-scheme: dark){
  :root{
    --site-line:#2b2b2b;
    --site-hover:rgba(255,255,255,.08);
    --site-header-bg:rgba(12,12,12,.85);
  }
}

html,body{overflow-x:clip}

.site-header{
  position:sticky;
  top:0;
  z-index:50;
  background:var(--site-header-bg);
  -webkit-backdrop-filter:saturate(1.4) blur(10px);
  backdrop-filter:saturate(1.4) blur(10px);
  border-bottom:1px solid var(--site-line);
}
.site-header-inner{
  max-width:1180px;
  margin:0 auto;
  padding:10px 20px;
  display:flex;
  align-items:center;
  justify-content:space-between;
  gap:16px;
}
.site-brand{
  color:var(--fg);
  font-weight:800;
  font-size:.8rem;
  letter-spacing:.16em;
  text-transform:uppercase;
  white-space:nowrap;
  text-decoration:none;
}
.site-nav{display:flex;align-items:center;gap:4px}
.site-nav a{
  display:inline-flex;
  align-items:center;
  min-height:40px;
  padding:8px 12px;
  border-radius:999px;
  color:var(--muted);
  font-weight:600;
  font-size:.92rem;
  line-height:1;
  white-space:nowrap;
  text-decoration:none;
  transition:background .15s,color .15s;
}
.site-nav a:hover{color:var(--fg);background:var(--site-hover);opacity:1}
.site-nav a[aria-current="page"]{color:var(--fg);background:var(--site-hover)}
.site-nav .site-nav-cta{margin-left:6px;border:1.5px solid var(--fg);color:var(--fg)}
.site-nav .site-nav-cta:hover{background:var(--fg);color:var(--bg)}

@media (max-width:720px){
  .site-header-inner{flex-direction:column;align-items:stretch;gap:4px;padding:8px 12px 6px}
  .site-brand{text-align:center;padding-top:2px}
  .site-nav{justify-content:space-between;gap:2px}
  .site-nav a{padding:8px 10px;font-size:.9rem}
  .site-nav .site-nav-cta{margin-left:0}
}
@media (max-width:359px){
  .site-nav a{padding:8px 6px;font-size:.84rem}
}

/* The home page already shows the name as its heading. */
.site-header.is-home .site-brand{display:none}
.site-header.is-home .site-header-inner{justify-content:flex-end}
@media (max-width:720px){
  .site-header.is-home .site-header-inner{padding-top:6px}
}

body.embed .site-header{display:none}