:root {
  --bg: #0d1117; --panel: #141a22; --panel2: #19202a; --line: #262f3c;
  --ink: #e6edf3; --muted: #98a3b3; --dim: #6d7889;
  --accent: #5ec8a4; --accent2: #e0a35c; --bad: #e5807d; --good: #6fc98f;
  --warn: #d8b24a; --shadow: 0 1px 2px rgba(0,0,0,.35);
  --radius: 10px; --maxw: 940px;
}
:root[data-theme="light"] {
  --bg: #f7f8fa; --panel: #ffffff; --panel2: #f1f4f8; --line: #dde3ec;
  --ink: #1a2029; --muted: #5a6675; --dim: #7e8896;
  --accent: #147a5c; --accent2: #9a6314; --bad: #b4302c; --good: #1f7a45;
  --warn: #8a6a10; --shadow: 0 1px 2px rgba(16,24,40,.08);
}
* { box-sizing: border-box; }
html, body { margin: 0; padding: 0; }
body {
  background: var(--bg); color: var(--ink);
  font: 16px/1.6 ui-sans-serif, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  -webkit-font-smoothing: antialiased;
}
a { color: var(--accent); }
a:hover { text-decoration: underline; }
h1, h2, h3, h4 { line-height: 1.25; margin: 0 0 .5rem; }
h1 { font-size: 1.85rem; letter-spacing: -.02em; }
h2 { font-size: 1.3rem; }
h3 { font-size: 1.05rem; }
h4 { font-size: .92rem; }
p { margin: 0 0 .75rem; }
.hidden { display: none !important; }
.muted { color: var(--muted); }
.small { font-size: .86rem; }
.none { color: var(--dim); font-style: italic; margin: .25rem 0; }

.topbar {
  display: flex; align-items: center; justify-content: space-between; gap: 1rem;
  padding: .7rem 1rem; border-bottom: 1px solid var(--line); background: var(--panel);
  position: sticky; top: 0; z-index: 20;
}
.brand { display: flex; align-items: center; gap: .5rem; min-width: 0; }
.brand .sep { color: var(--dim); }
.backlink { text-decoration: none; color: var(--muted); white-space: nowrap; }
.topactions { display: flex; align-items: center; gap: .5rem; flex-wrap: wrap; }
.credits { color: var(--muted); font-size: .85rem; white-space: nowrap; }
.topup { font-size: .85rem; }

button { font: inherit; cursor: pointer; border-radius: 8px; border: 1px solid var(--line); }
button:disabled { opacity: .5; cursor: not-allowed; }
.ghost { background: transparent; color: var(--ink); padding: .35rem .7rem; }
.ghost:hover:enabled { background: var(--panel2); }
.ghost.small { font-size: .82rem; padding: .25rem .55rem; }
.primary {
  background: var(--accent); color: #07130f; border-color: transparent;
  padding: .6rem 1.1rem; font-weight: 600;
}
:root[data-theme="light"] .primary { color: #fff; }
.primary:hover:enabled { filter: brightness(1.08); }
.big { padding: .55rem .9rem; background: var(--panel2); color: var(--ink); }

main { max-width: var(--maxw); margin: 0 auto; padding: 1.25rem 1rem 3rem; }
.hero { padding: 1rem 0 1.5rem; }
.lede { color: var(--muted); max-width: 62ch; }
.herobtns { display: flex; gap: .5rem; flex-wrap: wrap; margin: 1rem 0 .5rem; }

.card {
  background: var(--panel); border: 1px solid var(--line); border-radius: var(--radius);
  padding: 1.1rem; margin: 0 0 1.1rem; box-shadow: var(--shadow);
}
.lbl { display: block; font-weight: 600; margin-bottom: .25rem; }
.lbl.small { font-weight: 500; font-size: .86rem; }
.hint { color: var(--muted); font-size: .88rem; margin-bottom: .5rem; }
textarea, input[type="search"], select {
  width: 100%; background: var(--bg); color: var(--ink);
  border: 1px solid var(--line); border-radius: 8px; padding: .6rem .7rem;
  font: inherit; resize: vertical;
}
textarea:focus, input:focus, select:focus { outline: 2px solid var(--accent); outline-offset: 1px; }
select { width: auto; min-width: 15rem; }
.more { margin: .75rem 0; }
.more summary { cursor: pointer; color: var(--muted); font-size: .9rem; }
.more > *:not(summary) { margin-top: .5rem; }

.runline { display: flex; align-items: center; gap: .75rem; flex-wrap: wrap; margin-top: .9rem; }
.meter { color: var(--muted); font-size: .86rem; }
.notice { border-left: 3px solid var(--accent2); padding: .5rem .75rem; margin: .75rem 0;
  background: var(--panel2); border-radius: 0 8px 8px 0; font-size: .9rem; }
.notice.warn { border-left-color: var(--warn); }
.gate { border-left: 3px solid var(--bad); padding: .5rem .75rem; margin: .75rem 0;
  background: var(--panel2); border-radius: 0 8px 8px 0; font-size: .9rem; }
.gate a { margin-left: .5rem; }

/* ---- Free pass ---------------------------------------------------------- */
.free { border: 1px solid var(--line); border-radius: var(--radius);
  background: var(--panel2); padding: .9rem; margin: 1rem 0; }
.freehead h2 { font-size: 1.05rem; display: flex; align-items: center; gap: .5rem; flex-wrap: wrap; }
.freetag { font-size: .7rem; font-weight: 600; letter-spacing: .04em; text-transform: uppercase;
  color: var(--accent); border: 1px solid var(--accent); border-radius: 999px; padding: .1rem .5rem; }
.classbox { border: 1px solid var(--line); border-radius: 8px; padding: .7rem; margin: .75rem 0;
  background: var(--panel); }
.clshead { display: flex; align-items: center; gap: .5rem; flex-wrap: wrap; }
.clslabel { font-weight: 700; }
.clsgist { color: var(--muted); font-size: .9rem; margin: .4rem 0 .3rem; }
.slotpreview { margin-top: .5rem; }
.slotpreview summary { cursor: pointer; color: var(--muted); font-size: .85rem; }
.slotpreview ol { margin: .5rem 0 0 1.1rem; color: var(--muted); font-size: .88rem; }
.overrideline { display: flex; align-items: center; gap: .5rem; flex-wrap: wrap; margin: .5rem 0 .75rem; }
.freebody { display: grid; gap: .75rem; }
.fgroup h4 { display: flex; align-items: center; gap: .5rem; margin-bottom: .3rem; }
.count { color: var(--dim); font-size: .78rem; font-weight: 500; }
ul.findings { list-style: none; margin: 0; padding: 0; display: grid; gap: .35rem; }
ul.findings li { background: var(--panel); border: 1px solid var(--line); border-radius: 8px;
  padding: .45rem .6rem; font-size: .89rem; }
.trig { display: inline-block; font-size: .72rem; font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  color: var(--accent2); border: 1px solid var(--line); border-radius: 4px;
  padding: 0 .3rem; margin-right: .45rem; vertical-align: 1px; }
.ftext { color: var(--ink); }
.why { display: block; color: var(--dim); font-size: .78rem; margin-top: .2rem; }
.chips { display: flex; gap: .35rem; flex-wrap: wrap; align-items: center; margin-top: .35rem; }
.chiplabel { font-size: .72rem; color: var(--dim); text-transform: uppercase; letter-spacing: .05em; }
.chip { font-size: .78rem; background: var(--panel); border: 1px solid var(--line);
  border-radius: 999px; padding: .1rem .55rem; color: var(--muted); }
.chip-time { border-color: var(--accent2); color: var(--accent2); }
.chip-qty { border-color: var(--accent); color: var(--accent); }
.specbox { border-top: 1px dashed var(--line); margin-top: .75rem; padding-top: .75rem; }
.spechead { display: flex; align-items: center; gap: .6rem; flex-wrap: wrap; margin-bottom: .4rem; }
ul.plain { margin: .3rem 0 0 1.1rem; padding: 0; }
ul.plain li { margin-bottom: .3rem; }
ul.missing li { font-size: .88rem; color: var(--muted); }
.warnline { color: var(--warn); font-size: .86rem; margin-top: .4rem; }
.freebtns { display: flex; gap: .5rem; flex-wrap: wrap; margin-top: .75rem; }

/* ---- Guards ------------------------------------------------------------- */
.crisis { border: 2px solid var(--bad); border-radius: 8px; padding: .9rem;
  background: var(--panel); margin-bottom: .75rem; }
.crisis h3 { color: var(--bad); }
.crisislist li { margin-bottom: .35rem; }
.domainwarn, .boundary { border: 1px solid var(--warn); border-radius: 8px; padding: .8rem;
  background: var(--panel); margin-bottom: .75rem; }
.boundary-card + .boundary-card { margin-top: .7rem; border-top: 1px dashed var(--line); padding-top: .7rem; }
.boundary-card p { font-size: .9rem; margin-bottom: .4rem; }
.boundary-card .cta { color: var(--warn); font-weight: 600; margin-bottom: 0; }

/* ---- Progress ----------------------------------------------------------- */
.progress .prow { display: flex; justify-content: space-between; align-items: baseline; gap: 1rem; }
.elapsed { color: var(--dim); font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: .85rem; }
ol.steps { list-style: none; margin: .75rem 0 0; padding: 0; display: grid; gap: .3rem; }
.step { display: flex; align-items: center; gap: .55rem; color: var(--dim); font-size: .9rem; }
.step.now { color: var(--ink); }
.step.done { color: var(--muted); }
.stepdot { display: inline-flex; align-items: center; justify-content: center;
  width: 1.35rem; height: 1.35rem; border-radius: 999px; border: 1px solid var(--line);
  font-size: .72rem; flex: 0 0 auto; }
.step.done .stepdot { border-color: var(--accent); color: var(--accent); }
.step.now .stepdot { border-color: var(--ink); }

/* ---- Result ------------------------------------------------------------- */
.reshead { display: flex; justify-content: space-between; align-items: flex-start; gap: 1rem; flex-wrap: wrap; }
.badges { display: flex; gap: .35rem; flex-wrap: wrap; }
.badge { font-size: .74rem; border-radius: 999px; padding: .12rem .55rem;
  border: 1px solid var(--line); color: var(--muted); white-space: nowrap; }
.badge.type { border-color: var(--accent); color: var(--accent); font-weight: 600; }
.badge.reframe { border-color: var(--accent2); color: var(--accent2); font-weight: 600; }
.badge.warn { border-color: var(--warn); color: var(--warn); }
.conf-high { color: var(--good); border-color: var(--good); }
.conf-low { color: var(--warn); border-color: var(--warn); }
.band-workable { color: var(--good); border-color: var(--good); }
.band-thin { color: var(--warn); border-color: var(--warn); }
.band-too-vague { color: var(--bad); border-color: var(--bad); }
.restated { font-size: 1.05rem; border-left: 3px solid var(--accent); padding-left: .75rem;
  color: var(--ink); margin: .5rem 0 .75rem; }
.typewhy { margin-bottom: .5rem; }
.block { border-top: 1px solid var(--line); padding-top: .9rem; margin-top: 1rem; }
.block.highlight { border: 1px solid var(--accent); border-radius: 8px; padding: .9rem;
  background: var(--panel2); }
.blockbtns { display: flex; gap: .5rem; flex-wrap: wrap; margin-top: .7rem; }
.kv { display: flex; gap: .5rem; font-size: .9rem; margin: .25rem 0; align-items: baseline; }
.kv .k { color: var(--dim); flex: 0 0 auto; min-width: 8.5rem; font-size: .8rem;
  text-transform: uppercase; letter-spacing: .03em; }
.kv .v { color: var(--ink); }
.kv.good .k { color: var(--good); }
.kv.bad .k { color: var(--bad); }
.kv.fail .k { color: var(--warn); }
.kv.revisit .k { color: var(--accent2); }
.tag { font-size: .7rem; border: 1px solid var(--line); border-radius: 4px;
  padding: 0 .35rem; color: var(--muted); white-space: nowrap; }
.tag-hard { border-color: var(--bad); color: var(--bad); }
.tag-soft { border-color: var(--warn); color: var(--warn); }
.tag-assumed { border-color: var(--accent2); color: var(--accent2); font-weight: 600; }
.tag-binding { border-color: var(--accent); color: var(--accent); }
.tag-rejected, .tag-decisive { border-color: var(--accent2); color: var(--accent2); }
.tag-unstated { border-color: var(--accent2); color: var(--accent2); }
.tag-gap { border-color: var(--bad); color: var(--bad); }
.tag-warn { border-color: var(--warn); color: var(--warn); }
.tag-thread { border-color: var(--accent); color: var(--accent); }
.reframe { border: 1px solid var(--accent2); border-radius: 8px; padding: .9rem;
  background: var(--panel2); margin: .9rem 0; }
.reframe.quiet { border-color: var(--line); opacity: .85; }
.reframe .claim { font-size: 1.02rem; }
.evidence { margin: .5rem 0; padding: .4rem .7rem; border-left: 2px solid var(--dim);
  color: var(--muted); font-style: italic; font-size: .9rem; }
.delta { border: 1px solid var(--accent); border-radius: 8px; padding: .9rem; margin: .9rem 0; }
.delta h3 { display: flex; align-items: center; gap: .5rem; }
.status-on_track { border-color: var(--good); color: var(--good); }
.status-stalled, .status-needs_new_frame { border-color: var(--warn); color: var(--warn); }
.status-resolved { border-color: var(--accent); color: var(--accent); }
.obj, .cons, .unk, .opt, .slot, .recon { border: 1px solid var(--line); border-radius: 8px;
  padding: .65rem .75rem; margin-bottom: .5rem; background: var(--panel2); }
.objhead, .conshead, .unkhead, .opthead { display: flex; gap: .5rem; align-items: baseline;
  flex-wrap: wrap; margin-bottom: .3rem; }
.ctext { flex: 1 1 12rem; }
.oid { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; color: var(--dim); font-size: .8rem; }
.osum { font-size: .92rem; color: var(--muted); margin: .2rem 0 .45rem; }
.opt-rejected { border-style: dashed; }
.kind-assumed { border-left: 3px solid var(--accent2); }
.slotlabel { display: flex; gap: .5rem; align-items: baseline; font-weight: 600; font-size: .9rem; }
.slotnum { display: inline-flex; align-items: center; justify-content: center; width: 1.3rem;
  height: 1.3rem; border-radius: 999px; border: 1px solid var(--line); font-size: .72rem;
  color: var(--dim); flex: 0 0 auto; }
.slotcontent { margin: .3rem 0 0; font-size: .93rem; }
.action { font-size: 1.05rem; font-weight: 600; }
.movemeta { display: flex; gap: .4rem; flex-wrap: wrap; margin-top: .5rem; }
.sigcols { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; }
h4.good { color: var(--good); }
h4.bad { color: var(--bad); }
.recon.sev-gap { border-left: 3px solid var(--bad); }
.recon.sev-warn { border-left: 3px solid var(--warn); }
.recon.sev-note { border-left: 3px solid var(--line); }
.recon p { margin: .3rem 0 0; font-size: .9rem; }
.notes { border: 1px dashed var(--line); border-radius: 8px; padding: .8rem; margin: .9rem 0; }
.follow { border: 1px solid var(--accent); border-radius: 8px; padding: .9rem; margin-top: 1rem; }
.followkinds { display: flex; gap: 1rem; flex-wrap: wrap; margin: .5rem 0 .6rem; font-size: .9rem; }
.followkinds label { display: flex; gap: .35rem; align-items: center; cursor: pointer; }
.resfoot { border-top: 1px solid var(--line); margin-top: 1.1rem; padding-top: .8rem; }
.raw { white-space: pre-wrap; word-break: break-word; background: var(--panel2);
  border: 1px solid var(--line); border-radius: 8px; padding: .7rem; font-size: .82rem; max-height: 26rem;
  overflow: auto; }

/* ---- History, how, footer, toasts --------------------------------------- */
.histhead { display: flex; justify-content: space-between; align-items: center; gap: 1rem; flex-wrap: wrap; }
.histlist { display: grid; gap: .6rem; margin-top: .7rem; }
.hitem { border: 1px solid var(--line); border-radius: 8px; padding: .7rem; background: var(--panel2); }
.hhead { display: flex; gap: .5rem; align-items: baseline; flex-wrap: wrap; }
.hmove { font-size: .88rem; color: var(--muted); margin: .3rem 0; }
.howlist { margin: .5rem 0 .75rem 1.1rem; }
.howlist li { margin-bottom: .45rem; }
.foot { max-width: var(--maxw); margin: 0 auto; padding: 1.5rem 1rem 3rem;
  border-top: 1px solid var(--line); color: var(--muted); font-size: .88rem; }
.toasts { position: fixed; right: 1rem; bottom: 1rem; display: grid; gap: .5rem; z-index: 50;
  max-width: min(26rem, calc(100vw - 2rem)); }
.toast { background: var(--panel); border: 1px solid var(--line); border-left-width: 3px;
  border-radius: 8px; padding: .6rem .8rem; font-size: .88rem; box-shadow: var(--shadow);
  transition: opacity .5s ease; }
.toast.ok { border-left-color: var(--accent); }
.toast.err { border-left-color: var(--bad); }
.toast.gone { opacity: 0; }
.toast a { margin-left: .4rem; }

@media (max-width: 700px) {
  .sigcols { grid-template-columns: 1fr; }
  .kv { flex-direction: column; gap: .1rem; }
  .kv .k { min-width: 0; }
  h1 { font-size: 1.45rem; }
}
@media print {
  .topbar, .toasts, form, .progress, #historyZone, .how, .foot, .blockbtns, .follow { display: none !important; }
  body { background: #fff; color: #000; }
  .card { border: none; box-shadow: none; }
}

/* ---- Docs pages (api.html, tokens.html) --------------------------------- */
main.doc { max-width: 900px; }
main.doc h2 { margin-top: 1.75rem; }
main.doc p { max-width: 72ch; }
main.doc ul { max-width: 72ch; }
pre { background: var(--panel2); border: 1px solid var(--line); border-radius: 8px;
  padding: .8rem; overflow-x: auto; font-size: .82rem; line-height: 1.55;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; }
pre.block { display: inline-block; padding: .35rem .6rem; }
code { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: .88em;
  background: var(--panel2); border-radius: 4px; padding: .05rem .28rem; }
pre code { background: none; padding: 0; }
.errtable { width: 100%; border-collapse: collapse; margin: .75rem 0 1rem; font-size: .88rem;
  display: block; overflow-x: auto; }
.errtable th, .errtable td { border: 1px solid var(--line); padding: .45rem .6rem;
  text-align: left; vertical-align: top; }
.errtable th { background: var(--panel2); font-weight: 600; }
.codegroup { margin: .75rem 0 1.25rem; }
.tabs { display: flex; gap: .25rem; flex-wrap: wrap; margin-bottom: .4rem; }
.tab { background: transparent; color: var(--muted); border: 1px solid var(--line);
  border-radius: 6px 6px 0 0; padding: .25rem .6rem; font-size: .8rem; }
.tab.active { color: var(--ink); background: var(--panel2); border-bottom-color: var(--panel2); }
.tab:hover { color: var(--ink); }
.statebox { border: 1px solid var(--line); border-radius: 8px; padding: .8rem;
  background: var(--panel2); margin: .75rem 0 1.25rem; }
.tokenrow { display: flex; gap: .5rem; flex-wrap: wrap; align-items: center; margin: .5rem 0; }
.tokenbox { flex: 1 1 20rem; background: var(--panel2); border: 1px solid var(--line);
  border-radius: 8px; padding: .55rem .7rem; font-size: .82rem; word-break: break-all;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; }
.mini { background: transparent; color: var(--ink); padding: .3rem .6rem; font-size: .82rem; }
.mini:hover:enabled { background: var(--panel2); }
.mono { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; }

/* The sixth frame slot is the one written for this problem specifically, so it
 * is marked rather than blending into the fixed five. */
.slot-custom { border-color: var(--accent); border-left: 3px solid var(--accent); }
.tag-custom { border-color: var(--accent); color: var(--accent); }