/* Navigation from the original home page. Scoped colours keep it identical on every page. */
.nav{
  --nav-ink:var(--t1);--nav-muted:var(--t2);--nav-line:var(--divider);
  --nav-paper:var(--bg-soft);--nav-hover:var(--bg-mute);--nav-brand:var(--brand-1);
  position:static;height:auto;border:0;background:transparent;margin:0 auto;
  max-width:1440px;padding:28px 48px 0;
  color:var(--nav-ink);font:15px/1.65 var(--font);
  -webkit-font-smoothing:antialiased;
}
.nav,.nav *{box-sizing:border-box}
.nav-in{display:flex;align-items:center;padding:0 0 16px;min-height:52px;border-bottom:1px solid var(--nav-ink);justify-content:space-between;gap:20px}
.nav a{text-decoration:none;transition:color .25s;text-underline-offset:4px;touch-action:manipulation}
.nav a:hover{text-decoration:underline;text-decoration-thickness:auto}
.nav .title{display:flex;align-items:center;font-size:15px;font-weight:650;letter-spacing:-.02em;gap:12px;color:var(--nav-ink);white-space:nowrap}
.nav .title:hover{color:var(--nav-ink);text-decoration:none}
.nav .title .logo{display:grid}
.nav .logo{display:grid;place-items:center;width:36px;height:36px;border-radius:9px;background:transparent;flex:none}
.nav .logo svg{width:36px;height:36px}
.nav-r{display:flex;align-items:center;gap:18px;flex-wrap:wrap;justify-content:flex-end}
.nav-r a{font-size:13px;color:var(--nav-muted)}
.nav-r [aria-current=page]{color:var(--nav-ink);text-decoration:underline}
.nav-mobile{display:none;position:relative}
.nav-mobile summary{list-style:none}.nav-mobile summary::-webkit-details-marker{display:none}
.nav-mobile-links{position:absolute;right:0;top:calc(100% + 10px);z-index:50;min-width:210px;max-width:calc(100vw - 36px);padding:8px;background:var(--bg-soft);border:1px solid var(--divider);box-shadow:0 8px 24px #18241b20}
.nav-mobile-links a{display:block;padding:10px 12px;min-height:44px;white-space:nowrap}
.nav-mobile-links a:hover{background:var(--bg-mute)}
.nav .utility-btn{font:inherit;font-size:13px;color:inherit;border:1px solid var(--nav-line);padding:6px 11px;background:var(--nav-paper);border-radius:2px;min-height:36px;cursor:pointer;touch-action:manipulation}
.nav .utility-btn:hover{background:var(--nav-hover)}
.nav :focus-visible{outline:3px solid var(--nav-brand);outline-offset:4px;border-radius:2px}
.skip{position:absolute;top:-100px;left:24px;z-index:90;padding:10px 16px;background:var(--bg-elv,var(--paper,var(--bg-soft)))}
.skip:focus{top:12px}
@media(max-width:1050px){.nav{padding:22px 28px 0}.nav-r{gap:12px}}
@media(max-width:700px){
  .nav{padding:16px 18px 0}.nav-in{gap:12px;align-items:center}
  .nav .title{font-size:13px;gap:8px}.nav .logo,.nav .logo svg{width:30px;height:30px}
  .nav .utility-btn{min-height:44px;display:flex;align-items:center}
  .nav-r{gap:8px}.nav-r>.nav-extra,.nav-r>.nav-github{display:none}.nav-mobile{display:block}
}
@media print{.nav-r{display:none!important}}