:root{
  --bg:#0b1120; --panel:#111a2e; --panel2:#0f1728; --ink:#dbe6fb; --muted:#8ea3c8;
  --line:#233250; --accent:#5b8cff; --accent2:#2f9e5e;
  --fact:#2f9e5e; --inf:#5b8cff; --hyp:#d6a72f; --open:#e0567f;
  --mono:ui-monospace,SFMono-Regular,Menlo,Consolas,"Liberation Mono",monospace;
  --sans:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Helvetica,Arial,sans-serif;
}
*{box-sizing:border-box}
html{scroll-behavior:smooth}
body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--sans);
  font-size:16px;line-height:1.65;display:flex}
a{color:var(--accent);text-decoration:none}
a:hover{text-decoration:underline}

.sidebar{position:fixed;top:0;left:0;width:280px;height:100vh;overflow-y:auto;
  background:linear-gradient(180deg,#0b1424,#0a1120);border-right:1px solid var(--line);
  padding:18px 14px;z-index:20}
.brand{display:block;padding:4px 6px 14px;border-bottom:1px solid var(--line);margin-bottom:10px}
.brand:hover{text-decoration:none}
.brand-t{font-weight:700;font-size:15px;color:#eaf1ff}
.brand-s{color:var(--muted);font-size:12px;margin-top:2px}
.sidebar ul{list-style:none;margin:0;padding:0}
.sidebar li a{display:flex;gap:10px;align-items:baseline;padding:7px 8px;border-radius:8px;
  color:var(--ink);font-size:13.5px}
.sidebar li a:hover{background:#152238;text-decoration:none}
.sidebar li.active a{background:#17233c;box-shadow:inset 2px 0 0 var(--accent)}
.sidebar .num{color:var(--accent);font-family:var(--mono);font-size:12px;min-width:22px}
.navgroup{color:var(--muted);font-size:10.5px;letter-spacing:1.2px;text-transform:uppercase;
  padding:14px 8px 4px;font-weight:700}
.foot{color:var(--muted);font-size:11px;margin-top:16px;padding:10px 6px;border-top:1px solid var(--line)}

main{margin-left:280px;flex:1;min-width:0;padding:34px 30px 80px}
.memo{max-width:900px;margin:0 auto}
.crumb{color:var(--muted);font-family:var(--mono);font-size:12px;letter-spacing:.4px;
  text-transform:uppercase;margin-bottom:8px}
h1{font-size:30px;line-height:1.25;margin:.2em 0 .5em;border-bottom:2px solid var(--line);padding-bottom:.35em}
h2{font-size:22px;margin:1.7em 0 .5em;color:#eaf1ff}
h3{font-size:17px;margin:1.3em 0 .4em;color:#cddcff}
p{margin:.7em 0}
strong{color:#fff}
hr{border:0;border-top:1px solid var(--line);margin:2em 0}

/* epistemic badges */
.tag{display:inline-block;font-family:var(--mono);font-size:10.5px;font-weight:700;
  letter-spacing:.6px;padding:1px 6px;border-radius:5px;vertical-align:middle;
  transform:translateY(-1px);border:1px solid transparent}
.tag-fact{background:rgba(47,158,94,.14);color:#5fd39a;border-color:rgba(47,158,94,.5)}
.tag-inf {background:rgba(91,140,255,.14);color:#8fb0ff;border-color:rgba(91,140,255,.5)}
.tag-hyp {background:rgba(214,167,47,.14);color:#e6c464;border-color:rgba(214,167,47,.5)}
.tag-open{background:rgba(224,86,127,.14);color:#f18aa8;border-color:rgba(224,86,127,.5)}

/* diagram / code panels (fallback for any remaining ASCII) */
pre.diagram{background:var(--panel);border:1px solid var(--line);border-left:3px solid var(--accent);
  border-radius:8px;padding:14px 16px;overflow-x:auto;position:relative;margin:1.2em 0}
pre.diagram::before{content:"FIG";position:absolute;top:0;right:0;font-family:var(--mono);
  font-size:9.5px;letter-spacing:1px;color:var(--muted);background:var(--panel2);
  border-left:1px solid var(--line);border-bottom:1px solid var(--line);padding:2px 8px;border-radius:0 8px 0 8px}
pre.diagram code{font-family:var(--mono);font-size:12.5px;line-height:1.5;color:#bcd0f5;
  white-space:pre;background:none;padding:0;border:0}
:not(pre)>code{font-family:var(--mono);font-size:13px;background:#152238;color:#c7d6f7;
  padding:1px 5px;border-radius:4px;border:1px solid var(--line)}

table{border-collapse:collapse;width:100%;margin:1.2em 0;font-size:14px;display:block;overflow-x:auto}
th,td{border:1px solid var(--line);padding:7px 10px;text-align:left;vertical-align:top}
th{background:#152238;color:#eaf1ff;font-weight:600}
tr:nth-child(even) td{background:rgba(255,255,255,.015)}

/* figures + mermaid */
.fig{margin:1.6em 0;background:var(--panel2);border:1px solid var(--line);border-radius:12px;padding:16px 16px 10px}
.fig figcaption{font-family:var(--mono);font-size:12px;color:var(--muted);margin-bottom:10px;letter-spacing:.3px}
.fig svg{width:100%;height:auto;display:block}
.mermaid{background:transparent;text-align:center;overflow-x:auto;font-family:var(--mono)}
.fig-mermaid{background:#0d1830}
mjx-container{color:#e7eefc}
mjx-container[display="true"]{overflow-x:auto;overflow-y:hidden;padding:6px 0}

/* prev/next */
.prevnext{display:flex;justify-content:space-between;gap:12px;margin-top:2.5em;border-top:1px solid var(--line);padding-top:16px}
.pn{font-family:var(--mono);font-size:13px;padding:10px 12px;border:1px solid var(--line);border-radius:8px;background:var(--panel);max-width:48%}
.pn.next{margin-left:auto;text-align:right}

/* ---------- blog landing ---------- */
.landing{max-width:1040px;margin:0 auto}
.hero{padding:26px 4px 8px;border-bottom:1px solid var(--line);margin-bottom:8px}
.hero-kicker{font-family:var(--mono);font-size:12px;letter-spacing:2px;color:var(--accent)}
.hero-title{font-size:46px;line-height:1.05;margin:.18em 0 .1em;border:0;padding:0;
  background:linear-gradient(90deg,#eaf1ff,#8fb0ff);-webkit-background-clip:text;background-clip:text;color:transparent}
.hero-lede{font-size:18px;color:#c3d2f0;max-width:760px}
.hero-actions{display:flex;flex-wrap:wrap;gap:10px;margin:18px 0 8px}
.btn{display:inline-block;padding:10px 16px;border:1px solid var(--line);border-radius:10px;
  background:var(--panel);color:var(--ink);font-size:14px}
.btn:hover{text-decoration:none;border-color:var(--accent)}
.btn.primary{background:linear-gradient(90deg,#2f56b8,#3f74e6);border-color:#3f74e6;color:#fff}
.btn.ghost{background:transparent}
.hero-meta{color:var(--muted);font-family:var(--mono);font-size:12px;margin-top:6px}
.series-intro{color:#c3d2f0;max-width:820px;margin:18px 4px 10px}
.group-h{font-size:15px;letter-spacing:1.4px;text-transform:uppercase;color:var(--muted);
  margin:30px 4px 12px;border-bottom:1px dashed var(--line);padding-bottom:8px}
.cards{display:grid;grid-template-columns:repeat(auto-fill,minmax(300px,1fr));gap:16px}
.card{display:flex;flex-direction:column;background:var(--panel);border:1px solid var(--line);
  border-radius:14px;padding:18px;transition:transform .12s,border-color .12s,box-shadow .12s}
.card:hover{text-decoration:none;transform:translateY(-3px);border-color:var(--accent);
  box-shadow:0 10px 30px rgba(0,0,0,.35)}
.card-num{font-family:var(--mono);font-size:11px;letter-spacing:1px;color:var(--accent);text-transform:uppercase}
.card-title{font-size:19px;font-weight:700;color:#eaf1ff;margin:4px 0 8px}
.card-ab{color:var(--muted);font-size:13.5px;line-height:1.55;flex:1}
.card-go{font-family:var(--mono);font-size:12px;color:var(--accent);margin-top:12px}
.card.grp-abstraction{border-left:3px solid var(--accent2)}
.card.grp-critique{border-left:3px solid var(--open)}
.card.grp-synthesis{border-left:3px solid var(--hyp)}
.card.grp-survey{border-left:3px solid var(--accent)}

#menu{display:none;position:fixed;top:12px;left:12px;z-index:30;background:var(--panel);
  color:var(--ink);border:1px solid var(--line);border-radius:8px;font-size:18px;width:40px;height:40px;cursor:pointer}
@media(max-width:900px){
  .sidebar{transform:translateX(-100%);transition:transform .2s}
  body.nav-open .sidebar{transform:none}
  main{margin-left:0;padding:64px 16px 80px}
  #menu{display:block}
  .hero-title{font-size:34px}
}