:root{
  --paper:#FBFAF6; --panel:#FFFFFF; --ink:#17203A; --ink-soft:#565E78;
  --line:#DCD7CB; --line-soft:#ECE8DE;
  --teal:#0E7C6B; --teal-deep:#0A5B4F; --teal-soft:#DEEDE9;
  --amber:#B4530A; --amber-soft:#F4E7D6; --node:#EEF3F1;
  --mono:'IBM Plex Mono',ui-monospace,monospace;
  --disp:'Space Grotesk',system-ui,sans-serif;
  --serif:'Source Serif 4',Georgia,serif;
}
*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%}
body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--serif);
  font-size:17px;line-height:1.6;-webkit-font-smoothing:antialiased}
h1,h2,h3,.disp{font-family:var(--disp);font-weight:600;letter-spacing:-0.01em;line-height:1.15}
.mono{font-family:var(--mono)}
a{color:var(--teal-deep)}
.wrap{max-width:1000px;margin:0 auto;padding:0 24px}
.eyebrow{font-family:var(--mono);font-size:12.5px;letter-spacing:0.18em;
  text-transform:uppercase;color:var(--ink-soft)}
.op{font-family:var(--mono);color:var(--teal-deep);font-weight:600}

/* nav */
.sitenav{display:flex;align-items:center;gap:22px;flex-wrap:wrap;max-width:1000px;
  margin:0 auto;padding:16px 24px;border-bottom:1px solid var(--line)}
.sitenav .brand{font-family:var(--disp);font-weight:700;font-size:19px;letter-spacing:-0.02em;
  color:var(--ink);text-decoration:none;margin-right:auto}
.sitenav .brand .dot{color:var(--teal)}
.sitenav a.navlink{font-family:var(--mono);font-size:13.5px;color:var(--ink-soft);text-decoration:none}
.sitenav a.navlink:hover{color:var(--teal-deep)}
.sitenav a.navlink.active{color:var(--teal-deep);font-weight:500}
body.speaker .sitenav{display:none}

/* headings + prose */
.lead{font-size:19px;color:var(--ink);max-width:66ch}
.prose p{margin:0 0 16px;max-width:70ch}
section{padding:48px 0;border-bottom:1px solid var(--line)}
section h2{font-size:clamp(23px,3.5vw,30px);margin:6px 0 18px}

/* def box (semiring) */
.defbox{display:grid;grid-template-columns:1fr 1fr;gap:0;border:1px solid var(--line);
  border-radius:10px;overflow:hidden;margin:22px 0;background:var(--panel);max-width:640px}
.defbox > div{padding:18px 20px}
.defbox > div:first-child{border-right:1px solid var(--line)}
.defbox .lab{font-family:var(--mono);font-size:12.5px;letter-spacing:.1em;
  text-transform:uppercase;color:var(--ink-soft);margin-bottom:8px}
.defbox .big{font-family:var(--mono);font-size:21px;font-weight:500}
.defbox .note{font-size:15px;color:var(--ink-soft);margin-top:8px}

/* route cards */
.cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(240px,1fr));gap:18px;margin:8px 0}
.card{display:flex;flex-direction:column;background:var(--panel);border:1px solid var(--line);
  border-radius:12px;padding:22px 22px;text-decoration:none;color:var(--ink);transition:border-color .15s}
.card:hover{border-color:var(--teal)}
.card .k{font-family:var(--mono);font-size:12px;letter-spacing:.12em;text-transform:uppercase;
  color:var(--ink-soft)}
.card h3{font-size:20px;margin:8px 0 8px}
.card p{margin:0;font-size:15.5px;color:var(--ink-soft);flex:1}
.card .go{font-family:var(--mono);font-size:13.5px;color:var(--teal-deep);margin-top:16px}

/* buttons */
.btn{display:inline-block;border:1px solid var(--line);background:transparent;border-radius:8px;
  font-family:var(--mono);font-size:14px;padding:9px 15px;cursor:pointer;color:var(--ink);text-decoration:none}
.btn:hover{border-color:var(--teal);color:var(--teal-deep)}
.btn.pri{background:var(--teal);color:#fff;border-color:var(--teal)}
.btn.pri:hover{background:var(--teal-deep);color:#fff}

/* panel + generic mono blocks */
.panel{background:var(--panel);border:1px solid var(--line);border-radius:12px;padding:22px 22px;margin:20px 0}
.ph{font-family:var(--mono);font-size:12.5px;letter-spacing:.12em;text-transform:uppercase;
  color:var(--ink-soft);margin:0 0 16px}

footer{padding:38px 0 60px;color:var(--ink-soft);font-size:15px}
footer .fineprint{font-size:13px;margin-top:12px;line-height:1.7;max-width:74ch}
.tag{display:inline-block;font-family:var(--mono);font-size:12px;padding:3px 9px;
  border-radius:20px;background:var(--teal-soft);color:var(--teal-deep);margin:0 6px 6px 0}

@media(max-width:640px){.defbox{grid-template-columns:1fr}
  .defbox > div:first-child{border-right:0;border-bottom:1px solid var(--line)}}
@media(prefers-reduced-motion:reduce){*{animation:none!important;transition:none!important}}