/*  Databases from the Beginning — design system
    ---------------------------------------------
    The Curionode editorial look — warm paper, Fraunces for display, Source
    Serif for prose, JetBrains Mono for numbers, SQL and results — with one rule
    of its own: a table is drawn as a ledger, its key columns in bold and NULL as
    a grey italic word that can never be mistaken for a value, in result grids,
    page diagrams and plans alike. SQL is set on a light input paper in both
    themes' terms, and errors from the database are shown verbatim in red.

    Colours are tokens, and canvases read them through js/figure.js. The dark
    values are written twice, once for a system preference and once for an
    explicit choice; tools/build.py fails if the two copies differ.
*/
@import url('../vendor/fonts/fonts.css');

:root {
    --paper: #fbf8f3;  --paper-deep: #f4ede0;  --paper-vellum: #f0e9da;  --paper-rule: #e3dac6;
    --ink: #1c1c1f;  --ink-soft: #3a3a3f;  --ink-mute: #6e6e74;  --ink-faint: #9a958b;
    --red: #b8312f;  --red-tint: #f5e7e3;  --blue: #1d4ed8;  --blue-tint: #e6ecf6;  --teal: #0f6e6a;  --teal-tint: #e1eeec;
    --plum: #5a3a7a;  --plum-tint: #ece2f0;  --ochre: #b3791f;  --ochre-tint: #f4e6c8;  --green: #2d6a4f;  --green-tint: #e0ede4;
    --sienna: #a8530c;  --olive: #5a5a1c;  --input: #fffefb;
      --fig-paper: #fffdf7;  --fig-grid: #cfc6b0;  --fig-rule: #e3dac6;  --fig-ink: #1c1c1f;  --fig-muted: #6e6e74;  --fig-faint: #9a958b;
    --fig-blue: #1d4ed8;  --fig-red: #b8312f;  --fig-green: #2d6a4f;  --fig-teal: #0f6e6a;  --fig-plum: #5a3a7a;  --fig-ochre: #b3791f;  --fig-sienna: #a8530c;  --fig-olive: #5a5a1c;  --fig-key: #b8312f;  --fig-nul: #9a958b;
    --shadow: 0 2px 6px rgba(28, 28, 31, 0.06);  --shadow-lg: 0 10px 30px rgba(28, 28, 31, 0.14);
    --font-display: 'Fraunces', 'Iowan Old Style', Georgia, serif;
    --font-body: 'Source Serif 4', 'Iowan Old Style', Georgia, serif;
    --font-mono: 'JetBrains Mono', ui-monospace, Menlo, Consolas, monospace;
    --font-zh: 'PingFang SC', 'Hiragino Sans GB', 'Noto Serif CJK SC', 'Source Han Serif SC', 'Microsoft YaHei', serif;
}
@media (prefers-color-scheme: dark) {
    :root:not([data-theme="light"]) {
    --paper: #15140f;  --paper-deep: #1d1b14;  --paper-vellum: #211f17;  --paper-rule: #39342a;
    --ink: #ece5d6;  --ink-soft: #c8c0ae;  --ink-mute: #9b9384;  --ink-faint: #756e60;
    --red: #e2706a;  --red-tint: #3b211f;  --blue: #82a8f4;  --blue-tint: #1d2740;  --teal: #4fb5ae;  --teal-tint: #16302e;
    --plum: #b492d8;  --plum-tint: #2c2339;  --ochre: #e2b257;  --ochre-tint: #3b3017;  --green: #6cba8e;  --green-tint: #1a3026;
    --sienna: #e28c48;  --olive: #b8b86a;  --input: #1c1a13;
    --fig-paper: #18160f;  --fig-grid: #3a3427;  --fig-rule: #3a3427;  --fig-ink: #ece5d6;  --fig-muted: #9b9384;  --fig-faint: #756e60;
    --fig-blue: #82a8f4;  --fig-red: #e2706a;  --fig-green: #6cba8e;  --fig-teal: #4fb5ae;  --fig-plum: #b492d8;  --fig-ochre: #e2b257;  --fig-sienna: #e28c48;  --fig-olive: #b8b86a;  --fig-key: #e2706a;  --fig-nul: #756e60;
    --shadow: 0 2px 6px rgba(0, 0, 0, 0.38);  --shadow-lg: 0 10px 30px rgba(0, 0, 0, 0.5);
    }
}
:root[data-theme="dark"] {
    --paper: #15140f;  --paper-deep: #1d1b14;  --paper-vellum: #211f17;  --paper-rule: #39342a;
    --ink: #ece5d6;  --ink-soft: #c8c0ae;  --ink-mute: #9b9384;  --ink-faint: #756e60;
    --red: #e2706a;  --red-tint: #3b211f;  --blue: #82a8f4;  --blue-tint: #1d2740;  --teal: #4fb5ae;  --teal-tint: #16302e;
    --plum: #b492d8;  --plum-tint: #2c2339;  --ochre: #e2b257;  --ochre-tint: #3b3017;  --green: #6cba8e;  --green-tint: #1a3026;
    --sienna: #e28c48;  --olive: #b8b86a;  --input: #1c1a13;
    --fig-paper: #18160f;  --fig-grid: #3a3427;  --fig-rule: #3a3427;  --fig-ink: #ece5d6;  --fig-muted: #9b9384;  --fig-faint: #756e60;
    --fig-blue: #82a8f4;  --fig-red: #e2706a;  --fig-green: #6cba8e;  --fig-teal: #4fb5ae;  --fig-plum: #b492d8;  --fig-ochre: #e2b257;  --fig-sienna: #e28c48;  --fig-olive: #b8b86a;  --fig-key: #e2706a;  --fig-nul: #756e60;
    --shadow: 0 2px 6px rgba(0, 0, 0, 0.38);  --shadow-lg: 0 10px 30px rgba(0, 0, 0, 0.5);
}

/* ─── Base ─────────────────────────────────────────────────── */
*, *::before, *::after { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 17px/1.62 var(--font-body); font-optical-sizing: auto; }
::selection { background: var(--ochre-tint); }
a { color: var(--blue); text-underline-offset: 2px; }
code, kbd, .mono { font-family: var(--font-mono); font-size: 0.86em; }
p code, li code, dd code, .prose code, .info-box code, .marginalia code, .key-concept code, .quiz-container code { background: var(--paper-deep); border: 1px solid var(--paper-rule); border-radius: 3px; padding: 0 0.28em; }
button { font: inherit; color: inherit; }
:focus-visible { outline: 2px solid var(--blue); outline-offset: 2px; }
sub, sup { line-height: 0; }

/* ─── Topbar ───────────────────────────────────────────────── */
.topbar { position: sticky; top: 0; z-index: 20; display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 12px 32px;
    background: color-mix(in srgb, var(--paper) 92%, transparent); backdrop-filter: blur(6px); border-bottom: 1px solid var(--paper-rule); }
.topbar-left { display: flex; align-items: baseline; gap: 20px; min-width: 0; }
.topbar-right { display: flex; align-items: center; gap: 8px; }
.topbar-back { font: 500 11px/1 var(--font-mono); letter-spacing: 0.12em; text-transform: uppercase; color: var(--ink-mute); text-decoration: none; white-space: nowrap; }
.topbar-back:hover { color: var(--red); }
.topbar-title { font: 400 19px/1.2 var(--font-display); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.topbar-title .icon { font: 600 12px/1 var(--font-mono); letter-spacing: 0.14em; text-transform: uppercase; color: var(--red); margin-right: 10px; }
.lang-btn { border: 1px solid var(--paper-rule); background: var(--paper); font: 500 12px/1 var(--font-mono); padding: 6px 12px; border-radius: 3px; cursor: pointer; }
.lang-btn:hover { border-color: var(--ink-mute); }

/* ─── The plate ────────────────────────────────────────────── */
.main-content { max-width: 1080px; margin: 0 auto; padding: 34px 32px 80px; }
.plate-meta { display: flex; justify-content: space-between; gap: 16px; flex-wrap: wrap; padding-bottom: 10px; border-bottom: 1px solid var(--paper-rule);
    font: 500 11px/1.6 var(--font-mono); letter-spacing: 0.12em; text-transform: uppercase; color: var(--ink-mute); }
.plate-meta b { color: var(--red); font-weight: 600; margin-right: 8px; }
.thread { display: inline-block; margin-left: 6px; padding: 0 5px; border: 1px solid var(--teal); color: var(--teal); border-radius: 2px; font-size: 10px; }
h1.plate-title { font: 400 clamp(36px, 6vw, 56px)/1.05 var(--font-display); font-variation-settings: 'opsz' 144, 'SOFT' 30; letter-spacing: -0.02em; margin: 32px 0 14px; }
h1.plate-title em { color: var(--red); }
.plate-deck { font: italic 20px/1.45 var(--font-body); color: var(--ink-soft); margin: 0 0 32px; max-width: 720px; }
.info-box.lede { border-left: 3px solid var(--ink); padding: 2px 0 2px 18px; margin: 0 0 30px; max-width: 720px; }
.info-box.lede p { margin: 0 0 12px; }
.info-box.lede > p:first-child::first-letter { float: left; font: 400 66px/0.84 var(--font-display); color: var(--red); margin: 6px 10px 0 0; }
.info-box.lede > p.preview { font-style: italic; padding-top: 12px; border-top: 1px solid var(--paper-rule); font-size: 15px; color: var(--ink-soft); }
.formula-group { display: flex; flex-wrap: wrap; gap: 18px 40px; align-items: center; background: var(--paper-deep); border-top: 1px solid var(--paper-rule); border-bottom: 1px solid var(--paper-rule); padding: 20px 26px; margin: 0 0 30px; max-width: 760px; }
.formula { font-size: 17px; overflow-x: auto; max-width: 100%; }
.formula[data-eq]::after { content: '(' attr(data-eq) ')'; margin-left: 16px; font: italic 13px var(--font-body); color: var(--ink-faint); }
.learning-objectives { border-top: 1px solid var(--ink); padding-top: 14px; margin: 0 0 34px; max-width: 720px; }
.learning-objectives-title, .section-title { font: 600 11px/1.4 var(--font-mono); letter-spacing: 0.14em; text-transform: uppercase; color: var(--ink-mute); }
.learning-objectives-title::before { content: '§ '; color: var(--red); }
.learning-objectives ul { list-style: none; padding: 0; margin: 12px 0 0; counter-reset: obj; }
.learning-objectives li { counter-increment: obj; position: relative; padding: 6px 0 6px 36px; border-bottom: 1px solid var(--paper-rule); }
.learning-objectives li::before { content: counter(obj, decimal-leading-zero); position: absolute; left: 0; top: 7px; font: italic 14px var(--font-display); color: var(--red); }
.section-title { margin: 20px 0 16px; display: flex; align-items: center; gap: 12px; }
.section-title::before { content: ''; width: 26px; border-top: 1px solid var(--ink-mute); }
h2 { font: 400 30px/1.2 var(--font-display); letter-spacing: -0.01em; margin: 44px 0 14px; }
.prose { max-width: 720px; }
.prose p { margin: 0; }
.prose p + p { text-indent: 1.4em; margin-top: 12px; }
.marginalia { margin: 28px 0; padding: 12px 16px; max-width: 760px; border-left: 2px solid var(--red); background: var(--red-tint); font: italic 15px/1.55 var(--font-body); color: var(--ink-soft); }
/* The optional box: the arithmetic behind a plate. */
.aside-box { margin: 24px 0; padding: 12px 16px 14px; max-width: 760px; border: 1px solid var(--paper-rule); background: var(--paper-deep); font-size: 15.5px; color: var(--ink-soft); }
.aside-box > b { display: block; margin-bottom: 4px; font: 600 11px var(--font-mono); letter-spacing: 0.14em; text-transform: uppercase; color: var(--teal); }
.aside-box p { margin: 6px 0 0; }
dl.terms { max-width: 720px; margin: 0; }
dl.terms dt { font: italic 18px var(--font-display); margin-top: 14px; }
dl.terms dd { margin: 4px 0 0; padding-bottom: 12px; border-bottom: 1px solid var(--paper-rule); color: var(--ink-soft); }
.key-concept { margin: 40px 0; padding: 4px 0 4px 22px; max-width: 720px; border-left: 3px solid var(--red); font: italic 21px/1.45 var(--font-body); }
.key-concept::before { content: 'In short'; display: block; margin-bottom: 6px; font: 600 11px/1 var(--font-mono); font-style: normal; letter-spacing: 0.14em; text-transform: uppercase; color: var(--red); }
html[lang="zh"] .key-concept::before { content: '要点'; }
.key-concept strong { font-weight: 600; }
.threads { max-width: 720px; margin: 0 0 20px; font-size: 15px; color: var(--ink-soft); }
.threads-title { font: 600 11px var(--font-mono); letter-spacing: 0.14em; text-transform: uppercase; color: var(--ink-mute); }
.threads ul { margin: 6px 0 0; padding-left: 1.2em; }
.section-break { text-align: center; margin: 46px 0 20px; color: var(--ink-faint); }
.section-break::before { content: '⁂'; font-size: 22px; }
.nav-footer { display: flex; justify-content: space-between; gap: 12px; flex-wrap: wrap; border-top: 1px solid var(--paper-rule); padding-top: 16px;
    font: 500 12px var(--font-mono); letter-spacing: 0.08em; text-transform: uppercase; }
.nav-footer a { color: var(--ink-soft); text-decoration: none; }
.nav-footer a:hover { color: var(--red); }
.nav-footer a.nav-report { color: var(--ink-faint); }

/* ─── Figures and controls ─────────────────────────────────── */
main { counter-reset: fig; }
.figure { margin: 0 0 26px; counter-increment: fig; }
.figure-caption { margin-top: 10px; font: italic 14px/1.5 var(--font-body); color: var(--ink-soft); max-width: 780px; }
.figure-caption::before { content: 'Fig. ' counter(fig) '.'; margin-right: 8px; font: 600 11px var(--font-mono); font-style: normal; letter-spacing: 0.1em; text-transform: uppercase; color: var(--red); }
html[lang="zh"] .figure-caption::before { content: '图 ' counter(fig); }
.btn, .seg button, .chip { border: 1px solid var(--paper-rule); background: var(--paper); color: var(--ink-soft); font: 500 12px/1 var(--font-mono); padding: 7px 10px; border-radius: 3px; cursor: pointer; white-space: nowrap; }
.btn:hover, .seg button:hover, .chip:hover { border-color: var(--ink-mute); color: var(--ink); }
.btn.primary { background: var(--ink); color: var(--paper); border-color: var(--ink); }
.btn[disabled] { opacity: 0.45; cursor: default; }
.seg { display: inline-flex; flex-wrap: wrap; }
.seg button { border-radius: 0; margin-left: -1px; }
.seg button:first-child { border-radius: 3px 0 0 3px; margin-left: 0; }
.seg button:last-child { border-radius: 0 3px 3px 0; }
.seg button[aria-pressed="true"], .chip[aria-pressed="true"] { background: var(--ink); color: var(--paper); border-color: var(--ink); position: relative; }
input[type="range"] { accent-color: var(--red); }
input[type="checkbox"] { accent-color: var(--red); }

/* ─── The workshop ─────────────────────────────────────────── */
.ws { border: 1px solid var(--paper-rule); background: var(--fig-paper); box-shadow: var(--shadow); }
.ws-bar { display: flex; flex-wrap: wrap; gap: 8px 12px; align-items: center; padding: 8px 12px; border-bottom: 1px solid var(--paper-rule); background: var(--paper); font: 12px var(--font-mono); color: var(--ink-mute); }
.ws-bar .sp { flex: 1; }
.ws-title { font: 600 11px var(--font-mono); letter-spacing: 0.12em; text-transform: uppercase; color: var(--ink-soft); }
.chips { display: inline-flex; flex-wrap: wrap; gap: 5px; }
.ws-note { padding: 9px 14px; border-top: 1px solid var(--paper-rule); background: var(--paper); font: 14px/1.5 var(--font-body); color: var(--ink-soft); }
.ws-body { padding: 12px; }
canvas { display: block; width: 100%; }
/* dials and the numbers they give */
.ctl-grid { display: grid; gap: 7px; margin-bottom: 12px; }
.ctl { display: grid; grid-template-columns: minmax(7em, 0.9fr) minmax(0, 1.4fr) 4.6em; gap: 8px; align-items: center; font: 13px var(--font-body); color: var(--ink-soft); }
.ctl label { line-height: 1.25; }
.ctl input[type=range] { width: 100%; min-width: 0; }
.ctl .seg { grid-column: 2 / 4; }
.ctl .seg button { padding: 5px 8px; font-size: 11.5px; }
.ctl input[type=checkbox] { justify-self: start; }
.ctl:has(input[type=checkbox]) { grid-template-columns: auto 1fr; }
.ctl-v { font: 12px var(--font-mono); color: var(--ink); text-align: right; white-space: nowrap; }
dl.readouts { margin: 0; display: grid; grid-template-columns: 1fr; border-top: 1px solid var(--paper-rule); }
dl.readouts > div { display: flex; justify-content: space-between; gap: 10px; padding: 4px 0; border-bottom: 1px solid var(--paper-rule); font-size: 13.5px; }
dl.readouts dt { color: var(--ink-mute); }
dl.readouts dd { margin: 0; font: 600 12.5px var(--font-mono); color: var(--ink); text-align: right; }
/* ─── Code excerpts ─────────────────────────────────────────── */
.code-plate { margin: 18px 0 26px; max-width: 900px; border: 1px solid var(--paper-rule); }
.code-plate .code-h { display: flex; justify-content: space-between; gap: 10px; padding: 6px 12px; background: var(--paper-vellum); border-bottom: 1px solid var(--paper-rule); font: 600 11px var(--font-mono); letter-spacing: 0.08em; color: var(--ink-mute); }
.code-plate pre { margin: 0; padding: 10px 0; overflow-x: auto; font: 12.5px/1.55 var(--font-mono); counter-reset: ln var(--from, 0); }
.code-plate pre { background: var(--input); color: var(--ink); }
.code-plate pre span.ln { display: block; padding: 0 14px 0 0; white-space: pre; }
.code-plate pre span.ln::before { counter-increment: ln; content: counter(ln); display: inline-block; width: 3.4em; padding-right: 1em; text-align: right; color: var(--ink-faint); user-select: none; }
.code-plate pre span.ln.hl { background: rgba(226, 112, 106, 0.18); box-shadow: inset 3px 0 0 var(--red); }
.code-plate .code-note { padding: 8px 14px; font: 14px/1.5 var(--font-body); color: var(--ink-soft); border-top: 1px solid var(--paper-rule); background: var(--paper); }


/* ─── Tables: results, catalogues, recordings ──────────────── */
.ws-loading { padding: 30px 16px; font: italic 15px var(--font-body); color: var(--ink-mute); text-align: center; }
.tbl { width: 100%; border-collapse: collapse; font: 12.5px var(--font-mono); }
.tbl th, .tbl td { text-align: left; padding: 4px 8px; border-bottom: 1px solid var(--paper-rule); white-space: nowrap; }
.tbl th { font: 600 10.5px var(--font-mono); letter-spacing: 0.06em; color: var(--ink-mute); background: var(--paper-vellum); position: sticky; top: 0; }
.tbl th.key, .tbl td.key { font-weight: 700; }
.tbl th.key { color: var(--red); }
.tbl td.num { text-align: right; }
.tbl td .nul { font-family: var(--font-body); font-style: italic; color: var(--ink-faint); }
.tbl code { font-size: 12px; background: none; border: 0; padding: 0; }
.tbl tr.hl td { background: var(--ochre-tint); }
.tbl tr.bad td { background: var(--red-tint); }
.tbl tr.good td { background: var(--green-tint); }

/* ─── Boards and calculators: ideas rather than machines ─────── */
.bd-body { display: flex; flex-direction: column; gap: 10px; }
.bd-h { font: 600 11px var(--font-mono); letter-spacing: 0.12em; text-transform: uppercase; color: var(--ink-mute); margin-bottom: 6px; width: 100%; }
.bd-pool { display: flex; flex-wrap: wrap; gap: 6px; padding: 10px; border: 1px dashed var(--paper-rule); background: var(--paper); min-height: 54px; }
.bd-bins { display: grid; grid-template-columns: repeat(auto-fit, minmax(170px, 1fr)); gap: 8px; }
.bin { border: 1px solid var(--paper-rule); background: var(--paper); padding: 8px; min-height: 90px; display: flex; flex-direction: column; gap: 5px; cursor: pointer; }
.bin.ready { border-color: var(--blue); box-shadow: inset 0 0 0 1px var(--blue); }
.bin-h { font: 600 12px var(--font-mono); color: var(--ink); border-bottom: 1px solid var(--paper-rule); padding-bottom: 4px; margin-bottom: 2px; }
.card { text-align: left; border: 1px solid var(--paper-rule); background: var(--fig-paper); padding: 6px 9px; border-radius: 3px; cursor: pointer; font: 14px/1.35 var(--font-body); color: var(--ink); }
.card.sel { border-color: var(--blue); background: var(--blue-tint); }
.card.ok { border-color: var(--green); background: var(--green-tint); }
.card.no { border-color: var(--red); background: var(--red-tint); }
.bd-empty { margin: 0; font-style: italic; color: var(--ink-mute); }
.bd-foot { font: 600 12px var(--font-mono); color: var(--ink-soft); }
.bd-order { margin: 0; padding: 0 0 0 1.6em; }
.bd-order li { display: flex; justify-content: space-between; gap: 10px; align-items: center; padding: 6px 8px; margin: 4px 0; border: 1px solid var(--paper-rule); background: var(--paper); }
.bd-order li.ok { border-color: var(--green); }
.bd-order small { display: block; color: var(--ink-mute); font-size: 13px; }
.ord-b { display: inline-flex; gap: 4px; }
.calc-body { display: grid; grid-template-columns: minmax(240px, 1fr) minmax(0, 1.5fr); gap: 14px; }
.calc-body.one { grid-template-columns: minmax(0, 1fr); }
.calc-right { min-width: 0; border: 1px solid var(--paper-rule); align-self: start; }
.calc-right:empty { display: none; }
.sched-body { display: grid; grid-template-columns: minmax(230px, 0.8fr) minmax(0, 2fr); gap: 14px; }
.sched-right { min-width: 0; display: flex; flex-direction: column; gap: 10px; }
.sched-right canvas { border: 1px solid var(--paper-rule); display: block; width: 100%; }
.sched-table td small { color: var(--ink-mute); }
.heap-ops { margin: 10px 14px 14px; padding-left: 26px; font: 12.5px var(--font-mono); color: var(--ink); columns: 2; column-gap: 24px; }
.heap-ops li { padding: 1px 0; }
.heap-ops li.cur { color: var(--blue); font-weight: 600; }
.heap-ops li.later { color: var(--ink-faint); }
.heap-ops li.fail { color: var(--red); }
.sched-table .sw { display: inline-block; width: 10px; height: 10px; margin-right: 6px; vertical-align: 0; }
.ctl-text { width: 100%; min-width: 0; border: 1px solid var(--paper-rule); background: var(--input); color: var(--ink); font: 12px var(--font-mono); padding: 4px 6px; grid-column: 2 / 4; }
.aside-box.linux > b { color: var(--plum); }
.rec-host { font: italic 13px/1.45 var(--font-body); color: var(--ink-mute); margin: 8px 0 0; }

/* tasks: graded by measuring what the reader made */
.tasks { margin: 18px 0 8px; }
.task { border: 1px solid var(--paper-rule); background: var(--paper); margin: 10px 0; padding: 12px 16px; }
.task-head { display: flex; justify-content: space-between; align-items: baseline; gap: 12px; }
.task-head p { margin: 0; }
.task-state { font: 600 11px var(--font-mono); letter-spacing: 0.1em; text-transform: uppercase; color: var(--ink-faint); white-space: nowrap; }
.task.solved { border-color: var(--green); background: var(--green-tint); }
.task.solved .task-state { color: var(--green); }
.task .row { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; margin-top: 8px; }
.task .msg { font: 14px/1.5 var(--font-body); margin-top: 8px; color: var(--ink-soft); }
.task .msg:empty { display: none; }
.task .opts { display: grid; gap: 5px; margin-top: 8px; }
.task .opts button { text-align: left; border: 1px solid var(--paper-rule); background: var(--paper); padding: 6px 10px; border-radius: 3px; cursor: pointer; font: 14px/1.4 var(--font-body); }
.task .opts button.right { border-color: var(--green); background: var(--green-tint); }
.task .opts button.wrong { border-color: var(--red); background: var(--red-tint); }
.drill-score { font: 600 13px var(--font-mono); color: var(--ink-soft); margin: 8px 0; }

/* ─── The knowledge check ─────────────────────────────────── */
.quiz-container { margin: 46px 0 0; max-width: 780px; }
.quiz-title { font: 400 28px var(--font-display); margin: 0 0 4px; }
.quiz-sub { font: italic 15px var(--font-body); color: var(--ink-mute); margin: 0 0 16px; }
.quiz-q { border-top: 1px solid var(--paper-rule); padding: 16px 0; }
.quiz-q-text { margin: 0 0 10px; }
.quiz-q-text b { font: 600 12px var(--font-mono); color: var(--red); margin-right: 8px; }
.quiz-opts { display: grid; gap: 6px; }
.quiz-opt { text-align: left; border: 1px solid var(--paper-rule); background: var(--paper); cursor: pointer; padding: 8px 12px; border-radius: 3px; font: 15px/1.45 var(--font-body); }
.quiz-opt:hover:not([disabled]) { border-color: var(--ink-mute); }
.quiz-opt.right { border-color: var(--green); background: var(--green-tint); }
.quiz-opt.wrong { border-color: var(--red); background: var(--red-tint); }
.quiz-opt[disabled] { cursor: default; }
.quiz-expl { margin: 10px 0 0; font-size: 15px; color: var(--ink-soft); padding-left: 12px; border-left: 2px solid var(--paper-rule); }
.quiz-score { font: 600 13px var(--font-mono); margin-top: 14px; color: var(--ink-soft); }

/* ─── Projects and the journey map (Vol. XXXII) ────────────── */
.brief-h { font: 600 11px var(--font-mono); letter-spacing: 0.14em; text-transform: uppercase; color: var(--red); margin-top: 16px; }
.brief { list-style: none; margin: 10px 0; padding: 0; counter-reset: brief; }
.brief li { counter-increment: brief; display: grid; grid-template-columns: 2.2em 1fr 6.5em; gap: 10px; align-items: baseline; padding: 9px 12px; border: 1px solid var(--paper-rule); border-left: 4px solid var(--ink-faint); background: var(--paper); margin: 6px 0; font: 15px/1.45 var(--font-body); }
.brief li::before { content: counter(brief, decimal-leading-zero); font: 600 12px var(--font-mono); color: var(--red); }
.brief li em { font: 600 11px var(--font-mono); font-style: normal; letter-spacing: 0.08em; text-transform: uppercase; color: var(--ink-faint); text-align: right; }
.brief li.met { border-left-color: var(--green); background: var(--green-tint); }
.brief li.met em { color: var(--green); }
.brief-bar { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; margin-top: 10px; }
.brief-score { font: 600 13px var(--font-mono); color: var(--ink-soft); margin-right: auto; }
.journey { padding: 14px 16px; background: var(--paper); border: 1px solid var(--paper-rule); }
.jsum { display: flex; flex-wrap: wrap; gap: 6px 22px; font: 14px var(--font-body); color: var(--ink-soft); margin-bottom: 10px; }
.jsum b { font: 600 18px var(--font-mono); color: var(--ink); }
.jkey { display: flex; flex-wrap: wrap; gap: 4px 18px; font: 12px var(--font-mono); color: var(--ink-mute); margin-bottom: 12px; }
.jkey span { display: inline-flex; align-items: center; gap: 6px; }
.jrow { display: grid; grid-template-columns: 3.4em 15em 1fr; gap: 8px; align-items: center; padding: 3px 0; border-top: 1px solid var(--paper-rule); }
.jvol { font: 600 12px var(--font-mono); color: var(--red); }
.jname { font: 13px var(--font-body); color: var(--ink-soft); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.jcells { display: flex; flex-wrap: wrap; gap: 3px; }
.jc { display: inline-block; width: 13px; height: 13px; border: 1px solid var(--paper-rule); background: var(--paper-deep); }
.jc.opened { background: var(--ochre-tint); border-color: var(--ochre); }
.jc.read { background: var(--blue-tint); border-color: var(--blue); }
.jc.mastered { background: var(--green); border-color: var(--green); }
.jc.project { outline: 2px solid var(--red); outline-offset: 1px; }

/* ─── Chinese ──────────────────────────────────────────────── */
html[lang="zh"] body { font-family: var(--font-body), var(--font-zh); }
html[lang="zh"] h1.plate-title, html[lang="zh"] h2 { font-family: var(--font-display), var(--font-zh); letter-spacing: 0; }
html[lang="zh"] .info-box.lede > p:first-child::first-letter { float: none; font: inherit; color: inherit; margin: 0; }
html[lang="zh"] .prose p + p { text-indent: 2em; }

/* ─── Narrow viewports ─────────────────────────────────────── */
@media (max-width: 900px) {
    .calc-body, .sched-body { grid-template-columns: minmax(0, 1fr); }
}
@media (max-width: 760px) {
    body { font-size: 16px; }
    .topbar { padding: 10px 16px; }
    .topbar-title { display: none; }
    .main-content { padding: 22px 16px 60px; }
    .ws-body { padding: 8px; }
    .ctl { grid-template-columns: minmax(6em, 1fr) minmax(0, 1.3fr) 4.2em; }
}
@media (max-width: 620px) {
    .brief li { grid-template-columns: 2em 1fr; } .brief li em { grid-column: 2; text-align: left; }
    .jrow { grid-template-columns: 3em 1fr; } .jcells { grid-column: 1 / -1; }
}

/* Last, so no later `font` shorthand turns them back on: SQL reads <=, <> and
   != as two characters, and the font's ligatures would draw symbols. */
code, kbd, pre, .mono, .tbl, .sql-ed, .sql-out, .code-plate pre { font-variant-ligatures: none; font-feature-settings: 'liga' 0, 'calt' 0; }

/* recorded tables (rows workshop) */
.rows-wrap { overflow-x: auto; max-width: 100%; }
.rows-table { width: 100%; font-size: 12px; }
.rows-table td, .rows-table th { padding: 4px 6px; white-space: nowrap; }
.rows-table code { font-size: 11.5px; }
.rows-table tr.cur td { background: var(--blue-tint); }
.rows-table td.diff code { color: var(--red); }
.rows-table.wrap td { white-space: normal; }
.rows-table.wrap td:first-child { white-space: nowrap; }
.rows-table.wrap code { overflow-wrap: break-word; }

/* ─── SQL: the editor, the result, the error ──────────────── */
.sql-body { display: flex; flex-direction: column; gap: 10px; }
.sql-ed { width: 100%; min-height: 6.5em; resize: vertical; border: 1px solid var(--paper-rule); background: var(--input); color: var(--ink); font: 13.5px/1.5 var(--font-mono); padding: 9px 11px; tab-size: 4; }
.sql-ed:focus { border-color: var(--blue); outline: none; }
.sql-bar { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; }
.sql-bar .sql-hint { font: 12px var(--font-mono); color: var(--ink-faint); margin-left: auto; }
.sql-out { min-width: 0; }
.sql-res { max-height: 340px; overflow: auto; border: 1px solid var(--paper-rule); background: var(--paper); }
.sql-meta { font: 12px var(--font-mono); color: var(--ink-mute); margin: 4px 2px 0; }
.sql-err { border: 1px solid var(--red); background: var(--red-tint); color: var(--red); font: 12.5px/1.5 var(--font-mono); padding: 8px 11px; white-space: pre-wrap; }
.sql-ok { font: 12.5px var(--font-mono); color: var(--green); padding: 4px 2px; }
.sql-tabs { display: flex; flex-wrap: wrap; gap: 5px; }
.sql-schema { font: 12px/1.6 var(--font-mono); color: var(--ink-soft); }
.sql-schema b { color: var(--ink); }
.sql-schema .key { color: var(--red); font-weight: 700; }
.sql-plan { margin: 0; padding: 8px 10px; background: var(--paper); border: 1px solid var(--paper-rule); font: 12.5px/1.6 var(--font-mono); white-space: pre; overflow-x: auto; }

/* ─── Reports: recorded output explained part by part ─────── */
.rep-right { min-width: 0; border: 1px solid var(--paper-rule); background: var(--paper); max-height: 520px; overflow: auto; align-self: start; position: relative; }
.rep-text { margin: 0; padding: 8px 0; font: 12px/1.55 var(--font-mono); white-space: pre; }
.rep-line { display: block; padding: 0 10px 0 0; }
.rep-line.on { background: var(--blue-tint); color: var(--ink); }
.rep-n { display: inline-block; width: 30px; padding-right: 8px; text-align: right; color: var(--ink-faint); user-select: none; }
.rep-note { margin: 10px 0 0; font-size: 14px; line-height: 1.55; }
.ev-key { margin: 0; padding: 6px 10px 8px; font: 12px/1.5 var(--font-body); color: var(--ink-mute); }
.sql-read dl.readouts { grid-template-columns: repeat(auto-fit, minmax(230px, 1fr)); column-gap: 18px; }
.ra-sql summary { cursor: pointer; font: 12px var(--font-mono); color: var(--ink-mute); }
.ra-sql pre { white-space: pre-wrap; word-break: break-word; margin-top: 6px; }

/* ─── ER diagrams: Chen notation, and the tables they map to ─── */
.er-right { display: flex; flex-direction: column; gap: 10px; min-width: 0; }
.er-fig { border: 1px solid var(--paper-rule); background: var(--paper); }
.er-fig svg { display: block; width: 100%; height: auto; }
.er-l { stroke: var(--ink-mute); stroke-width: 0.3; }
.er-l.tot { stroke: var(--ink); stroke-width: 0.75; }
.er-e { fill: var(--paper-deep); stroke: var(--ink); stroke-width: 0.35; }
.er-e.in, .er-r.in { fill: none; }
.er-r { fill: var(--blue-tint); stroke: var(--blue); stroke-width: 0.35; }
.er-et { font: 600 2.6px var(--font-body); fill: var(--ink); text-anchor: middle; }
.er-rt { font: italic 2.2px var(--font-body); fill: var(--blue); text-anchor: middle; }
.er-at { font: 1.9px var(--font-mono); fill: var(--ink-mute); text-anchor: middle; paint-order: stroke; stroke: var(--paper); stroke-width: 0.7px; }
.er-at .k { text-decoration: underline; fill: var(--red); }
.er-c { font: 700 2.6px var(--font-mono); fill: var(--red); text-anchor: middle; paint-order: stroke; stroke: var(--paper); stroke-width: 0.7px; }
.er-ddl { margin: 0; padding: 8px 10px; background: var(--paper); border: 1px solid var(--paper-rule); font: 12px/1.55 var(--font-mono); white-space: pre; overflow-x: auto; max-height: 300px; }

/* ─── Functional dependencies: closures, keys, normal forms ── */
.fd-right { display: flex; flex-direction: column; gap: 0; min-width: 0; border: 1px solid var(--paper-rule); background: var(--paper); padding: 6px 12px 10px; }
.fd-rel { font: 13px var(--font-mono); padding: 6px 0 8px; border-bottom: 1px solid var(--paper-rule); }
.fd-row { display: grid; grid-template-columns: 150px 1fr; gap: 10px; padding: 7px 0; border-bottom: 1px dotted var(--paper-rule); align-items: baseline; }
.fd-row:last-child { border-bottom: 0; }
.fd-k { font-size: 13.5px; color: var(--ink-mute); }
.fd-v { font-size: 14px; line-height: 1.7; min-width: 0; overflow-wrap: anywhere; }
.fd-v code { margin-right: 4px; }
.fd-nf { font: 700 14px var(--font-mono); color: var(--blue); }
.fd-yes { color: var(--green); } .fd-no { color: var(--red); }
.fd-note, .fd-none { color: var(--ink-faint); font-size: 12.5px; }
.fd-data { margin: 10px 0 2px; }
.fd-data tr.bad td { background: var(--red-tint); color: var(--red); }
@media (max-width: 640px) { .fd-row { grid-template-columns: 1fr; gap: 2px; } }
.ctl:has(.ctl-text) { grid-template-columns: 1fr; gap: 4px; }
.ctl:has(.ctl-text) .ctl-text { grid-column: 1; font-size: 12.5px; padding: 6px 8px; }
.calc-body.rows-stack { display: flex; flex-direction: column; gap: 12px; }
.rows-stack .calc-left, .rows-stack .calc-right { width: auto; min-width: 0; }

/* ─── Python against the database ─────────────────────────── */
.py-ed { min-height: 9em; }
.py-out { min-width: 0; }
.py-h { font: 600 12px var(--font-mono); color: var(--ink-mute); text-transform: uppercase; letter-spacing: 0.06em; margin: 2px 0 4px; }
.py-print { margin: 0; padding: 8px 11px; background: var(--paper); border: 1px solid var(--paper-rule); font: 12.5px/1.55 var(--font-mono); white-space: pre-wrap; max-height: 320px; overflow: auto; }
.py-none { margin: 0; padding: 8px 2px; color: var(--ink-faint); font-size: 13px; }
.py-log { margin-top: 8px; }
.py-log summary { cursor: pointer; font: 12px var(--font-mono); color: var(--ink-mute); }
.py-log ol { margin: 6px 0 0; padding-left: 26px; font-size: 12px; max-height: 220px; overflow: auto; }
.py-log li code { white-space: pre-wrap; word-break: break-word; }

/* ─── The SQLite file, decoded ─────────────────────────────── */
.sf-out { min-width: 0; display: flex; flex-direction: column; gap: 6px; }
.sf-h { font: 600 12.5px var(--font-mono); color: var(--ink-soft); margin: 8px 0 2px; }
.sf-hdr td:first-child { color: var(--ink-mute); width: 40%; }
.sf-map { display: flex; flex-wrap: wrap; gap: 3px; }
.sf-pg { width: 34px; height: 26px; padding: 0; border: 1px solid var(--paper-rule); font: 10.5px var(--font-mono); color: var(--ink); cursor: pointer; background: var(--paper); }
.sf-pg.on { outline: 2px solid var(--ink); outline-offset: 1px; }
.t-table-leaf { background: var(--blue-tint); border-color: var(--blue); }
.t-table-interior { background: var(--blue); color: var(--paper); border-color: var(--blue); }
.t-index-leaf { background: var(--teal-tint); border-color: var(--teal); }
.t-index-interior { background: var(--teal); color: var(--paper); border-color: var(--teal); }
.t-overflow { background: var(--red-tint); border-color: var(--red); }
.t-freelist-leaf, .t-freelist-trunk { background: var(--paper-deep); border-style: dashed; color: var(--ink-faint); }
.t-lock-byte, .t-unknown { background: var(--paper); color: var(--ink-faint); }
.sf-key { display: flex; flex-wrap: wrap; gap: 4px 14px; font-size: 12px; color: var(--ink-mute); }
.sf-sw { display: inline-block; width: 12px; height: 12px; margin-right: 5px; vertical-align: -1px; border: 1px solid var(--paper-rule); }
.sf-bar { display: flex; height: 22px; border: 1px solid var(--paper-rule); background: var(--paper); }
.sf-bar span { display: block; height: 100%; }
.b-h { background: var(--ink-soft); } .b-p { background: var(--ochre, #b3791f); } .b-f { background: var(--paper); } .b-c { background: var(--blue-tint); }
.sf-sw.b-f { background: var(--paper); }
.sf-note { margin: 2px 0; font-size: 13.5px; }
.sf-cells { max-height: 300px; overflow: auto; border: 1px solid var(--paper-rule); }
.sf-link { border: 0; background: none; color: var(--blue); text-decoration: underline; cursor: pointer; font: inherit; padding: 0; }
.sf-ctl .ctl-grid { grid-template-columns: repeat(auto-fit, minmax(180px, 1fr)); }

/* ─── CurioDB pages and heap files ─────────────────────────── */
.hp-right { padding: 10px; display: flex; flex-direction: column; gap: 8px; }
.hp-strip { position: relative; height: 54px; border: 1px solid var(--ink-soft); background: var(--paper); }
.hp-strip span { position: absolute; top: 0; bottom: 0; display: flex; align-items: center; justify-content: center; font: 10px var(--font-mono); color: var(--ink); overflow: hidden; border-right: 1px solid var(--paper); box-sizing: border-box; }
.hp-hdr { background: var(--ink-soft); }
.hp-slot { background: var(--ochre); }
.hp-slot.hp-dead { background: var(--ochre-tint); }
.hp-free { background: var(--paper); }
.hp-rec { background: var(--blue-tint); }
.hp-dead { background: repeating-linear-gradient(45deg, var(--red-tint), var(--red-tint) 3px, var(--paper) 3px, var(--paper) 6px); }
.sf-sw.hp-hdr { background: var(--ink-soft); } .sf-sw.hp-slot { background: var(--ochre); } .sf-sw.hp-rec { background: var(--blue-tint); }
.hp-axis { display: flex; justify-content: space-between; font: 10.5px var(--font-mono); color: var(--ink-faint); }
.hp-slots { max-width: 320px; }
.hp-slots tr.dead td { color: var(--ink-faint); }
.hp-btns { display: flex; flex-wrap: wrap; gap: 6px; margin: 4px 0 12px; }
.hp-pages { display: flex; flex-wrap: wrap; gap: 3px; align-items: flex-end; }
.hp-pg { width: 14px; height: 46px; border: 1px solid var(--paper-rule); background: var(--paper); display: flex; flex-direction: column-reverse; }
.hp-pg i { display: block; width: 100%; }

/* ------------------------------------------------------------ the buffer pool (ws-pool.js) */
.bp-right { padding: 10px; display: flex; flex-direction: column; gap: 8px; }
.bp-h { font: 600 12px var(--font-mono); color: var(--ink-soft); margin-top: 4px; }
.bp-str { display: flex; flex-wrap: wrap; gap: 3px; }
.bp-ref { min-width: 24px; padding: 3px 4px; text-align: center; font: 12px var(--font-mono); border: 1px solid var(--paper-rule); background: var(--paper); color: var(--ink-faint); }
.bp-ref.hit { background: var(--green-tint); color: var(--ink); border-color: var(--green); }
.bp-ref.miss { background: var(--red-tint); color: var(--ink); border-color: var(--red); }
.bp-ref.cur { outline: 2px solid var(--ink); outline-offset: 1px; }
.sf-sw.bp-hit { background: var(--green-tint); border: 1px solid var(--green); } .sf-sw.bp-miss { background: var(--red-tint); border: 1px solid var(--red); }
.sf-sw.bp-pin { background: var(--blue-tint); border: 1px solid var(--blue); } .sf-sw.bp-dirty { background: var(--ochre-tint); border: 1px solid var(--ochre); }
.bp-frames { display: flex; flex-wrap: wrap; gap: 8px; }
.bp-frame { width: 92px; min-height: 72px; border: 1px solid var(--ink-soft); background: var(--paper); display: flex; flex-direction: column; align-items: center; justify-content: center; gap: 2px; padding: 4px; }
.bp-frame b { font: 600 22px var(--font-mono); color: var(--ink); }
.bp-frame.hit { background: var(--green-tint); border-color: var(--green); }
.bp-frame.miss { background: var(--red-tint); border-color: var(--red); }
.bp-frame.pinned { background: var(--blue-tint); border-color: var(--blue); }
.bp-frame.dirty { box-shadow: inset 0 -6px 0 var(--ochre); }
.bp-fno { font: 10.5px var(--font-mono); color: var(--ink-faint); }
.bp-ev { font: 10.5px var(--font-mono); color: var(--ink-soft); text-align: center; }
.bp-table { max-width: 220px; }
.bp-table tr.on td { background: var(--blue-tint); }
.bp-log { margin: 0; padding-left: 22px; font-size: 14px; }
.bp-log li { margin: 2px 0; }
.bp-log .bp-refused { color: var(--red); }
.bp-bars { display: flex; flex-direction: column; gap: 8px; }
.bp-bar { display: grid; grid-template-columns: minmax(90px, 160px) 1fr 58px; align-items: center; gap: 10px; }
.bp-bl { font-size: 14px; }
.bp-bt { height: 18px; background: var(--paper-deep); border: 1px solid var(--paper-rule); }
.bp-bt i { display: block; height: 100%; background: var(--blue); }
.bp-bar.opt .bp-bt i { background: repeating-linear-gradient(45deg, var(--ink-faint), var(--ink-faint) 4px, var(--paper-deep) 4px, var(--paper-deep) 8px); }
.bp-bar.best .bp-bl { font-weight: 600; }
.bp-bv { font: 12px var(--font-mono); text-align: right; }

/* ------------------------------------------------------------ B+trees (ws-btree.js) */
.bt-right { padding: 10px; display: flex; flex-direction: column; gap: 8px; overflow-x: auto; }
.bt-svg { width: 100%; height: auto; display: block; }
.bt-node { fill: var(--paper); stroke: var(--ink-soft); stroke-width: 1; }
.bt-node.leaf { fill: var(--paper-deep); }
.bt-node.on { fill: var(--blue-tint); stroke: var(--blue); stroke-width: 2; }
.bt-node.read { fill: var(--green-tint); stroke: var(--green); stroke-width: 2; }
.bt-sep { stroke: var(--paper-rule); stroke-width: 1; }
.bt-key { font: 12px var(--font-mono); fill: var(--ink); text-anchor: middle; }
.bt-key.hot { fill: var(--red); font-weight: 700; }
.bt-edge { stroke: var(--ink-faint); stroke-width: 1; }
.bt-edge.on { stroke: var(--blue); stroke-width: 2; }
.bt-next { stroke: var(--ochre); stroke-width: 1.2; stroke-dasharray: 3 2; }
.sf-sw.bt-sw-on { background: var(--blue-tint); border: 1px solid var(--blue); } .sf-sw.bt-sw-read { background: var(--green-tint); border: 1px solid var(--green); }
.sf-sw.bt-sw-leaf { background: var(--paper-deep); border: 1px solid var(--ink-soft); }
.bt-left { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 4px 24px; align-items: start; }
.bt-left > .ctl-grid, .bt-left > .hp-btns, .bt-left > .sf-note { grid-column: 1 / -1; }
@media (max-width: 720px) { .bt-left { grid-template-columns: minmax(0, 1fr); } }

/* ------------------------------------------------------------ hash and bitmap indexes (ws-hash.js) */
.hx-rows { display: flex; flex-direction: column; gap: 4px; overflow-x: auto; }
.hx-row { display: flex; align-items: center; gap: 4px; padding: 2px 4px; }
.hx-row.on { background: var(--blue-tint); }
.hx-b { width: 28px; font: 11px var(--font-mono); color: var(--ink-faint); text-align: right; flex: none; }
.hx-page { display: inline-flex; border: 1px solid var(--ink-soft); background: var(--paper-deep); flex: none; }
.hx-page.ovf { border-color: var(--ochre); background: var(--ochre-tint); }
.hx-page i, .hx-bk i { font: 11px var(--font-mono); font-style: normal; min-width: 30px; padding: 2px 3px; text-align: center; border-right: 1px solid var(--paper-rule); }
.hx-page i.empty, .hx-bk i.empty { color: var(--ink-faint); }
.hx-page i.hot, .hx-bk i.hot { color: var(--red); font-weight: 700; }
.hx-arrow { color: var(--ochre); font-size: 12px; }
.sf-sw.hx-sw { background: var(--paper-deep); border: 1px solid var(--ink-soft); } .sf-sw.hx-sw.ovf { background: var(--ochre-tint); border-color: var(--ochre); }
.hx-ext { display: grid; grid-template-columns: minmax(120px, auto) 1fr; gap: 14px; }
.hx-slot { font: 12px var(--font-mono); padding: 2px 6px; border-bottom: 1px solid var(--paper-rule); }
.hx-slot.on, .hx-bk.on { background: var(--blue-tint); }
.hx-bk { display: flex; flex-wrap: wrap; align-items: center; gap: 2px; padding: 3px 6px; border-bottom: 1px solid var(--paper-rule); font-size: 13px; }
.hx-bk i { display: inline-block; border: 1px solid var(--paper-rule); background: var(--paper-deep); }
.hx-ld { font: 11px var(--font-mono); color: var(--ink-faint); margin-right: 6px; }
.bm-row { display: grid; grid-template-columns: minmax(120px, 200px) 1fr; align-items: center; gap: 10px; margin: 3px 0; }
.bm-n { font-size: 13.5px; }
.bm-bits { display: flex; flex-wrap: wrap; gap: 1px; }
.bm-bits i { width: 9px; height: 16px; display: block; }
.bm-bits i.one { background: var(--blue); } .bm-bits i.zero { background: var(--paper-deep); border: 1px solid var(--paper-rule); box-sizing: border-box; }
.bm-row.res .bm-bits i.one { background: var(--red); }
.hx-bk b { margin-right: 6px; }

/* ------------------------------------------------------------ LSM trees (ws-lsm.js) */
.kv-log { display: flex; flex-wrap: wrap; gap: 3px; }
.kv-e { font: 12px var(--font-mono); padding: 2px 6px; border: 1px solid var(--paper-rule); background: var(--paper); color: var(--ink-faint); }
.kv-e i { font-style: normal; font-size: 9.5px; color: var(--ink-faint); margin-right: 4px; }
.kv-e.live { background: var(--green-tint); border-color: var(--green); color: var(--ink); }
.kv-e.tomb { background: var(--red-tint); border-color: var(--red); color: var(--ink); }
.kv-e.hit { outline: 2px solid var(--blue); outline-offset: 1px; }
.sf-sw.kv-sw-live { background: var(--green-tint); border: 1px solid var(--green); } .sf-sw.kv-sw-old { background: var(--paper); border: 1px solid var(--paper-rule); } .sf-sw.kv-sw-tomb { background: var(--red-tint); border: 1px solid var(--red); }
.ls-row { display: grid; grid-template-columns: 84px 1fr; gap: 8px; align-items: center; margin: 4px 0; }
.ls-l { font: 12px var(--font-mono); color: var(--ink-soft); }
.ls-runs { display: flex; flex-wrap: wrap; gap: 4px; align-items: center; }
.ls-run, .ls-mem { display: inline-flex; align-items: center; justify-content: center; height: 24px; border: 1px solid var(--blue); background: var(--blue-tint); position: relative; min-width: 26px; }
.ls-run b, .ls-runs > b { font: 11px var(--font-mono); color: var(--ink); font-weight: 400; }
.ls-mem { justify-content: flex-start; border-color: var(--ochre); background: var(--paper); }
.ls-mem i { display: block; height: 100%; background: var(--ochre-tint); }
.ls-runs > b { margin-left: 6px; }
.ls-empty { color: var(--ink-faint); }

/* ------------------------------------------------------------ columns (ws-col.js) */
.co-rows { display: flex; flex-direction: column; gap: 2px; }
.co-row { display: flex; gap: 1px; height: 14px; }
.co-cell { background: var(--paper-deep); border: 1px solid var(--paper-rule); }
.co-cell.on { background: var(--blue-tint); border-color: var(--blue); }
.co-cols { display: flex; gap: 6px; height: 70px; }
.co-col { background: var(--paper-deep); border: 1px solid var(--paper-rule); display: flex; align-items: flex-end; justify-content: center; font: 10.5px var(--font-mono); color: var(--ink-faint); overflow: hidden; }
.co-col.on { background: var(--blue-tint); border-color: var(--blue); color: var(--ink); }
.co-bars > div { display: grid; grid-template-columns: 70px 1fr; gap: 8px; align-items: center; margin: 4px 0; font-size: 13px; }
.co-bars i { display: block; height: 14px; background: var(--ink-faint); }
.co-bars i.c { background: var(--blue); }
.co-vals { display: flex; flex-wrap: wrap; gap: 2px; }
.co-vals span { font: 11px var(--font-mono); padding: 1px 4px; background: var(--paper-deep); border: 1px solid var(--paper-rule); }
.co-vals span.same { background: var(--green-tint); border-color: var(--green); }

/* ------------------------------------------------------------ the executor (ws-exec.js) */
.qx-op { font: 600 13px var(--font-serif); fill: var(--ink); text-anchor: middle; }
.qx-c { font: 11px var(--font-mono); fill: var(--ink-soft); text-anchor: middle; }

/* ---- joins (ws-join.js) ---- */
.hj-cols { position: relative; display: flex; align-items: flex-end; gap: 2px; height: 220px; padding: 0 2px; border-bottom: 1px solid var(--ink); }
.hj-col { flex: 1 1 0; min-width: 2px; height: 100%; display: flex; align-items: flex-end; }
.hj-col i, .hj-key i { display: block; width: 100%; background: var(--blue); }
.hj-col i.split, .hj-key i.split { background: var(--ochre); }
.hj-col i.ovf, .hj-key i.ovf { background: var(--red); }
.hj-line { position: absolute; left: 0; right: 0; border-top: 1.5px dashed var(--red); }
.hj-key { display: flex; flex-wrap: wrap; gap: 6px 16px; margin-top: 10px; font-size: 13px; color: var(--ink-soft); }
.hj-key span { display: inline-flex; align-items: center; gap: 6px; }
.hj-key i { width: 12px; height: 12px; }
.pg-plan { font-size: 12px; line-height: 1.45; overflow-x: auto; white-space: pre; }
.pg-plan b { color: var(--red); font-weight: 600; }
.pg-sql { font-size: 13px; line-height: 1.5; white-space: pre-wrap; overflow-wrap: anywhere; }
.dp-tbl tr.on td { background: var(--blue-tint); color: var(--ink); font-weight: 600; }
.pl-note { border-left: 3px solid var(--red); padding: 8px 12px; margin: 0 0 10px; background: var(--paper-deep); color: var(--ink); font-size: 15px; line-height: 1.55; }
/* ---- transactions (ws-txn.js) ---- */
.tx-wrap { overflow-x: auto; }
.tx-time { border-collapse: collapse; font: 12px var(--font-mono); min-width: 100%; }
.tx-time th, .tx-time td { border: 1px solid var(--paper-rule); padding: 5px 7px; text-align: center; white-space: nowrap; }
.tx-time thead th { color: var(--ink-faint); font-weight: 400; }
.tx-time tbody th { color: var(--ink); text-align: left; }
.tx-time td.wait { background: var(--ochre-tint); color: var(--ink); }
.tx-time td.bad { background: var(--red-tint); color: var(--red); }
.tx-time td.good { background: var(--green-tint); color: var(--green); }
.tx-sum { margin-top: 12px; display: grid; gap: 6px; font-size: 14px; color: var(--ink-soft); }
.tx-sum b { color: var(--ink); font-weight: 600; margin-right: 6px; }
.sl-tbl tr.bad td { background: var(--red-tint); }
.tx-graph { width: 260px; max-width: 100%; height: auto; display: block; margin: 8px 0; }
.tx-node { fill: var(--paper); stroke: var(--ink); stroke-width: 1.5; }
.tx-node.aborted { stroke: var(--red); stroke-dasharray: 3 3; }
.tx-nl { font: 600 12px var(--font-mono); fill: var(--ink); text-anchor: middle; }
.tx-edge { stroke-width: 1.6; }
.tx-edge.rw { stroke: var(--red); }
.tx-edge.wr { stroke: var(--blue); }
.tx-edge.ww { stroke: var(--ochre); }
.tx-ah { fill: var(--ink-soft); }
.tx-el { font: 10px var(--font-mono); fill: var(--ink-soft); }
.tx-mat td.bad { background: var(--red-tint); color: var(--red); }
.tx-mat td.good { background: var(--green-tint); color: var(--green); }
.lk-time th[data-at] { cursor: pointer; }
.lk-time th.on { color: var(--red); text-decoration: underline; }
.lk-time td.col-on { box-shadow: inset 0 0 0 9999px var(--paper-deep); }
.lk-at, .lk-wf, .lk-mx { margin-top: 12px; font-size: 14px; color: var(--ink-soft); }
.lk-at b, .lk-wf b, .lk-mx b { color: var(--ink); font-weight: 600; margin-right: 6px; }
.lk-tab, .lk-mat { margin-top: 6px; font-size: 13px; }
.lk-tab td b { color: var(--red); font-weight: 600; }
.lk-mat td.bad { background: var(--red-tint); color: var(--red); }
.lk-mat td.good { background: var(--green-tint); color: var(--green); }
.lk-graph { width: 220px; }
.mv-tab { margin-top: 6px; font-size: 13px; }
.mv-tab tr.mv-vis td { background: var(--green-tint); }
.mv-tab tr.mv-hid td { color: var(--ink-mute); }
.tx-time th small { font-weight: 400; color: var(--ink-mute); }
.ck-ops { font-size: 13px; }
.ck-ops tr.ck-later td { color: var(--ink-faint); }
.ck-ops tr.ck-commitrow td { border-bottom: 2px solid var(--green); }
.ck-ops tr.ck-crash td { color: var(--red); font-weight: 600; text-align: center; background: var(--red-tint); }
.ck-fp { font: 12px var(--font-mono); color: var(--ink-mute); }
.ck-grid { overflow-x: auto; }
.ck-sum { font-size: 12px; }
.ck-sum td { text-align: center; padding: 3px 4px; }
.ck-sum td.ck-after { background: var(--green-tint); color: var(--green); }
.ck-sum td.bad { background: var(--red-tint); color: var(--red); font-weight: 600; }
.ck-sum th.ck-commit { color: var(--green); }
.rv-steps { margin: 6px 0 0 0; padding: 0 0 0 2.4em; font: 13px var(--font-mono); color: var(--ink); }
.rv-steps li.rv-auto { color: var(--ink-mute); }
.rv-note { color: var(--sienna); }
.rv-log { font-size: 12px; margin-top: 6px; }
.rv-log tr.rv-lost td { color: var(--ink-faint); text-decoration: line-through; }
.ds-wrap { overflow-x: auto; width: 100%; }
.ds-lanes { width: 100%; min-width: 520px; max-width: 680px; height: auto; display: block; margin: 4px 0 10px; }
.ds-lane { stroke: var(--paper-rule); stroke-width: 2; }
.ds-ln { font: 600 12px var(--font-mono); fill: var(--ink); }
.ds-tick { font: 10px var(--font-mono); fill: var(--ink-faint); text-anchor: middle; }
.ds-msg { stroke: var(--blue); stroke-width: 1; opacity: .55; }
.ds-msg.bad { stroke: var(--red); stroke-dasharray: 3 3; }
.ds-w { fill: var(--blue); }
.ds-arr { fill: var(--teal); }
.ds-r { fill: var(--paper); stroke: var(--green); stroke-width: 2; }
.ds-r.bad { stroke: var(--red); fill: var(--red-tint); }
.ds-x { font: 700 16px var(--font-mono); fill: var(--red); text-anchor: middle; }
.ds-lab { font: 10px var(--font-mono); fill: var(--ink-soft); text-anchor: middle; }
.ds-lab.bad { fill: var(--red); }
.ds-tab { font-size: 13px; margin-top: 4px; }
.ds-tab tr.bad td { background: var(--red-tint); }
.ds-tab tr.ds-merge td { background: var(--paper-deep); }
.ds-down { color: var(--red); font-size: 12px; }
.ds-q td { text-align: center; }
.pt-bars { width: 100%; min-width: 420px; max-width: 640px; height: auto; display: block; }
.pt-bar { fill: var(--blue-tint); stroke: var(--blue); stroke-width: 1; }
.pt-bar.hot { fill: var(--red-tint); stroke: var(--red); }
.pt-bar.on { stroke-width: 2.5; stroke: var(--ink); }
.pt-lab { font: 10px var(--font-mono); fill: var(--ink-soft); text-anchor: middle; }
.pt-axis { font: 11px var(--font-sans, var(--font-mono)); fill: var(--ink-mute); text-anchor: middle; }
.pt-mean { stroke: var(--ochre); stroke-width: 1.5; stroke-dasharray: 5 4; }
.pt-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(92px, 1fr)); gap: 6px; padding: 8px; }
.pt-cell { border: 1px solid var(--paper-rule); padding: 6px 8px; font-size: 12px; display: grid; gap: 2px; color: var(--ink-mute); }
.pt-cell.on { border: 2px solid var(--ink); color: var(--ink); background: var(--blue-tint); }
.pt-ix { color: var(--red); font-weight: 600; }
.tp-seq { width: 100%; min-width: 480px; max-width: 640px; height: auto; display: block; }
.h-op.w { fill: var(--blue-tint); stroke: var(--blue); }
.h-op.r { fill: var(--green-tint); stroke: var(--green); }
.rf-logs td { font-size: 13px; }
.rf-logs tr.rf-down td { color: var(--ink-faint); }
.rf-e { display: inline-block; padding: 1px 5px; margin: 1px; border: 1px solid var(--paper-rule); font: 12px var(--font-mono); }
.rf-e.c { background: var(--green-tint); border-color: var(--green); }
.rv-steps li.sg-undo { color: var(--sienna); }
.rv-steps li.sg-fail { color: var(--red); font-weight: 600; }
/* ws-other: caches and dual writes */
.cs-log { margin-top: 4px; font-size: 13px; }
.cs-log td.cs-bad { color: var(--red); font-weight: 600; }
.cs-reads { display: flex; flex-wrap: wrap; align-items: center; gap: 4px; margin: 10px 0 4px; font-size: 13px; }
.cs-reads > span:first-child { margin-right: 6px; color: var(--ink-soft); }
.cs-r { display: inline-block; min-width: 24px; padding: 2px 6px; text-align: center; font: 12px var(--font-mono); border: 1px solid var(--paper-rule); background: var(--green-tint); }
.cs-r.bad { background: var(--red-tint); border-color: var(--red); color: var(--red); }
/* ws-ops: privileges and backup plans */
.pv-log { font-size: 12.5px; table-layout: fixed; width: 100%; }
.pv-log td { vertical-align: top; overflow-wrap: anywhere; }
.pv-log td:first-child { width: 6.5em; }
.pv-log td:nth-child(2) { width: 46%; }
.pv-log td.pv-who { color: var(--ink-mute); font-family: var(--font-mono); white-space: nowrap; }
.pv-log code { white-space: pre-wrap; word-break: break-word; }
.pv-err { color: var(--red); font-family: var(--font-mono); }
.bk-tab { font-size: 13px; }
.bk-tab tr.bk-bad td { background: var(--red-tint); }
.bk-tab tr.bk-warn td { background: var(--ochre-tint); }
/* ws-cap: the capstone graders */
.lg-ctl { margin-bottom: 8px; }
.lg-ok { color: var(--green); font-weight: 600; margin: 6px 0; }