:root {
  --bg: #E6E8E3;
  --surface: #EEF0EB;
  --field: #F6F7F3;
  --ink: #18301F;
  --body: #3D4F43;
  --muted: #5F6F64;
  --rule: #A9B3AB;
  --rule-soft: #C9D0C8;
  --dark: #13221A;
  --on-dark: #E6E8E3;
  --mark: #F7D678;
  --on-mark: #18301F;
  --red: #A93A26;
  --red-soft: #F2DCD5;
  --btn: #18301F;
  --on-btn: #EEF0EB;
  --ok: #2F5E3E;
  --display: "Newsreader", Georgia, "Times New Roman", serif;
  --sans: "Instrument Sans", "Segoe UI", system-ui, -apple-system, sans-serif;
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  color-scheme: light;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #13221A;
    --surface: #182A20;
    --field: #1D3126;
    --ink: #E3E8E1;
    --body: #C3CCC4;
    --muted: #93A398;
    --rule: #3E5146;
    --rule-soft: #2C3E33;
    --dark: #0D1812;
    --on-dark: #E3E8E1;
    --mark: #D8BC63;
    --on-mark: #13221A;
    --red: #E08A73;
    --red-soft: #3A2620;
    --btn: #E3E8E1;
    --on-btn: #13221A;
    --ok: #8EC39E;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --bg: #13221A; --surface: #182A20; --field: #1D3126; --ink: #E3E8E1; --body: #C3CCC4;
  --muted: #93A398; --rule: #3E5146; --rule-soft: #2C3E33; --dark: #0D1812; --on-dark: #E3E8E1;
  --mark: #D8BC63; --on-mark: #13221A; --red: #E08A73; --red-soft: #3A2620; --btn: #E3E8E1;
  --on-btn: #13221A; --ok: #8EC39E; color-scheme: dark;
}

* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; scroll-padding-top: 64px; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--body);
  font: 400 16px/1.55 var(--sans);
  overflow-x: hidden;
}
a { color: var(--ink); text-underline-offset: 3px; text-decoration-thickness: 1px; }
a:hover { text-decoration-thickness: 2px; }
h1, h2, h3 { color: var(--ink); font-family: var(--display); font-weight: 400; letter-spacing: -0.01em; }
code, pre, .mono { font-family: var(--mono); }
code { font-size: 0.88em; overflow-wrap: anywhere; }
:focus-visible { outline: 2px solid var(--ink); outline-offset: 2px; }
[hidden] { display: none !important; }

/* Top bar */
.topbar {
  position: sticky; top: 0; z-index: 20;
  background: var(--bg);
  border-bottom: 1px solid var(--rule);
}
.topbar-in {
  max-width: 1160px; margin: 0 auto; padding: 10px 16px;
  display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 18px;
}
.brand { font: 500 20px/1.2 var(--display); color: var(--ink); text-decoration: none; }
.brand span { color: var(--muted); font-style: italic; font-size: 15px; margin-left: 6px; }
.mode { font: 500 12px/1 var(--sans); text-transform: uppercase; letter-spacing: 0.06em; color: var(--muted); }
.mode.demo { background: var(--mark); color: var(--on-mark); padding: 3px 6px; border-radius: 2px; }
.ledger {
  margin-left: auto; font: 400 12.5px/1.4 var(--mono); color: var(--muted);
  font-variant-numeric: tabular-nums; display: flex; flex-wrap: wrap; gap: 2px 14px;
}
.ledger b { color: var(--ink); font-weight: 500; }

/* Page layout */
.wrap {
  max-width: 1160px; margin: 0 auto;
  padding: 0 16px 64px;
  display: grid; grid-template-columns: 190px minmax(0, 1fr); gap: 48px;
}
.rail { position: sticky; top: 64px; align-self: start; padding-top: 44px; }
.rail ol { list-style: none; margin: 0; padding: 0; border-left: 1px solid var(--rule); }
.rail li a {
  display: grid; grid-template-columns: 26px 1fr; align-items: baseline;
  padding: 6px 0 6px 12px; margin-left: -1px; border-left: 2px solid transparent;
  color: var(--muted); text-decoration: none; font: 500 14px/1.3 var(--sans);
}
.rail li a .n { font: 400 13px var(--mono); }
.rail li a:hover { color: var(--ink); }
.rail li[data-state="done"] a { color: var(--ink); }
.rail li[data-state="done"] a .n { color: var(--ok); }
.rail li[data-state="active"] a { color: var(--ink); border-left-color: var(--ink); }
.rail .rail-note { margin: 18px 0 0; font-size: 13px; color: var(--muted); line-height: 1.45; }
main { min-width: 0; max-width: 800px; }

@media (max-width: 960px) {
  .wrap { grid-template-columns: minmax(0, 1fr); gap: 0; }
  .rail { display: none; }
  .ledger { margin-left: 0; width: 100%; }
}

/* Intro */
.intro { padding: 44px 0 28px; border-bottom: 1px solid var(--rule); }
.kicker { font: 500 12px/1.2 var(--sans); text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); margin: 0 0 14px; }
h1 { font-size: clamp(36px, 6vw, 56px); line-height: 1.04; margin: 0 0 18px; max-width: 16ch; }
.lede { font-size: 18px; line-height: 1.55; max-width: 60ch; margin: 0 0 22px; color: var(--body); }
.intro-actions { display: flex; flex-wrap: wrap; gap: 10px 14px; align-items: center; }
.facts { margin: 22px 0 0; font: 400 13px/1.5 var(--mono); color: var(--muted); max-width: 70ch; }

/* Demo banner */
.banner {
  margin: 20px 0 0; padding: 12px 14px; border-left: 3px solid var(--mark);
  background: var(--surface); font-size: 14.5px; display: flex; flex-wrap: wrap; gap: 8px 16px; align-items: center;
}
.banner p { margin: 0; flex: 1 1 280px; }

/* Steps */
.step { padding: 36px 0 34px; border-bottom: 1px solid var(--rule); }
.step-head { display: grid; grid-template-columns: 52px minmax(0, 1fr); align-items: baseline; gap: 0 4px; margin-bottom: 14px; }
.step-num { font: 400 15px var(--mono); color: var(--muted); }
.step-head h2 { font-size: clamp(26px, 3.6vw, 32px); line-height: 1.12; margin: 0; }
.step-head .sub { grid-column: 2; margin: 8px 0 0; max-width: 62ch; }
.step-body { margin-left: 56px; }
@media (max-width: 600px) {
  .step-head { grid-template-columns: 38px minmax(0, 1fr); }
  .step-body { margin-left: 0; }
  .step-head .sub { grid-column: 1 / -1; }
}
.step[data-locked="true"] .step-body > .gate { display: block; }
.gate { display: none; font-size: 14px; color: var(--muted); margin: 0 0 12px; font-style: italic; }

/* Form controls */
label, .label { display: block; font: 500 13.5px/1.3 var(--sans); color: var(--ink); margin: 0 0 6px; }
.hint { font-size: 13.5px; color: var(--muted); margin: 6px 0 0; line-height: 1.45; }
input[type="text"], input[type="password"], input[type="url"], input[type="number"], select, textarea {
  width: 100%; max-width: 100%;
  font: 400 15px/1.4 var(--sans); color: var(--ink);
  background: var(--field); border: 1px solid var(--rule); border-radius: 3px;
  padding: 9px 10px;
}
textarea { resize: vertical; }
textarea.code, input.mono { font: 400 13px/1.5 var(--mono); }
input:focus, select:focus, textarea:focus { outline: none; border-color: var(--ink); box-shadow: 0 0 0 1px var(--ink); }
.topic-input { font: 400 22px/1.3 var(--display) !important; padding: 12px 12px !important; }
.field { margin: 0 0 16px; min-width: 0; }
.grid2 { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 0 16px; }
.grid3 { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 0 16px; }
@media (max-width: 600px) { .grid2, .grid3 { grid-template-columns: minmax(0, 1fr); } }
.inline { display: flex; gap: 8px; align-items: stretch; }
.inline > input { flex: 1 1 auto; min-width: 0; }

fieldset { border: 0; padding: 0; margin: 0 0 18px; min-width: 0; }
legend { font: 500 13.5px var(--sans); color: var(--ink); padding: 0; margin: 0 0 6px; }
.seg { display: flex; flex-wrap: wrap; border: 1px solid var(--rule); border-radius: 3px; width: fit-content; max-width: 100%; }
.seg label { margin: 0; position: relative; }
.seg input { position: absolute; opacity: 0; pointer-events: none; }
.seg span { display: block; padding: 8px 14px; font: 500 14px var(--sans); color: var(--muted); cursor: pointer; border-right: 1px solid var(--rule); }
.seg label:last-child span { border-right: 0; }
.seg input:checked + span { background: var(--btn); color: var(--on-btn); }
.seg input:focus-visible + span { outline: 2px solid var(--ink); outline-offset: -3px; }
.check { display: flex; gap: 8px; align-items: flex-start; font: 400 14.5px var(--sans); color: var(--body); margin: 0; }
.check input { margin-top: 4px; accent-color: var(--ink); }

/* Buttons */
.btn {
  display: inline-flex; align-items: center; justify-content: center; gap: 6px;
  font: 600 14.5px/1.2 var(--sans); padding: 10px 16px; border-radius: 3px;
  border: 1px solid var(--btn); background: var(--btn); color: var(--on-btn);
  cursor: pointer; text-decoration: none; white-space: nowrap;
}
.btn:hover { filter: brightness(1.15); }
.btn.ghost { background: transparent; color: var(--ink); border-color: var(--ink); }
.btn.ghost:hover { background: var(--surface); filter: none; }
.btn.small { padding: 6px 10px; font-size: 13px; font-weight: 500; }
.btn.link { background: none; border: 0; color: var(--ink); padding: 4px 0; text-decoration: underline; text-underline-offset: 3px; font-weight: 500; }
.btn[disabled] { opacity: 0.45; cursor: not-allowed; filter: none; }
.actions { display: flex; flex-wrap: wrap; gap: 10px 12px; align-items: center; margin: 4px 0 0; }
.examples { display: flex; flex-wrap: wrap; gap: 6px 8px; margin: 10px 0 18px; align-items: baseline; }
.examples .label { display: inline; margin: 0 4px 0 0; color: var(--muted); font-weight: 400; }
.ex { font: 400 14px var(--sans); background: transparent; color: var(--ink); border: 1px solid var(--rule); border-radius: 3px; padding: 4px 9px; cursor: pointer; }
.ex:hover { border-color: var(--ink); }

/* Status and logs */
.status { font-size: 14px; margin: 10px 0 0; min-height: 1.4em; }
.status.err, .err-text { color: var(--red); }
.status.ok { color: var(--ok); }
.log {
  margin: 14px 0 0; padding: 10px 12px; background: var(--surface); border-left: 2px solid var(--rule);
  font: 400 12.5px/1.6 var(--mono); color: var(--muted); max-height: 180px; overflow: auto; white-space: pre-wrap; overflow-wrap: anywhere;
}
.log:empty { display: none; }
.log .e { color: var(--red); }
.log .o { color: var(--ink); }
.errbox { margin: 12px 0 0; padding: 10px 12px; border-left: 3px solid var(--red); background: var(--red-soft); color: var(--ink); font-size: 14px; }
.errbox:empty { display: none; }

.note { font-size: 14px; color: var(--body); border-left: 2px solid var(--rule); padding: 2px 0 2px 12px; margin: 16px 0; max-width: 62ch; }
.privacy { border-left-color: var(--mark); }

/* Pin */
.pin { margin: 16px 0 0; display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 4px 14px; font: 400 12.5px/1.5 var(--mono); }
.pin dt { color: var(--muted); }
.pin dd { margin: 0; color: var(--ink); overflow-wrap: anywhere; }
@media (max-width: 600px) { .pin { grid-template-columns: minmax(0, 1fr); } .pin dd { margin-bottom: 6px; } }

/* Papers */
.papers { list-style: none; margin: 14px 0 0; padding: 0; border-top: 1px solid var(--rule-soft); }
.paper { display: grid; grid-template-columns: 26px minmax(0, 1fr); gap: 2px 8px; padding: 12px 0; border-bottom: 1px solid var(--rule-soft); }
.paper input { margin-top: 5px; accent-color: var(--ink); width: 16px; height: 16px; }
.paper .t { font: 500 17px/1.3 var(--display); color: var(--ink); margin: 0; overflow-wrap: anywhere; }
.paper .m { font-size: 13px; color: var(--muted); margin: 3px 0 0; display: flex; flex-wrap: wrap; gap: 2px 12px; }
.paper .m a { color: var(--muted); overflow-wrap: anywhere; }
.paper[data-disabled="true"] .t { color: var(--muted); }
.tag { font: 500 11.5px/1 var(--sans); text-transform: uppercase; letter-spacing: 0.05em; padding: 3px 5px; border-radius: 2px; border: 1px solid var(--rule); color: var(--muted); white-space: nowrap; }
.tag.full { background: var(--mark); color: var(--on-mark); border-color: var(--mark); }
.tag.red { color: var(--red); border-color: var(--red); }
.tag.ok { color: var(--ok); border-color: var(--ok); }
.tag.solid { background: var(--btn); color: var(--on-btn); border-color: var(--btn); }
.counter { font-size: 14px; color: var(--body); margin: 12px 0 0; }

/* Progress table */
.prog { width: 100%; border-collapse: collapse; margin: 16px 0 0; font-size: 14px; }
.prog th { text-align: left; font: 500 12px var(--sans); text-transform: uppercase; letter-spacing: 0.05em; color: var(--muted); border-bottom: 1px solid var(--rule); padding: 6px 8px 6px 0; }
.prog td { border-bottom: 1px solid var(--rule-soft); padding: 9px 8px 9px 0; vertical-align: top; }
.prog td.title { font-family: var(--display); font-size: 15.5px; color: var(--ink); overflow-wrap: anywhere; }
.prog td.s { font: 400 12.5px var(--mono); white-space: nowrap; }
.prog .run { color: var(--ink); }
.prog .done { color: var(--ok); }
.prog .fail { color: var(--red); white-space: normal; }
@media (max-width: 600px) {
  .prog thead { display: none; }
  .prog tr { display: grid; grid-template-columns: 1fr 1fr; border-bottom: 1px solid var(--rule-soft); padding: 8px 0; }
  .prog td { border: 0; padding: 2px 8px 2px 0; }
  .prog td.title { grid-column: 1 / -1; }
}

/* Agreement */
.agree-summary { display: flex; flex-wrap: wrap; gap: 6px 22px; font-size: 14px; margin: 0 0 8px; }
.agree-summary b { font: 500 22px/1.1 var(--display); color: var(--ink); display: block; }
.ppr { margin: 22px 0 0; padding-top: 14px; border-top: 1px solid var(--rule); }
.ppr-h { display: flex; flex-wrap: wrap; gap: 6px 12px; align-items: baseline; }
.ppr-h h3 { font-size: 21px; line-height: 1.25; margin: 0; flex: 1 1 320px; overflow-wrap: anywhere; }
.ppr-meta { font-size: 13px; color: var(--muted); margin: 6px 0 10px; display: flex; flex-wrap: wrap; gap: 2px 14px; }
details.claim { border: 1px solid var(--rule-soft); border-radius: 3px; margin: 10px 0 0; background: var(--surface); }
details.claim[data-status="flagged"] { border-left: 3px solid var(--red); }
details.claim[data-status="accepted"], details.claim[data-status="judged"] { border-left: 3px solid var(--ok); }
details.claim > summary { cursor: pointer; padding: 10px 12px; list-style: none; display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 4px 12px; align-items: baseline; }
details.claim > summary::-webkit-details-marker { display: none; }
details.claim > summary .what { color: var(--ink); font-weight: 500; overflow-wrap: anywhere; }
details.claim > summary .what small { display: block; font-weight: 400; color: var(--muted); font-size: 13px; }
details.claim[open] > summary { border-bottom: 1px solid var(--rule-soft); }
.claim-in { padding: 10px 12px 12px; }
.ftable { display: grid; grid-template-columns: minmax(110px, 0.8fr) minmax(0, 1.2fr) minmax(0, 1.2fr) 74px; font-size: 13.5px; }
.ftable > div { padding: 6px 8px 6px 0; border-bottom: 1px solid var(--rule-soft); overflow-wrap: anywhere; min-width: 0; }
.ftable .hd { font: 500 11.5px var(--sans); text-transform: uppercase; letter-spacing: 0.05em; color: var(--muted); }
.ftable .fk { font: 400 12px/1.5 var(--mono); color: var(--muted); }
.ftable .v { color: var(--ink); font-family: var(--mono); font-size: 12.5px; }
.ftable .v.empty { color: var(--muted); }
.ftable .st { font: 500 12px var(--sans); }
.ftable .row-dis { color: var(--red) !important; }
.ftable .row-dis.v { background: var(--red-soft); padding-left: 4px; }
.st.agree { color: var(--ok); }
.st.close { color: var(--ok); }
.st.empty { color: var(--muted); }
.st.disagree { color: var(--red); }
.st.judged { color: var(--ink); }
@media (max-width: 600px) {
  .ftable { grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); }
  .ftable .hd { display: none; }
  .ftable .fk { grid-column: 1 / 2; border-bottom: 0; padding-top: 10px; }
  .ftable .st { grid-column: 2 / 3; text-align: right; border-bottom: 0; padding-top: 10px; }
  .ftable .v { border-bottom: 1px solid var(--rule-soft); }
  .ftable .v::before { content: attr(data-r) " "; color: var(--muted); font-family: var(--sans); font-size: 11px; }
}
.quotes { margin: 12px 0 0; display: grid; gap: 10px; }
.q { font-size: 14.5px; line-height: 1.55; }
.q .who { font: 500 12px var(--sans); color: var(--muted); display: block; margin-bottom: 2px; }
.q blockquote { margin: 0; font-family: var(--display); font-size: 16px; color: var(--ink); overflow-wrap: anywhere; }
.mark { background: var(--mark); color: var(--on-mark); box-decoration-break: clone; -webkit-box-decoration-break: clone; padding: 0 2px; }
.q.missing blockquote { text-decoration: underline wavy var(--red); text-decoration-thickness: 1px; text-underline-offset: 4px; }
.q .vs { font: 500 12px var(--sans); margin-left: 6px; }
.q .vs.ok { color: var(--ok); }
.q .vs.bad { color: var(--red); }
.judge-note { margin: 12px 0 0; padding: 8px 10px; border-left: 2px solid var(--ink); background: var(--field); font-size: 14px; }
.judge-note .who { font: 500 12px var(--sans); color: var(--muted); display: block; }
.solo { margin: 10px 0 0; padding: 10px 12px; border: 1px dashed var(--red); font-size: 14px; border-radius: 3px; }
.solo .what { color: var(--ink); font-weight: 500; }

/* JSON / code */
pre.json, pre.cmd {
  margin: 10px 0 0; padding: 12px; background: var(--dark); color: var(--on-dark);
  font: 400 12.5px/1.55 var(--mono); border-radius: 3px; overflow: auto; max-height: 360px; max-width: 100%;
  white-space: pre;
}
pre.cmd { white-space: pre-wrap; overflow-wrap: anywhere; max-height: none; }
.cmdwrap { position: relative; }
.cmdwrap .copy { position: absolute; top: 8px; right: 8px; }
.copy { font: 500 12px var(--sans); background: var(--on-dark); color: var(--dark); border: 0; border-radius: 2px; padding: 4px 8px; cursor: pointer; }
.cmdwrap pre.cmd { padding-right: 64px; }
details.raw { margin: 12px 0 0; }
details.raw summary { cursor: pointer; font: 500 13.5px var(--sans); color: var(--ink); }

/* Bundle */
.bundle-box { margin: 14px 0 0; padding: 14px; background: var(--surface); border: 1px solid var(--rule-soft); border-radius: 3px; }
.kv { display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 4px 14px; font-size: 14px; margin: 0; }
.kv dt { color: var(--muted); }
.kv dd { margin: 0; color: var(--ink); overflow-wrap: anywhere; }
.kv dd.mono { font-size: 12.5px; }
@media (max-width: 600px) { .kv { grid-template-columns: minmax(0, 1fr); } .kv dd { margin-bottom: 6px; } }
.cid-out { margin: 12px 0 0; padding: 10px 12px; border-left: 3px solid var(--mark); background: var(--field); font-size: 14px; }
.cid-out code { color: var(--ink); }
.contribs { list-style: none; margin: 10px 0 0; padding: 0; }
.contribs li { padding: 8px 0; border-bottom: 1px solid var(--rule-soft); font-size: 14px; display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 2px 10px; }
.contribs code { color: var(--ink); }
.contribs .m { color: var(--muted); font-size: 13px; }
h3.minor { font: 600 15px var(--sans); color: var(--ink); margin: 26px 0 6px; letter-spacing: 0; }

/* Browse and footer */
.browse { padding: 36px 0 30px; border-bottom: 1px solid var(--rule); }
.browse h2 { font-size: clamp(24px, 3.4vw, 30px); margin: 0 0 10px; }
.cidline { font: 400 13px/1.5 var(--mono); color: var(--ink); background: var(--mark); color: var(--on-mark); padding: 2px 4px; overflow-wrap: anywhere; }
footer.foot { padding: 26px 0 0; font-size: 13.5px; color: var(--muted); }
footer.foot p { margin: 0 0 8px; max-width: 70ch; }

.visually-hidden { position: absolute !important; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.spin::after { content: ""; display: inline-block; width: 0.7em; height: 0.7em; margin-left: 6px; border: 1.5px solid currentColor; border-right-color: transparent; border-radius: 50%; animation: sp 0.8s linear infinite; vertical-align: -1px; }
@keyframes sp { to { transform: rotate(360deg); } }
@media (prefers-reduced-motion: reduce) { .spin::after { animation: none; } html { scroll-behavior: auto; } }