/* Living review — shared styles (PNG first; parity etc. reuse this file) */

:root {
  color-scheme: light;
  --paper: #F2F4F6;
  --surface: #FFFFFF;
  --sunk: #E8ECF0;
  --ink: #172031;
  --ink-2: #445066;
  --muted: #6E788B;
  --rule: #D6DCE4;
  --cool: #2F5BB7;
  --warm: #B5313F;
  --mid: #E4E7EB;
  --focus: #2F5BB7;
  --shade: 47, 91, 183;          /* rgb of --cool, used for cell shading */
  --shadow: 0 1px 0 rgba(23,32,49,.04), 0 12px 32px -12px rgba(23,32,49,.18);

  --serif: "Source Serif 4", "Source Serif Pro", Georgia, serif;
  --sans: "IBM Plex Sans", system-ui, -apple-system, "Segoe UI", sans-serif;

  --s-1: .8125rem;   /* 13 */
  --s0: 1rem;        /* 16 */
  --s1: 1.1875rem;   /* 19 */
  --s2: 1.5rem;      /* 24 */
  --s3: 2rem;        /* 32 */
  --s4: clamp(2.5rem, 5.4vw, 4.25rem);

  --wrap: 1240px;
  --gutter: clamp(16px, 4vw, 40px);
  --ease: cubic-bezier(.2,.7,.1,1);
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --paper: #0F141C; --surface: #161D28; --sunk: #1C2533;
    --ink: #E6EAF0; --ink-2: #B4BDCC; --muted: #8590A3; --rule: #2A3443;
    --cool: #5F86DA; --warm: #D6606C; --mid: #2A3240; --focus: #7FA2EC;
    --shade: 95, 134, 218;
    --shadow: 0 1px 0 rgba(0,0,0,.3), 0 16px 40px -12px rgba(0,0,0,.6);
  }
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --paper: #0F141C; --surface: #161D28; --sunk: #1C2533;
  --ink: #E6EAF0; --ink-2: #B4BDCC; --muted: #8590A3; --rule: #2A3443;
  --cool: #5F86DA; --warm: #D6606C; --mid: #2A3240; --focus: #7FA2EC;
  --shade: 95, 134, 218;
  --shadow: 0 1px 0 rgba(0,0,0,.3), 0 16px 40px -12px rgba(0,0,0,.6);
}

*, *::before, *::after { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 72px; }
body {
  margin: 0; background: var(--paper); color: var(--ink);
  font: 400 var(--s0)/1.55 var(--sans);
  -webkit-font-smoothing: antialiased; text-rendering: optimizeLegibility;
  font-variant-numeric: tabular-nums;
}
a { color: var(--cool); text-underline-offset: .18em; text-decoration-thickness: 1px; }
a:hover { text-decoration-thickness: 2px; }
button { font: inherit; color: inherit; }
:focus-visible { outline: 2px solid var(--focus); outline-offset: 2px; border-radius: 3px; }
.skip { position: absolute; left: -999px; top: 8px; background: var(--surface); padding: 8px 12px; z-index: 100; }
.skip:focus { left: 8px; }
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }

/* ---------- top bar ---------- */
.bar { position: sticky; top: 0; z-index: 20; background: color-mix(in srgb, var(--paper) 88%, transparent); backdrop-filter: blur(10px); border-bottom: 1px solid var(--rule); }
.bar-inner { max-width: var(--wrap); margin: 0 auto; padding: 10px var(--gutter); display: flex; align-items: center; gap: 24px; }
.home { font: 600 var(--s-1)/1 var(--sans); color: var(--ink); text-decoration: none; }
.home::before { content: "‹"; margin-right: 6px; color: var(--muted); }
.bar-nav { display: flex; gap: 20px; margin-left: auto; }
.bar-nav a { font-size: var(--s-1); color: var(--ink-2); text-decoration: none; }
.bar-nav a:hover { color: var(--ink); }
.theme { width: 32px; height: 32px; display: grid; place-items: center; background: none; border: 1px solid var(--rule); border-radius: 50%; cursor: pointer; color: var(--ink-2); }
.theme svg { width: 16px; height: 16px; }
@media (max-width: 720px) { .bar-nav { display: none; } .theme { margin-left: auto; } }

/* ---------- hero ---------- */
.hero {
  max-width: var(--wrap); margin: 0 auto; padding: clamp(32px, 6vw, 72px) var(--gutter) clamp(40px, 6vw, 64px);
  display: grid; grid-template-columns: minmax(0, 1.05fr) minmax(0, 1fr); gap: clamp(28px, 5vw, 72px); align-items: center;
}
h1 {
  font: 600 var(--s4)/1.02 var(--serif); font-optical-sizing: auto; letter-spacing: -.02em; margin: 0 0 22px;
  font-variation-settings: "opsz" 60;
}
h1 .sub { display: block; font-weight: 300; font-style: italic; color: var(--ink-2); font-size: .48em; letter-spacing: -.005em; margin-top: .45em; }
.lede { font: 400 var(--s1)/1.55 var(--serif); color: var(--ink-2); max-width: 34em; margin: 0 0 26px; }
.facts { display: grid; grid-template-columns: repeat(3, auto); justify-content: start; gap: 4px 32px; margin: 0 0 28px; }
.facts div { display: contents; }
.facts dt { grid-row: 1; font-size: var(--s-1); color: var(--muted); }
.facts dd { grid-row: 2; margin: 0; font-weight: 500; }
.hero-actions { display: flex; gap: 10px; flex-wrap: wrap; }
.btn { display: inline-flex; align-items: center; height: 40px; padding: 0 16px; border-radius: 20px; border: 1px solid var(--rule); background: var(--surface); color: var(--ink); text-decoration: none; font-size: var(--s-1); font-weight: 500; cursor: pointer; }
.btn:hover { border-color: var(--ink-2); text-decoration: none; }
.btn.primary { background: var(--ink); color: var(--paper); border-color: var(--ink); }
.btn.primary:hover { background: var(--ink-2); }

.shape { margin: 0; }
.shape-tabs { display: flex; gap: 4px; margin-bottom: 12px; flex-wrap: wrap; }
.shape-tabs button { border: 0; background: none; padding: 6px 12px; border-radius: 16px; font-size: var(--s-1); color: var(--ink-2); cursor: pointer; }
.shape-tabs button[aria-selected="true"] { background: var(--ink); color: var(--paper); }
.shape-tabs button:not([aria-selected="true"]):not([aria-pressed="true"]):hover { background: var(--sunk); }
.shape-stage { position: relative; aspect-ratio: 1; max-width: 520px; }
#shape-canvas { width: 100%; height: 100%; display: block; cursor: crosshair; touch-action: none; }
.corner { position: absolute; font: italic 400 var(--s-1)/1 var(--serif); color: var(--muted); pointer-events: none; }
.c-eq { right: 9%; top: -2px; transform: translateY(-120%); }
.c-sq { right: 9%; bottom: -2px; transform: translateY(120%); }
.c-fo { left: 0; top: 50%; transform: translate(0, -260%); }
.shape-probe[hidden] { display: none; }
.shape-probe { position: absolute; left: 0; top: 0; display: flex; gap: 10px; align-items: center; padding: 8px 10px; background: var(--surface); border: 1px solid var(--rule); border-radius: 10px; box-shadow: var(--shadow); pointer-events: none; }
.shape-probe svg { width: 56px; height: 40px; }
#probe-tri { fill: color-mix(in srgb, var(--cool) 16%, transparent); stroke: var(--ink); stroke-width: .025; stroke-linejoin: round; }
.probe-text { display: grid; font-size: var(--s-1); line-height: 1.35; }
.probe-text span { color: var(--ink-2); }
.shape-scale { display: flex; align-items: center; gap: 8px; margin: 30px 0 10px; max-width: 520px; font-size: var(--s-1); color: var(--muted); }
.shape-scale i { flex: 1; height: 6px; border-radius: 3px; background: linear-gradient(90deg, var(--cool), var(--mid), var(--warm)); }
.shape figcaption { font-size: var(--s-1); color: var(--ink-2); max-width: 520px; line-height: 1.5; }
.m { font-family: var(--serif); font-style: italic; white-space: nowrap; }
@media (max-width: 880px) { .hero { grid-template-columns: 1fr; } .shape-stage { max-width: 420px; } }

/* tetrahedron hero (PV) */
#tetra-canvas { width: 100%; height: 100%; display: block; cursor: grab; touch-action: none; border-radius: 12px; }
#tetra-canvas:active { cursor: grabbing; }
.shape-tabs button[aria-pressed="true"] { background: var(--ink); color: var(--paper); }
.tetra-read { position: absolute; left: 0; bottom: 0; display: grid; gap: 2px; padding: 8px 12px; border-radius: 10px; background: var(--surface); border: 1px solid var(--rule); font-size: var(--s-1); line-height: 1.35; }
.tetra-read strong { font-weight: 600; }
.tetra-read span { color: var(--ink-2); font-family: var(--serif); font-style: italic; }
.tetra-read[data-hand="+"] { border-left: 3px solid var(--cool); }
.tetra-read[data-hand="-"] { border-left: 3px solid var(--warm); }
.tetra .shape-stage { margin-bottom: 18px; }

/* ---------- bands ---------- */
.band { max-width: var(--wrap); margin: 0 auto; padding: clamp(40px, 6vw, 72px) var(--gutter); border-top: 1px solid var(--rule); }
.band-head { display: flex; flex-wrap: wrap; align-items: baseline; gap: 10px 28px; margin-bottom: 28px; }
h2 { font: 600 var(--s3)/1.1 var(--serif); letter-spacing: -.01em; margin: 0; }
.band-note { margin: 0; color: var(--ink-2); font-size: var(--s-1); max-width: 46em; flex: 1 1 22em; }

/* ---------- change log ---------- */
.legend { display: flex; gap: 18px; font-size: var(--s-1); color: var(--ink-2); margin-left: auto; flex-wrap: wrap; }
.legend button { display: inline-flex; align-items: center; gap: 7px; background: none; border: 0; padding: 2px 0; cursor: pointer; color: inherit; }
.legend button[aria-pressed="false"] { opacity: .45; text-decoration: line-through; }
.glyph { width: 11px; height: 11px; flex: none; display: inline-block; }
.glyph.revision { background: var(--ink); border-radius: 50%; }
.glyph.literature { border: 2px solid var(--cool); border-radius: 50%; background: var(--surface); }
.glyph.site { background: var(--muted); border-radius: 2px; transform: rotate(45deg) scale(.82); }

.track-wrap { position: relative; padding: 0 8px; }
.track { position: relative; height: 84px; }
.track::before { content: ""; position: absolute; left: 0; right: 0; top: 40px; height: 1px; background: var(--ink-2); opacity: .5; }
.tick { position: absolute; top: 34px; height: 13px; width: 1px; background: var(--rule); }
.tick span { position: absolute; top: 20px; left: 0; transform: translateX(-50%); font-size: 12px; color: var(--muted); white-space: nowrap; }
.tick.today { background: var(--ink-2); height: 21px; top: 30px; }
.tick.today span { color: var(--ink-2); font-weight: 500; }
.mark { position: absolute; top: 40px; width: 22px; height: 22px; margin: -11px 0 0 -11px; display: grid; place-items: center; border: 0; padding: 0; background: none; cursor: pointer; border-radius: 50%; transition: transform .2s var(--ease); }
.mark .glyph { width: 13px; height: 13px; box-shadow: 0 0 0 3px var(--paper); }
.mark:hover, .mark[aria-current="true"] { transform: scale(1.25); }
.mark[aria-current="true"] .glyph { box-shadow: 0 0 0 3px var(--paper), 0 0 0 5px var(--cool); }

.entries { list-style: none; margin: 8px 0 0; padding: 0; display: grid; gap: 0; }
.entry { display: grid; grid-template-columns: 9.5rem 1fr; gap: 6px 24px; padding: 16px 0; border-top: 1px solid var(--rule); scroll-margin-top: 90px; }
.entry[hidden] { display: none; }
.entry-date { font-size: var(--s-1); color: var(--ink-2); display: flex; gap: 9px; align-items: baseline; }
.entry-date .glyph { transform: translateY(1px); }
.entry-date .glyph.site { transform: translateY(1px) rotate(45deg) scale(.82); }
.entry h3 { font: 600 var(--s1)/1.3 var(--serif); margin: 0 0 4px; }
.entry p { margin: 0; color: var(--ink-2); max-width: 62ch; }
.entry.is-current { background: linear-gradient(90deg, color-mix(in srgb, var(--cool) 7%, transparent), transparent 70%); }
.chips { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 10px; }
.chip { font-size: 12.5px; padding: 3px 10px; border-radius: 12px; border: 1px solid var(--rule); background: var(--surface); color: var(--ink-2); cursor: pointer; }
.chip:hover { border-color: var(--cool); color: var(--ink); }
.chip.ref { border-style: dashed; }
.sample { font-size: 12px; color: var(--warm); margin-left: 8px; font-family: var(--sans); font-weight: 500; }
.more { margin-top: 12px; background: none; border: 0; color: var(--cool); cursor: pointer; padding: 0; font-size: var(--s-1); }
@media (max-width: 640px) { .entry { grid-template-columns: 1fr; } .tick span { font-size: 11px; } }

/* ---------- prose ---------- */
.prose { font: 400 1.0625rem/1.68 var(--serif); max-width: 40rem; }
.prose h3 { font: 600 var(--s1)/1.3 var(--serif); margin: 2em 0 .5em; }
.prose h3:first-child { margin-top: 0; }
.prose p { margin: 0 0 1em; }
.prose blockquote { margin: 0 0 1.6em; padding: 10px 14px; border-left: 3px solid var(--warm); background: var(--surface); font: 400 var(--s-1)/1.5 var(--sans); color: var(--ink-2); }
.prose blockquote p { margin: 0; }
.prose .katex-display { overflow-x: auto; overflow-y: hidden; padding: 4px 0; }
.prose ul { padding-left: 1.2em; }
.cite { font-family: var(--sans); font-size: .82em; color: var(--cool); text-decoration: none; border-bottom: 1px dotted currentColor; cursor: pointer; }
.loading, .error { color: var(--muted); font-family: var(--sans); font-size: var(--s-1); }
.error { color: var(--warm); }

/* review strip (intro) */
.strip { margin: 1.8em 0 0; font-family: var(--sans); }
.strip svg { width: 100%; height: auto; display: block; overflow: visible; }
.strip .axis { stroke: var(--ink-2); stroke-width: 1; opacity: .5; }
.strip .tk text { font-size: 11px; fill: var(--muted); }
.strip .tk line { stroke: var(--rule); }
.strip .dot { fill: var(--cool); stroke: var(--paper); stroke-width: 2; cursor: pointer; }
.strip .dot.now { fill: var(--warm); }
.strip .dot.given { fill: var(--surface); stroke: var(--cool); stroke-width: 2.5; }
.strip .lbl { font-size: 11px; fill: var(--ink-2); }
.strip .gap { fill: color-mix(in srgb, var(--warm) 9%, transparent); }
.strip .gap-lbl { font-size: 11px; fill: var(--warm); font-style: italic; }
.strip figcaption { font-size: var(--s-1); color: var(--ink-2); margin-top: 8px; }

/* ---------- atlas ---------- */
.seg { display: inline-flex; align-items: center; gap: 2px; padding: 3px; border: 1px solid var(--rule); border-radius: 18px; background: var(--surface); font-size: var(--s-1); margin-left: auto; }
.seg-label { color: var(--muted); padding: 0 8px 0 10px; }
.seg button { border: 0; background: none; padding: 4px 11px; border-radius: 14px; cursor: pointer; color: var(--ink-2); }
.seg button[aria-checked="true"] { background: var(--ink); color: var(--paper); }

.atlas {
  --rowhead: 9.5rem;
  display: grid; gap: 6px;
  grid-template-columns: var(--rowhead) minmax(0, 1.1fr) 10px repeat(var(--probes, 6), minmax(0, 1fr));
}
.atlas > [style*="--r"] { grid-row: var(--r); grid-column: var(--c); }
.ax-group { font-size: var(--s-1); color: var(--muted); padding: 0 2px 4px; border-bottom: 1px solid var(--rule); align-self: end; }
.ax-col { padding: 6px 2px 8px; align-self: start; }
.ax-col strong { display: block; font: 600 var(--s0)/1.2 var(--sans); }
.ax-col span { display: block; font-size: 12px; color: var(--muted); line-height: 1.35; margin-top: 3px; }
.ax-row { padding: 12px 10px 12px 0; }
.ax-row strong { display: block; font: 600 var(--s1)/1.2 var(--serif); }
.ax-row span { display: block; font-size: 12px; color: var(--muted); line-height: 1.35; margin-top: 4px; }
.ax-col.hl strong, .ax-row.hl strong { color: var(--cool); }

.cell {
  position: relative; min-height: 132px; text-align: left; display: flex; flex-direction: column; gap: 8px;
  padding: 12px 12px 10px; border-radius: 10px; border: 1px solid var(--rule);
  background: linear-gradient(rgba(var(--shade), var(--a, 0)), rgba(var(--shade), var(--a, 0))), var(--surface);
  cursor: pointer; transition: border-color .15s, box-shadow .2s, transform .2s var(--ease);
}
.cell:hover { border-color: var(--cool); box-shadow: var(--shadow); transform: translateY(-1px); }
.cell .t { font: 600 .98rem/1.25 var(--serif); color: var(--ink); }
.cell .meta { margin-top: auto; display: flex; justify-content: space-between; gap: 6px; font-size: 12px; color: var(--ink-2); }
.cell .st { display: inline-flex; align-items: center; gap: 5px; }
.st-dot { width: 8px; height: 8px; border-radius: 50%; border: 1.5px solid var(--ink-2); flex: none; }
.st-dot.draft { background: linear-gradient(90deg, var(--ink-2) 50%, transparent 50%); }
.st-dot.written { background: var(--ink-2); }
.cell.open { background: transparent; border-style: dashed; }
.cell.open .t { color: var(--muted); font-weight: 400; font-style: italic; }
.cell .fresh { position: absolute; top: 9px; right: 9px; width: 7px; height: 7px; border-radius: 50%; background: var(--warm); }
.cell.dim { opacity: .35; }
.cell.flash { animation: flash 1.4s var(--ease); }
@keyframes flash { 0%, 40% { box-shadow: 0 0 0 3px var(--cool); } 100% { box-shadow: 0 0 0 0 transparent; } }
.atlas.shade-none .cell { --a: 0 !important; }

.atlas-key { display: flex; flex-wrap: wrap; gap: 8px 22px; margin-top: 16px; font-size: 12px; color: var(--ink-2); }
.atlas-key span { display: inline-flex; align-items: center; gap: 6px; }
.atlas-key .ramp { width: 72px; height: 8px; border-radius: 4px; background: linear-gradient(90deg, rgba(var(--shade), 0), rgba(var(--shade), .34)); border: 1px solid var(--rule); }
.atlas-key .fresh-k { width: 7px; height: 7px; border-radius: 50%; background: var(--warm); }

/* mobile atlas: one block per column */
@media (max-width: 860px) {
  .atlas { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .atlas > [style*="--r"] { grid-row: auto; grid-column: auto; }
  .atlas .ax-group, .atlas .ax-row, .atlas .gap-col { display: none; }
  .atlas .ax-col { grid-column: 1 / -1; padding-top: 14px; border-top: 1px solid var(--rule); }
  .atlas .cell { min-height: 112px; padding: 10px; }
  .atlas .cell .rowtag { display: block; }
  .seg { margin-left: 0; }
}
.cell .rowtag { display: none; font-size: 11.5px; color: var(--muted); }

/* ---------- open problems ---------- */
.open-list { list-style: none; padding: 0; margin: 0; display: grid; grid-template-columns: repeat(auto-fill, minmax(min(100%, 22rem), 1fr)); gap: 0 32px; }
.open-list li { padding: 14px 0; border-top: 1px solid var(--rule); }
.open-list q { display: block; font: 400 var(--s1)/1.4 var(--serif); quotes: none; margin-bottom: 6px; }
.open-list button { background: none; border: 0; padding: 0; color: var(--cool); cursor: pointer; font-size: var(--s-1); }

/* ---------- footer ---------- */
.foot { border-top: 1px solid var(--rule); }
.foot-inner { max-width: var(--wrap); margin: 0 auto; padding: 28px var(--gutter) 48px; font-size: var(--s-1); color: var(--ink-2); }
.foot-meta { color: var(--muted); }

/* ---------- reader ---------- */
.reader-root { position: fixed; inset: 0; z-index: 50; }
.reader-root[hidden] { display: none; }
.scrim { position: absolute; inset: 0; background: color-mix(in srgb, var(--ink) 34%, transparent); opacity: 0; transition: opacity .32s var(--ease); }
.reader-root.on .scrim { opacity: 1; }
.reader {
  position: absolute; left: 50%; top: 24px; bottom: 24px; width: min(1080px, calc(100vw - 48px)); transform-origin: 0 0;
  margin-left: calc(min(1080px, calc(100vw - 48px)) / -2);
  background: var(--surface); border-radius: 16px; box-shadow: 0 40px 100px -30px rgba(10,16,28,.55);
  display: grid; grid-template-rows: auto 1fr auto; overflow: hidden;
}
.reader > * { transition: opacity .22s ease; }
.reader.morphing > * { opacity: 0; }
.reader-head { display: flex; align-items: center; gap: 18px; padding: 14px 18px 12px 28px; border-bottom: 1px solid var(--rule); }
.reader-crumb { font-size: var(--s-1); color: var(--ink-2); display: flex; gap: 6px; align-items: center; flex-wrap: wrap; }
.reader-crumb b { font-weight: 600; color: var(--ink); }
.reader-crumb .x { color: var(--muted); }
.minimap { margin-left: auto; display: grid; grid-template-columns: repeat(var(--cols, 7), 12px); gap: 3px; }
.minimap button { width: 12px; height: 9px; padding: 0; border: 0; border-radius: 2px; background: var(--sunk); cursor: pointer; }
.minimap button.has { background: color-mix(in srgb, var(--cool) 40%, var(--sunk)); }
.minimap button.src { margin-right: 4px; }
.minimap button[aria-current="true"] { background: var(--ink); }
.minimap button:hover { outline: 1px solid var(--cool); }
.close { width: 34px; height: 34px; display: grid; place-items: center; border-radius: 50%; border: 1px solid var(--rule); background: none; cursor: pointer; }
.close svg { width: 16px; height: 16px; }
.reader-scroll { overflow: auto; overscroll-behavior: contain; }
.reader-body { display: grid; grid-template-columns: minmax(0, 1fr) 17rem; gap: 48px; padding: 32px 40px 48px; }
.reader-body.slide-l { animation: slideL .34s var(--ease); }
.reader-body.slide-r { animation: slideR .34s var(--ease); }
.reader-body.slide-u { animation: slideU .34s var(--ease); }
.reader-body.slide-d { animation: slideD .34s var(--ease); }
@keyframes slideL { from { opacity: 0; transform: translateX(36px); } }
@keyframes slideR { from { opacity: 0; transform: translateX(-36px); } }
@keyframes slideU { from { opacity: 0; transform: translateY(28px); } }
@keyframes slideD { from { opacity: 0; transform: translateY(-28px); } }
.r-title { font: 600 var(--s3)/1.12 var(--serif); margin: 0 0 10px; letter-spacing: -.01em; }
.r-meta { display: flex; flex-wrap: wrap; gap: 6px 18px; font-size: var(--s-1); color: var(--ink-2); margin-bottom: 26px; }
.r-meta .st { display: inline-flex; gap: 6px; align-items: center; }
.r-outline { margin: 0 0 1.4em; padding: 0; list-style: none; counter-reset: o; }
.r-outline li { counter-increment: o; display: grid; grid-template-columns: 2em 1fr; padding: 8px 0; border-top: 1px solid var(--rule); font: 400 1.0625rem/1.45 var(--serif); }
.r-outline li::before { content: counter(o); color: var(--muted); font: 500 var(--s-1)/1.9 var(--sans); }
.r-empty { padding: 28px; border: 1px dashed var(--rule); border-radius: 12px; color: var(--ink-2); font-size: var(--s-1); }
.r-empty p { margin: 0 0 10px; }
.r-side h4 { font: 600 var(--s-1)/1.3 var(--sans); margin: 0 0 10px; color: var(--ink); }
.r-side section { margin-bottom: 28px; }
.reflist { list-style: none; margin: 0; padding: 0; font-size: var(--s-1); line-height: 1.45; }
.reflist li { padding: 9px 0; border-top: 1px solid var(--rule); scroll-margin-top: 20px; }
.reflist li.ping { animation: flash 1.4s var(--ease); border-radius: 6px; }
.reflist .ra { color: var(--ink); font-weight: 500; }
.reflist .rt { display: block; color: var(--ink-2); font-family: var(--serif); font-size: .95rem; }
.reflist a { font-size: 12px; }
.unv { font-size: 11px; color: var(--warm); margin-left: 6px; }
.nbrs { display: grid; grid-template-columns: 1fr 1fr; gap: 6px; }
.nbrs button { text-align: left; font-size: 12px; padding: 7px 9px; border-radius: 8px; border: 1px solid var(--rule); background: var(--paper); cursor: pointer; color: var(--ink-2); line-height: 1.3; }
.nbrs button:hover { border-color: var(--cool); color: var(--ink); }
.nbrs button small { display: block; color: var(--muted); font-size: 11px; }
.nbrs button:disabled { visibility: hidden; }
.reader-foot { display: flex; justify-content: space-between; gap: 12px; padding: 10px 18px; border-top: 1px solid var(--rule); font-size: 12px; color: var(--muted); }
.reader-foot kbd { font: 500 11px/1 var(--sans); padding: 2px 5px; border: 1px solid var(--rule); border-radius: 4px; background: var(--paper); color: var(--ink-2); }
@media (max-width: 860px) {
  .reader { top: 0; bottom: 0; left: 0; width: 100vw; margin-left: 0; border-radius: 0; }
  .reader-body { grid-template-columns: 1fr; padding: 22px 18px 40px; gap: 24px; }
  .reader-head { padding: 10px 12px 10px 18px; }
  .minimap { display: none; }
  .reader-foot .keys { display: none; }
}

/* ---------- constraint chart ---------- */
.viz { margin: 1.6em 0 1.8em; font-family: var(--sans); border: 1px solid var(--rule); border-radius: 12px; padding: 14px 16px 12px; background: var(--paper); }
.viz-top { display: flex; flex-wrap: wrap; gap: 10px 18px; align-items: center; margin-bottom: 8px; }
.viz-top .seg { margin-left: 0; }
.viz-title { font-size: var(--s0); color: var(--ink); }
.viz-title span { font-size: var(--s-1); color: var(--muted); }
.viz-legend { display: flex; gap: 14px; font-size: 12px; color: var(--ink-2); margin-left: auto; }
.viz-legend span { display: inline-flex; align-items: center; gap: 6px; }
.viz svg { width: 100%; height: auto; display: block; overflow: visible; }
.viz .grid line { stroke: var(--rule); }
.viz .grid text, .viz .xax text { font-size: 11px; fill: var(--muted); }
.viz .zero { stroke: var(--ink-2); stroke-dasharray: 3 3; opacity: .7; }
.viz .eb { stroke-width: 2; stroke-linecap: round; }
.viz .cmb { stroke: var(--cool); fill: var(--cool); }
.viz .lss { stroke: var(--warm); fill: var(--warm); }
.viz .pt { stroke: var(--paper); stroke-width: 2; }
.viz .hit { fill: transparent; stroke: none; cursor: pointer; }
.viz .demo { font-size: 12px; color: var(--warm); margin: 6px 0 0; }
.viz details { font-size: 12px; color: var(--ink-2); margin-top: 6px; }
.viz table { border-collapse: collapse; margin-top: 6px; width: 100%; }
.viz td, .viz th { text-align: left; padding: 3px 8px 3px 0; border-top: 1px solid var(--rule); font-weight: 400; }
.viz th { color: var(--muted); }

/* ---------- tooltip / toast ---------- */
.tip { position: fixed; z-index: 80; pointer-events: none; background: var(--ink); color: var(--paper); padding: 7px 10px; border-radius: 8px; font-size: 12px; line-height: 1.4; max-width: 260px; }
.tip b { font-weight: 600; }
.toast { position: fixed; left: 50%; bottom: 24px; transform: translate(-50%, 20px); opacity: 0; background: var(--ink); color: var(--paper); padding: 9px 16px; border-radius: 20px; font-size: var(--s-1); transition: .25s var(--ease); z-index: 90; pointer-events: none; }
.toast.on { opacity: 1; transform: translate(-50%, 0); }

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { animation-duration: .001ms !important; transition-duration: .001ms !important; }
}
@media (forced-colors: active) { .cell { border: 1px solid CanvasText; } }