/* Top navigation bar. Identical across all four HTML pages. */
.nav{position:sticky;top:0;z-index:100;background:var(--paper);border-bottom:1px solid var(--rule);padding:1.25rem 2.5rem;display:flex;align-items:center;justify-content:space-between}
.logo{font-family:var(--font-display);font-size:1.5rem;cursor:pointer;line-height:1;letter-spacing:-.01em;text-decoration:none;color:var(--ink)}
.logo span{color:var(--amber)}

.nav-links{display:flex;gap:2rem}
.nav-link{font-family:var(--font-ui);font-size:.85rem;font-weight:500;text-transform:uppercase;letter-spacing:.08em;color:var(--muted);background:none;border:none;cursor:pointer;padding:.25rem 0;text-decoration:none;transition:color .15s ease}
.nav-link:hover,.nav-link.active{color:var(--ink)}
.nav-link:focus-visible{outline:2px solid var(--amber);outline-offset:3px}