:root{
  --paper:#f7f4ee; --panel:#fffdf8; --ink:#1a1a1a; --muted:#6b7280; --slate:#475569;
  --rule:#e2dccf; --rule-2:#d8d0c0;
  --warm:#e4d4ba; --cool:#abc1d2; --sage:#a9c39c; --ochre:#dcc085; --rose:#d3a3ad;
  --danger:#9c3a34; --stone:#d2cabb; --lav:#b9b2d2;
  --mono:'SF Mono',Menlo,Monaco,Consolas,'DejaVu Sans Mono','Courier New',monospace;
}
*{box-sizing:border-box}
html{scroll-behavior:smooth}
body{
  margin:0;background:var(--paper);color:var(--ink);font-family:var(--mono);
  font-size:16px;line-height:1.65;-webkit-font-smoothing:antialiased;
}
.wrap{max-width:980px;margin:0 auto;padding:0 24px}
a{color:var(--slate);text-decoration:none;border-bottom:1px solid var(--rule-2)}
a:hover{color:var(--ink);border-color:var(--ink)}
h1,h2,h3{font-weight:500;line-height:1.2}
h2{font-size:26px;margin:0 0 6px}
h3{font-size:18px;margin:26px 0 8px}
.muted{color:var(--muted)}
.tag{font-size:12px;letter-spacing:2px;text-transform:uppercase;color:var(--muted)}

/* site nav (top of every page) */
.nav{border-bottom:1px solid var(--rule);background:#fbf9f3}
.nav .wrap{display:flex;flex-wrap:wrap;gap:4px 20px;align-items:center;padding:12px 24px;font-size:14px}
.nav .home{font-weight:500;border:0;color:var(--ink);display:inline-flex;align-items:center;gap:7px}
.nav .home:hover{color:var(--danger)}
.nav .home .brand{height:30px;width:auto;display:block}
.nav .sp{flex:1}
.nav a{border:0;color:var(--muted)}
.nav a:hover{color:var(--ink)}
.nav a.here{color:var(--ink);border-bottom:1.5px solid var(--ochre)}
.nav a.ext{color:var(--slate);border-bottom:1px solid var(--rule-2)}
.nav a.ext:hover{color:var(--ink);border-color:var(--ink)}

/* Profiles hover dropdown (CC versions/languages analog) */
.nav .menu{position:relative}
.nav .menu-trigger{font:inherit;cursor:pointer;color:var(--muted);background:none;border:0;
  padding:0 0 1px;display:inline-flex;align-items:center;gap:5px}
.nav .menu-trigger::after{content:"\25be";font-size:10px;color:var(--rule-2);transition:transform .15s}
.nav .menu:hover .menu-trigger,.nav .menu.open .menu-trigger{color:var(--ink)}
.nav .menu:hover .menu-trigger::after,.nav .menu.open .menu-trigger::after{
  transform:rotate(180deg);color:var(--ochre)}
.nav .menu.here .menu-trigger{color:var(--ink);border-bottom:1.5px solid var(--ochre)}
.nav .menu-panel{position:absolute;top:calc(100% + 11px);left:0;z-index:40;
  min-width:240px;background:var(--panel);border:1px solid var(--rule-2);border-radius:4px;
  box-shadow:0 12px 30px rgba(60,50,30,.13);padding:6px;
  opacity:0;visibility:hidden;transform:translateY(-4px);
  transition:opacity .14s ease,transform .14s ease,visibility .14s}
/* transparent bridge so the gap above the panel doesn't drop the hover */
.nav .menu-panel::before{content:"";position:absolute;top:-11px;left:0;right:0;height:11px}
.nav .menu:hover .menu-panel,.nav .menu.open .menu-panel,.nav .menu:focus-within .menu-panel{
  opacity:1;visibility:visible;transform:none}
.nav .menu-panel a{display:block;border:0;padding:8px 11px;border-radius:3px;color:var(--ink)}
.nav .menu-panel a:hover{background:var(--paper)}
.nav .menu-panel a b{font-weight:500;display:block}
.nav .menu-panel a span{display:block;font-size:12px;color:var(--muted)}
.nav .menu-panel a.cur b::after{content:" \2713";color:var(--sage)}

/* version / language selectors (right side of the nav) */
.nav .navsep{width:1px;height:15px;background:var(--rule-2)}
.nav .menu.sel .menu-trigger{color:var(--slate);letter-spacing:.3px}
.nav .menu.sel .menu-panel{left:auto;right:0;min-width:170px}

/* GitHub icon link */
.nav a.gh{border:0;color:var(--muted);display:inline-flex;align-items:center;padding:0}
.nav a.gh:hover{color:var(--ink)}
.nav a.gh svg{display:block}

/* primary actions (CC-style Quick Summary / Full Specification / Contribute) */
.cta{display:flex;flex-wrap:wrap;gap:12px;justify-content:center;margin-top:22px}
.cta .btn{border:1px solid var(--rule-2);background:var(--panel);color:var(--ink);
  padding:9px 18px;border-radius:3px;font-size:14px;
  transition:border-color .15s,background .15s}
.cta .btn:hover{border-color:var(--ink);background:#fff}
.cta .btn.primary{background:var(--sage);border-color:#8fae82}
.cta .btn.primary:hover{background:#9bba8d;border-color:var(--ink)}

/* header / hero */
header{border-bottom:1px solid var(--rule);background:linear-gradient(180deg,#fbf9f3,transparent)}
.head{padding:40px 0 28px;text-align:center}
.head .hero-logo{height:104px;width:auto;display:block;margin:0 auto 22px}
.badge{display:inline-block;font-size:12px;letter-spacing:2px;color:var(--slate);
  border:1px solid var(--rule-2);border-radius:2px;padding:3px 10px;margin-bottom:18px}
h1{font-size:40px;margin:0 0 8px;letter-spacing:-0.5px}
.lede{max-width:640px;margin:6px auto 0;color:var(--slate);font-size:16px}
.super{font-size:13px;color:var(--muted);margin-top:14px}

section{padding:38px 0;border-bottom:1px solid var(--rule)}
section:last-of-type{border-bottom:0}

.hero img{width:100%;height:auto;display:block;
  filter:drop-shadow(0 8px 22px rgba(60,50,30,.07))}
.hero .cap{text-align:center;color:var(--muted);font-size:13px;margin-top:8px}

table{width:100%;border-collapse:collapse;margin:10px 0;font-size:14.5px}
th,td{text-align:left;padding:9px 12px;border-bottom:1px solid var(--rule);vertical-align:top}
th{color:var(--muted);font-weight:500;font-size:12px;letter-spacing:1px;text-transform:uppercase}
td code{font-size:13.5px}
.axes td:first-child{color:var(--muted);width:120px}
/* didactic two-axes table: plain-question headers + warm/cool column tint */
.axes.two th{text-transform:none;font-size:14px;letter-spacing:0;color:var(--ink);font-weight:500;
  vertical-align:bottom;line-height:1.35}
.axes.two th .sub{display:block;margin-top:5px;font-size:10.5px;letter-spacing:1.5px;
  text-transform:uppercase;color:var(--muted);font-weight:400}
.axes.two td:nth-child(2),.axes.two th:nth-child(2){background:rgba(228,212,186,.22)}
.axes.two td:nth-child(3),.axes.two th:nth-child(3){background:rgba(171,193,210,.22)}

pre{margin:0;background:var(--panel);border:1px solid var(--rule-2);border-left:3px solid var(--cool);
  border-radius:3px;padding:14px 16px;overflow-x:auto;font-size:13.5px;line-height:1.55;
  box-shadow:0 1px 0 #fff inset}
pre.grammar{border-left-color:var(--stone)}
.gallery{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin-top:12px}
.gallery pre{margin:0}
pre.proof{border-left-color:var(--sage)}
pre.axiom{border-left-color:var(--ochre)}
pre.break{border-left-color:var(--danger)}
pre.sci{border-left-color:var(--cool)}
.k{color:var(--slate);font-weight:500}
.lo{color:var(--danger)}
.ft{color:var(--muted)}
.cm{color:#9a9384}

.pills{display:flex;flex-wrap:wrap;gap:8px;margin:10px 0 2px}
.pill{font-size:13px;padding:4px 10px;border-radius:2px;border:1px solid var(--rule-2);background:var(--panel)}
.pill b{font-weight:500}
.pill.s-proof{border-color:#c9d8c1;background:#f1f5ee}
.pill.s-sci{border-color:#c2d2de;background:#eef3f7}
.pill.s-shared{border-color:#ddd6c9;background:#f7f4ee}

.cols{display:grid;grid-template-columns:1fr 1fr;gap:24px}
/* status ladder: a colour dot shows how settled each status is */
.status td:first-child{white-space:nowrap}
.dot{display:inline-block;width:8px;height:8px;border-radius:50%;margin-right:8px;vertical-align:middle}
.dot.ok{background:var(--sage)}
.dot.warn{background:var(--ochre)}
.dot.bad{background:var(--danger)}
ul{margin:8px 0;padding-left:20px}
li{margin:4px 0}
.lean{color:var(--muted);font-size:13px}

footer{padding:30px 0 50px;color:var(--muted);font-size:13px;text-align:center}
.links{display:flex;flex-wrap:wrap;gap:18px;justify-content:center;margin:8px 0 16px;font-size:14px}

/* ===== rendered document pages (pandoc output wrapped in .doc) ===== */
.doc{padding:34px 0 10px}
.doc .wrap{max-width:840px}
.doc h1{font-size:32px;margin:0 0 4px;letter-spacing:-0.3px}
.doc h2{font-size:22px;margin:30px 0 8px;padding-top:6px;border-top:1px solid var(--rule)}
.doc h3{font-size:17px;margin:22px 0 6px}
.doc p{margin:10px 0}
.doc ul,.doc ol{margin:10px 0;padding-left:22px}
.doc li{margin:5px 0}
.doc code{background:#f1ece1;border:1px solid var(--rule);border-radius:2px;padding:0 4px;font-size:13.5px}
.doc pre{border-left:3px solid var(--stone);margin:12px 0}
.doc pre code{background:none;border:0;padding:0;font-size:13px}
.doc blockquote{margin:14px 0;padding:10px 16px;background:var(--panel);
  border:1px solid var(--rule-2);border-left:3px solid var(--ochre);border-radius:3px;color:var(--slate)}
.doc blockquote p{margin:6px 0}
.doc table{font-size:14px}
.doc table code{background:none;border:0;padding:0}
.doc hr{border:0;border-top:1px solid var(--rule);margin:26px 0}
.doc .subtitle{color:var(--muted);font-size:14px;margin:0 0 18px}

/* FAQ: make each question stand out from its answer */
.doc.faq h1{margin-bottom:22px}
.doc.faq h2{display:none}
.doc.faq h3{font-size:18px;color:var(--ink);font-weight:500;margin:30px 0 6px;
  padding:2px 0 2px 14px;border-left:3px solid var(--ochre);border-top:0}
.doc.faq h3:first-of-type{margin-top:8px}
.doc.faq p{margin:0 0 4px;color:var(--slate)}

@media(max-width:720px){
  h1{font-size:30px}.gallery,.cols{grid-template-columns:1fr}
}