:root {
  --bg: #0d1117;
  --bg-soft: #131a23;
  --card: #161d27;
  --card-2: #1b232f;
  --line: #263041;
  --line-soft: #1e2734;
  --text: #e6edf3;
  --muted: #93a1b1;
  --accent: #4f7ef0;
  --accent-soft: #3a63cc;
  --accent-ink: #ffffff;
  --good: #2ea36b;
  --mid: #d9a441;
  --bad: #e05561;
  --code-bg: #0b1017;
  --shadow: 0 1px 2px rgba(0, 0, 0, .35), 0 8px 24px rgba(0, 0, 0, .22);
  --radius: 12px;
  --mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;
}

:root[data-theme="light"] {
  --bg: #f6f8fa;
  --bg-soft: #eef2f6;
  --card: #ffffff;
  --card-2: #f3f6f9;
  --line: #d8e0e8;
  --line-soft: #e6ecf2;
  --text: #16202b;
  --muted: #5c6b7a;
  --accent: #2f5fd0;
  --accent-soft: #2549a5;
  --code-bg: #f2f5f8;
  --shadow: 0 1px 2px rgba(16, 32, 48, .06), 0 8px 24px rgba(16, 32, 48, .07);
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font: 15px/1.6 -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  -webkit-font-smoothing: antialiased;
}

.mono { font-family: var(--mono); }
.small { font-size: 12.5px; }
.muted { color: var(--muted); }
.hidden { display: none !important; }
.dim { opacity: .5; }
code { font-family: var(--mono); font-size: .92em; }

header {
  display: flex;
  flex-wrap: wrap;
  gap: 16px;
  align-items: flex-start;
  justify-content: space-between;
  padding: 20px clamp(16px, 4vw, 40px);
  border-bottom: 1px solid var(--line);
  background: var(--bg-soft);
}

.brand { display: flex; gap: 14px; align-items: flex-start; max-width: 780px; }
.brand .mark { width: 38px; height: 38px; flex: 0 0 38px; color: var(--accent); }
.brand h1 { margin: 0; font-size: 21px; letter-spacing: -.01em; }
.tagline { margin: 4px 0 0; color: var(--muted); font-size: 13.5px; }

.session { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
.home-link { display: inline-flex; align-items: center; gap: 5px; color: var(--muted); text-decoration: none; font-size: 13px; }
.home-link svg { width: 14px; height: 14px; }
.home-link:hover { color: var(--text); }
.credits { font-size: 12.5px; color: var(--muted); border: 1px solid var(--line); border-radius: 999px; padding: 3px 10px; }
.topup { font-size: 12.5px; color: var(--accent); text-decoration: none; }
.topup:hover { text-decoration: underline; }

button { font: inherit; cursor: pointer; }

.ghost {
  background: var(--card);
  color: var(--text);
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 6px 12px;
  font-size: 13px;
}
.ghost:hover { border-color: var(--accent); color: var(--accent); }
.ghost.tiny { padding: 3px 9px; font-size: 12px; }

.primary {
  background: var(--accent);
  color: var(--accent-ink);
  border: 1px solid var(--accent);
  border-radius: 8px;
  padding: 8px 16px;
  font-size: 14px;
  font-weight: 600;
}
.primary:hover { background: var(--accent-soft); border-color: var(--accent-soft); }
.primary:disabled { opacity: .45; cursor: not-allowed; }
.big { padding: 11px 22px; font-size: 15px; }

.linkish {
  background: none; border: none; padding: 0;
  color: var(--accent); text-decoration: underline; font: inherit;
}

main { max-width: 1080px; margin: 0 auto; padding: 26px clamp(14px, 4vw, 28px) 60px; }

.card {
  background: var(--card);
  border: 1px solid var(--line);
  border-radius: var(--radius);
  padding: 18px;
  box-shadow: var(--shadow);
  margin-bottom: 18px;
}

.tabs { display: flex; flex-wrap: wrap; gap: 18px; margin-bottom: 16px; }
.tabstage { display: flex; flex-direction: column; gap: 6px; }
.stagename {
  font-size: 10.5px; text-transform: uppercase; letter-spacing: .09em;
  color: var(--muted); padding-left: 2px;
}
.tabstage > .tab + .tab { margin-top: 0; }
.tabstage { flex-direction: row; align-items: flex-end; flex-wrap: wrap; }
.tabstage .stagename { width: 100%; }
.tab {
  background: var(--card); color: var(--muted);
  border: 1px solid var(--line); border-radius: 999px;
  padding: 7px 15px; font-size: 13.5px;
}
.tab:hover { color: var(--text); border-color: var(--accent); }
.tab.on { background: var(--accent); border-color: var(--accent); color: var(--accent-ink); font-weight: 600; }

.lanehead { padding: 14px 18px; }
.lanehead h2 { margin: 0 0 4px; font-size: 17px; }
.lanehead p { margin: 0; font-size: 13.5px; }

.field { margin-bottom: 16px; }
.field > label { display: block; font-size: 13px; font-weight: 600; margin-bottom: 6px; }
.labelrow { display: flex; justify-content: space-between; align-items: baseline; gap: 12px; flex-wrap: wrap; margin-bottom: 6px; }
.labelrow label { font-size: 13px; font-weight: 600; }

textarea, input[type="search"], select {
  width: 100%;
  background: var(--card-2);
  color: var(--text);
  border: 1px solid var(--line);
  border-radius: 9px;
  padding: 10px 12px;
  font: inherit;
}
textarea { font-family: var(--mono); font-size: 13px; line-height: 1.55; resize: vertical; }
textarea:focus, input:focus, select:focus { outline: 2px solid var(--accent); outline-offset: 1px; }

.dropzone { border: 1px dashed transparent; border-radius: 10px; padding: 2px; transition: border-color .15s, background .15s; }
.dropzone.dragging { border-color: var(--accent); background: rgba(46, 163, 107, .07); }
.droprow { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; margin-top: 8px; }
.droprow input[type="file"] { font-size: 12px; width: auto; }

.klabel { font-size: 11px; text-transform: uppercase; letter-spacing: .09em; color: var(--muted); font-weight: 700; }

.scan-panel { border-top: 1px solid var(--line-soft); margin-top: 18px; padding-top: 16px; }
.statgrid { display: grid; grid-template-columns: repeat(auto-fill, minmax(112px, 1fr)); gap: 8px; margin: 12px 0; }
.stat { background: var(--card-2); border: 1px solid var(--line-soft); border-radius: 9px; padding: 9px 10px; }
.stat-n { display: block; font-family: var(--mono); font-size: 18px; font-weight: 700; }
.stat-l { display: block; font-size: 11px; color: var(--muted); }
.stat.sev-blocker .stat-n { color: var(--bad); }
.stat.sev-warn .stat-n { color: var(--mid); }
.stat.sev-note .stat-n { color: var(--muted); }

.scan-actions { display: flex; flex-wrap: wrap; gap: 8px; margin: 12px 0; }
.quick-note { margin: 12px 0 0; }

.code-block {
  background: var(--code-bg);
  border: 1px solid var(--line-soft);
  border-radius: 9px;
  padding: 12px 14px;
  font-family: var(--mono);
  font-size: 12.5px;
  line-height: 1.55;
  overflow-x: auto;
  white-space: pre;
  margin: 8px 0;
  max-height: 620px;
  overflow-y: auto;
}

.lint-list, .plain-list, .find-list, .rec-list, .verdict-list, .lang-list, .change-list {
  list-style: none; margin: 10px 0 0; padding: 0;
}
.plain-list { list-style: disc; padding-left: 20px; }
.plain-list li { margin: 3px 0; }

.lint-item {
  display: flex; gap: 10px; align-items: flex-start;
  padding: 9px 10px; border-radius: 9px;
  border: 1px solid var(--line-soft);
  background: var(--card-2);
  margin-bottom: 7px;
}
.lint-badge {
  font-size: 10px; text-transform: uppercase; letter-spacing: .06em; font-weight: 700;
  padding: 2px 8px; border-radius: 999px; white-space: nowrap;
  background: var(--line); color: var(--muted); flex: 0 0 auto; margin-top: 2px;
}
.sev-blocker > .lint-badge, .find-item.sev-blocker .lint-badge { background: rgba(224, 85, 97, .16); color: var(--bad); }
.sev-warn > .lint-badge, .find-item.sev-major .lint-badge { background: rgba(217, 164, 65, .16); color: var(--mid); }
.sev-ok > .lint-badge { background: rgba(46, 163, 107, .16); color: var(--good); }
.lint-item.sev-blocker { border-left: 3px solid var(--bad); }
.lint-item.sev-warn { border-left: 3px solid var(--mid); }
.lint-item.sev-note { border-left: 3px solid var(--line); }
.lint-item.sev-ok { border-left: 3px solid var(--good); }
.lint-main { flex: 1 1 auto; min-width: 0; }
.lint-title { margin: 0; font-size: 13.5px; font-weight: 600; }
.lint-id { color: var(--muted); font-weight: 700; margin-right: 4px; }
.lint-meta { margin: 2px 0 0; }
.lint-msg { margin: 4px 0 0; font-size: 13px; color: var(--muted); }

.actions { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; margin-top: 18px; }
.meter { font-size: 12.5px; color: var(--muted); flex: 1 1 240px; }
.rungate { font-size: 12.5px; color: var(--muted); margin: 10px 0 0; }

.progress-panel { background: var(--card); border: 1px solid var(--line); border-radius: var(--radius); padding: 16px 18px; margin-bottom: 18px; }
.pp-top { display: flex; gap: 12px; align-items: center; }
.pp-bar { flex: 1 1 auto; height: 6px; background: var(--line); border-radius: 999px; overflow: hidden; }
.pp-fill { height: 100%; width: 6%; background: var(--accent); transition: width .4s ease; }
.stage-list { list-style: none; margin: 14px 0 0; padding: 0; display: flex; flex-wrap: wrap; gap: 10px 18px; }
.stage { display: flex; align-items: center; gap: 7px; font-size: 12.5px; color: var(--muted); }
.stage-dot { width: 9px; height: 9px; border-radius: 50%; background: var(--line); flex: 0 0 9px; }
.stage-on .stage-dot { background: var(--mid); }
.stage-on { color: var(--text); font-weight: 600; }
.stage-done .stage-dot { background: var(--good); }

.result { margin-bottom: 18px; }
.verdict-zone { background: var(--card); border: 1px solid var(--line); border-radius: var(--radius); padding: 18px; box-shadow: var(--shadow); }
.verdict-top { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; }
.verdict-badge {
  font-size: 11px; text-transform: uppercase; letter-spacing: .07em; font-weight: 700;
  padding: 4px 11px; border-radius: 999px; background: var(--line); color: var(--muted);
}
.verdict-badge.good { background: rgba(46, 163, 107, .16); color: var(--good); }
.verdict-badge.mid { background: rgba(217, 164, 65, .16); color: var(--mid); }
.verdict-badge.bad { background: rgba(224, 85, 97, .16); color: var(--bad); }
.conf-badge { font-size: 11.5px; color: var(--muted); border: 1px solid var(--line); border-radius: 999px; padding: 3px 10px; }
.result-title { margin: 12px 0 4px; font-size: 17px; font-weight: 700; }
.summary { margin: 0 0 12px; font-size: 14px; }
.partial-note, .trunc-note {
  border-radius: 9px; padding: 10px 12px; font-size: 13px; margin: 10px 0;
  background: rgba(217, 164, 65, .1); border: 1px solid rgba(217, 164, 65, .35);
}
.trunc-note a { color: var(--accent); }
.dl-actions { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 14px; }

.reconcile { background: var(--card); border: 1px solid var(--line); border-radius: var(--radius); padding: 16px 18px; margin-top: 14px; }
.rec-item { display: flex; gap: 10px; align-items: flex-start; padding: 7px 0; border-bottom: 1px solid var(--line-soft); }
.rec-item:last-child { border-bottom: none; }
.rec-status { font-size: 11px; text-transform: uppercase; letter-spacing: .06em; font-weight: 700; white-space: nowrap; }
.rec-confirmed .rec-status { color: var(--good); }
.rec-cleared .rec-status { color: var(--mid); }
.rec-omitted .rec-status { color: var(--bad); }
.rec-other .rec-status { color: var(--muted); }
.rec-body { flex: 1 1 auto; min-width: 0; }
.rec-title { margin: 0; font-size: 13px; font-weight: 600; }
.rec-note { margin: 2px 0 0; }
.rec-warn { color: var(--bad); margin: 10px 0 0; }

.paper { margin-top: 14px; }
.block { background: var(--card); border: 1px solid var(--line); border-radius: var(--radius); padding: 16px 18px; margin-bottom: 14px; box-shadow: var(--shadow); }
.block-h { margin: 0 0 6px; font-size: 15px; }
.block-actions { display: flex; gap: 8px; flex-wrap: wrap; margin: 8px 0; }
.empty-line { color: var(--muted); font-size: 13px; margin: 6px 0 0; font-style: italic; }
.para { margin: 6px 0; font-size: 13.5px; }

.find-item { padding: 10px 0; border-bottom: 1px solid var(--line-soft); }
.find-item:last-child { border-bottom: none; }
.find-top { margin: 0; font-size: 13.5px; }
.find-why { margin: 4px 0 0; font-size: 13px; color: var(--muted); }
.find-fix { margin: 4px 0 0; font-size: 13px; }

.verdict-item { display: flex; gap: 10px; align-items: flex-start; padding: 8px 0; border-bottom: 1px solid var(--line-soft); }
.verdict-item:last-child { border-bottom: none; }
.vbadge {
  font-size: 10.5px; text-transform: uppercase; letter-spacing: .06em; font-weight: 700;
  padding: 3px 9px; border-radius: 999px; white-space: nowrap; flex: 0 0 auto;
  background: var(--line); color: var(--muted);
}
.v-solid .vbadge { background: rgba(46, 163, 107, .16); color: var(--good); }
.v-weak .vbadge { background: rgba(217, 164, 65, .16); color: var(--mid); }
.v-splitit .vbadge, .v-split-it .vbadge { background: rgba(217, 164, 65, .16); color: var(--mid); }
.v-delete .vbadge { background: rgba(224, 85, 97, .16); color: var(--bad); }
.vbody { flex: 1 1 auto; min-width: 0; }
.vname { margin: 0; font-size: 13.5px; font-weight: 600; }

.lang-item { padding: 5px 0; font-size: 13.5px; border-bottom: 1px solid var(--line-soft); }
.lang-item:last-child { border-bottom: none; }
.lang-term { color: var(--bad); }
.lang-fix { color: var(--good); }
.lang-arrow { color: var(--muted); }

.recheck { border-radius: 9px; padding: 10px 12px; margin: 10px 0; font-size: 13px; }
.recheck-ok { background: rgba(46, 163, 107, .1); border: 1px solid rgba(46, 163, 107, .35); }
.recheck-bad { background: rgba(224, 85, 97, .1); border: 1px solid rgba(224, 85, 97, .35); }
.recheck-line { margin: 0; }

.change-item { padding: 9px 0; border-bottom: 1px solid var(--line-soft); }
.change-item:last-child { border-bottom: none; }

.gap-card, .def-card, .tc-card {
  border: 1px solid var(--line-soft); border-left-width: 3px;
  border-radius: 9px; padding: 12px 14px; margin: 10px 0; background: var(--card-2);
}
.gap-top { margin: 0 0 4px; display: flex; flex-wrap: wrap; gap: 7px; align-items: center; }
.gap-cat { font-size: 12px; color: var(--muted); }
.risk-high { border-left-color: var(--bad); }
.risk-medium { border-left-color: var(--mid); }
.risk-low { border-left-color: var(--line); }
.prio-P1 { border-left-color: var(--bad); }
.prio-P2 { border-left-color: var(--mid); }
.prio-P3 { border-left-color: var(--line); }
.def-card { border-left-color: var(--accent); }
.def-sig { margin: 0 0 4px; font-size: 13px; font-weight: 700; color: var(--accent); word-break: break-word; }
.covered { color: var(--muted); }

.tc-pre { margin: 8px 0; }
.table-scroll { overflow-x: auto; margin: 8px 0; }
.tc-table { border-collapse: collapse; width: 100%; min-width: 460px; font-size: 13px; }
.tc-table th, .tc-table td { border: 1px solid var(--line-soft); padding: 6px 9px; text-align: left; vertical-align: top; }
.tc-table th { background: var(--card); font-size: 11.5px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); }
.tc-table .num { width: 34px; text-align: right; font-family: var(--mono); color: var(--muted); }

.handoff { background: var(--card); border: 1px solid var(--line); border-radius: var(--radius); padding: 14px 18px; margin-top: 14px; }
.handoff-row { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 8px; }
.handoff-btn.suggested { border-color: var(--accent); color: var(--accent); font-weight: 600; }

.run-meta { margin-top: 10px; font-size: 12px; color: var(--muted); }
.raw-result { background: var(--card); border: 1px solid var(--line); border-radius: var(--radius); padding: 16px 18px; margin-bottom: 18px; }

.hist-panel { background: var(--card); border: 1px solid var(--line); border-radius: var(--radius); padding: 16px 18px; margin-bottom: 18px; }
.hist-search-row { display: flex; gap: 8px; flex-wrap: wrap; margin: 10px 0; }
.hist-search { flex: 1 1 260px; }
.hist-search-row select { width: auto; flex: 0 0 auto; }
.hist-list { display: grid; grid-template-columns: repeat(auto-fill, minmax(260px, 1fr)); gap: 10px; }
.hist-card { border: 1px solid var(--line-soft); border-radius: 9px; padding: 11px 12px; background: var(--card-2); }
.hist-top { margin: 0 0 4px; display: flex; gap: 7px; align-items: center; flex-wrap: wrap; }
.hist-title { font-size: 13.5px; font-weight: 600; }
.hist-sum { margin: 6px 0 0; font-size: 12.5px; color: var(--muted); }
.hist-actions { display: flex; gap: 7px; margin-top: 9px; }

.how { background: var(--card); border: 1px solid var(--line); border-radius: var(--radius); padding: 18px; margin-top: 8px; }
.how-lead { font-size: 13.5px; margin: 8px 0 16px; }
.how-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 16px; }
.how-step h3 { margin: 6px 0 4px; font-size: 14.5px; }
.how-step p { margin: 0; font-size: 13px; color: var(--muted); }
.step-n {
  display: inline-flex; align-items: center; justify-content: center;
  width: 22px; height: 22px; border-radius: 50%;
  background: var(--accent); color: var(--accent-ink); font-size: 12px; font-weight: 700;
}

footer {
  max-width: 1080px; margin: 0 auto; padding: 22px clamp(14px, 4vw, 28px) 46px;
  border-top: 1px solid var(--line); font-size: 12.5px; color: var(--muted);
  display: flex; flex-wrap: wrap; gap: 8px; align-items: center;
}
footer a { color: var(--muted); text-decoration: none; }
footer a:hover { color: var(--accent); text-decoration: underline; }
.foot-sep { opacity: .5; }

.toasts { position: fixed; right: 16px; bottom: 16px; display: flex; flex-direction: column; gap: 8px; z-index: 50; max-width: min(420px, calc(100vw - 32px)); }
.toast {
  background: var(--card); border: 1px solid var(--line); border-radius: 10px;
  padding: 10px 13px; font-size: 13px; box-shadow: var(--shadow);
  display: flex; gap: 8px; align-items: center;
}
.toast-ok { border-left: 3px solid var(--good); }
.toast-err { border-left: 3px solid var(--bad); }
.toast-link { color: var(--accent); }

@media (max-width: 620px) {
  header { padding: 16px; }
  .brand h1 { font-size: 18px; }
  .tabs { gap: 12px; }
  .tab { padding: 6px 12px; font-size: 12.5px; }
  .hist-list { grid-template-columns: 1fr; }
}

.theme-toggle { min-width: 56px; }

/* --- docs pages (tokens.html, api.html) ------------------------------------ */
.topbar {
  display: flex; justify-content: space-between; align-items: center; gap: 12px;
  padding: 14px clamp(16px, 4vw, 40px);
  border-bottom: 1px solid var(--line); background: var(--bg-soft);
}
.topbar .brand { display: flex; gap: 8px; align-items: center; font-size: 14px; }
.backlink { color: var(--muted); text-decoration: none; }
.backlink:hover { color: var(--accent); }
.sep { opacity: .5; }
.topactions { display: flex; gap: 10px; align-items: center; }
.topactions a { font-size: 13px; color: var(--accent); text-decoration: none; }

.doc { max-width: 860px; margin: 0 auto; padding: 28px clamp(14px, 4vw, 28px) 60px; }
.doc h1 { font-size: 24px; margin: 0 0 12px; }
.doc h2 { font-size: 17px; margin: 30px 0 8px; }
.doc h3 { font-size: 14.5px; margin: 20px 0 6px; }
.doc p { font-size: 14px; }
.doc ul, .doc ol { font-size: 14px; }
.doc table { border-collapse: collapse; width: 100%; font-size: 13px; }
.doc th, .doc td { border: 1px solid var(--line-soft); padding: 6px 9px; text-align: left; vertical-align: top; }
.doc th { background: var(--card-2); font-size: 11.5px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); }

.statebox { background: var(--card); border: 1px solid var(--line); border-radius: var(--radius); padding: 14px 16px; margin: 16px 0; }
.statebox p { margin: 5px 0 0; font-size: 13.5px; }
.tokenrow { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; margin: 10px 0; }
.tokenbox {
  flex: 1 1 320px; background: var(--code-bg); border: 1px solid var(--line-soft);
  border-radius: 9px; padding: 10px 12px; font-family: var(--mono); font-size: 12.5px;
  word-break: break-all;
}
.mini {
  background: var(--card); color: var(--text); border: 1px solid var(--line);
  border-radius: 8px; padding: 5px 11px; font-size: 12.5px;
}
.mini:hover { border-color: var(--accent); color: var(--accent); }
.mini:disabled { opacity: .45; cursor: not-allowed; }
.foot { max-width: 860px; margin: 0 auto; padding: 18px clamp(14px, 4vw, 28px) 46px; border-top: 1px solid var(--line); font-size: 12.5px; color: var(--muted); }
.foot a { color: var(--muted); }

.tabbar { display: flex; flex-wrap: wrap; gap: 6px; margin: 10px 0 0; }
.langtab {
  background: var(--card); color: var(--muted); border: 1px solid var(--line);
  border-radius: 999px; padding: 4px 12px; font-size: 12.5px;
}
.langtab.on { background: var(--accent); border-color: var(--accent); color: var(--accent-ink); font-weight: 600; }
.panes pre { display: none; }
.panes pre.on { display: block; }
.step { border-left: 3px solid var(--line); padding-left: 14px; margin: 22px 0; }
.step > h3 { margin-top: 0; }
.envelope { background: var(--card-2); border: 1px solid var(--line-soft); border-radius: 9px; padding: 12px 14px; margin: 12px 0; }

.lede { font-size: 15px; color: var(--muted); }
.grid { border-collapse: collapse; width: 100%; font-size: 13px; margin: 12px 0; }
.grid th, .grid td { border: 1px solid var(--line-soft); padding: 6px 9px; text-align: left; vertical-align: top; }
.grid th { background: var(--card-2); font-size: 11.5px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); }
.grid code { word-break: break-word; }
pre.raw, .codegroup pre {
  background: var(--code-bg); border: 1px solid var(--line-soft); border-radius: 9px;
  padding: 12px 14px; font-family: var(--mono); font-size: 12.5px; line-height: 1.55;
  overflow-x: auto; white-space: pre; margin: 8px 0;
}
pre.raw code { font-size: inherit; }
.codegroup { margin: 12px 0 20px; }
.codegroup .tabrow { display: flex; flex-wrap: wrap; gap: 6px; margin-bottom: 6px; }
.codegroup .tab { padding: 4px 12px; font-size: 12.5px; }
.codegroup .tab.active { background: var(--accent); border-color: var(--accent); color: var(--accent-ink); font-weight: 600; }

/* ---------------------------------------------------------------------------
 * SARIF Desk additions. Everything above this line is the shared shell; below it
 * is the markup this app introduces: the rule table, the sampled-result preview,
 * the four lane bodies and the reference audit.
 * ------------------------------------------------------------------------- */

.rule-table { margin: 14px 0 4px; }
.table-wrap { overflow-x: auto; border: 1px solid var(--line-soft); border-radius: 10px; }
.data-table { width: 100%; border-collapse: collapse; font-size: 13px; }
.data-table th, .data-table td {
  text-align: left; padding: 7px 10px; border-bottom: 1px solid var(--line-soft); white-space: nowrap;
}
.data-table th {
  position: sticky; top: 0; background: var(--card-2); color: var(--muted);
  font-weight: 600; text-transform: uppercase; letter-spacing: .04em; font-size: 11px;
}
.data-table tbody tr:last-child td { border-bottom: 0; }
.data-table td.mono { font-family: var(--mono); font-size: 12px; }
.data-table td.num { text-align: right; font-variant-numeric: tabular-nums; }

.sample-preview { margin: 12px 0; }
.ref-list { list-style: none; margin: 0; padding: 0; display: grid; gap: 8px; }
.ref-item {
  border: 1px solid var(--line-soft); border-left: 3px solid var(--line);
  border-radius: 10px; padding: 9px 12px; background: var(--card-2);
}
.ref-item.band-critical, .ref-item.band-high { border-left-color: var(--bad); }
.ref-item.band-medium { border-left-color: var(--mid); }
.ref-item.band-low, .ref-item.band-none { border-left-color: var(--line); }
.ref-top, .call-top { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; margin: 0 0 4px; }
.ref-bad { color: var(--bad); text-decoration: underline dotted; }

.tally-row { display: flex; flex-wrap: wrap; gap: 8px; margin: 6px 0 12px; }
.tally {
  font-family: var(--mono); font-size: 12px; padding: 4px 10px; border-radius: 999px;
  background: var(--card-2); border: 1px solid var(--line-soft);
}
.tally.good { color: var(--good); }
.tally.mid { color: var(--mid); }
.tally.bad { color: var(--bad); }

.call-list, .tune-list { list-style: none; margin: 0; padding: 0; display: grid; gap: 10px; }
.call-item, .tune-item {
  border: 1px solid var(--line-soft); border-left: 3px solid var(--line);
  border-radius: 10px; padding: 11px 13px; background: var(--card-2);
}
.call-item.call-good, .tune-item.tune-good { border-left-color: var(--good); }
.call-item.call-mid, .tune-item.tune-mid { border-left-color: var(--mid); }
.call-item.call-bad, .tune-item.tune-bad { border-left-color: var(--bad); }
.call-why { margin: 6px 0; }
.call-line { margin: 4px 0; font-size: 14px; }

.plan-list { list-style: none; margin: 0; padding: 0; display: grid; gap: 12px; counter-reset: none; }
.plan-item {
  border: 1px solid var(--line-soft); border-radius: 10px; padding: 12px 14px; background: var(--card-2);
}
.plan-head { display: flex; flex-wrap: wrap; gap: 9px; align-items: baseline; margin: 0 0 8px; }
.plan-n {
  display: inline-flex; align-items: center; justify-content: center;
  min-width: 22px; height: 22px; border-radius: 999px;
  background: var(--accent); color: var(--accent-ink);
  font-family: var(--mono); font-size: 12px; font-weight: 700;
}
.plan-title { font-weight: 650; }
.plan-refs { display: flex; flex-wrap: wrap; gap: 7px; align-items: center; margin: 6px 0; }

.snip { margin: 8px 0 2px; }

.gate-row { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; margin: 4px 0 10px; }
.verdict-badge.big { font-size: 15px; padding: 6px 14px; }

.doc-block { margin: 0 0 18px; }
.doc-h {
  margin: 0 0 6px; font-size: 15px; font-weight: 650;
  border-bottom: 1px solid var(--line-soft); padding-bottom: 5px;
}
.doc-p { margin: 0 0 9px; line-height: 1.62; }

.rec-ok { color: var(--good); }

.find-item.sev-critical, .find-item.sev-high { border-left: 3px solid var(--bad); }
.find-item.sev-medium { border-left: 3px solid var(--mid); }
.find-item.sev-low { border-left: 3px solid var(--line); }
.find-item.sev-critical .lint-badge, .find-item.sev-high .lint-badge {
  background: rgba(224, 85, 97, .16); color: var(--bad);
}
.find-item.sev-medium .lint-badge { background: rgba(217, 164, 65, .16); color: var(--mid); }

.kv { display: flex; gap: 8px; align-items: baseline; margin: 3px 0; font-size: 14px; }
.kv-k { color: var(--muted); font-size: 12px; text-transform: uppercase; letter-spacing: .04em; min-width: 74px; }
.kv-v { flex: 1; }

.conf-badge.good { color: var(--good); }
.conf-badge.mid { color: var(--mid); }
.conf-badge.bad { color: var(--bad); }

@media (max-width: 640px) {
  .data-table th, .data-table td { padding: 6px 8px; font-size: 12px; }
  .kv { flex-direction: column; gap: 1px; }
  .kv-k { min-width: 0; }
}

/* A verdict the lane does not define: shown, never dressed up as understood. */
.verdict-badge.off {
  background: repeating-linear-gradient(135deg, rgba(147,161,177,.14) 0 6px, rgba(147,161,177,.06) 6px 12px);
  color: var(--muted); border: 1px dashed var(--line);
}

/* ============================================================================
 * Hass Bench additions. The tokens above are shared; everything below is this
 * app's own furniture: the lane switcher, the world-state editor and the dry-run
 * trace, none of which exist in the app this stylesheet was inherited from.
 * ========================================================================== */

main {
  max-width: 1120px;
  margin: 0 auto;
  padding: 24px clamp(14px, 4vw, 40px) 64px;
  display: flex;
  flex-direction: column;
  gap: 20px;
}

.topbar { display: flex; flex-wrap: wrap; gap: 14px; align-items: center; justify-content: space-between;
  padding: 14px clamp(14px, 4vw, 40px); border-bottom: 1px solid var(--line); background: var(--bg-soft); }
.topbar .brand { align-items: center; gap: 10px; font-size: 15px; }
.topactions { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }

.laneswitcher {
  display: flex; flex-wrap: wrap; gap: 22px; align-items: center;
  padding: 12px clamp(14px, 4vw, 40px);
  border-bottom: 1px solid var(--line); background: var(--card);
  position: sticky; top: 0; z-index: 20;
}
.lanegroup { display: flex; align-items: center; gap: 6px; flex-wrap: wrap; }
.lanegroup-name {
  font: 600 11px/1 var(--mono); letter-spacing: .09em; text-transform: uppercase;
  color: var(--muted); margin-right: 4px;
}
.laneswitcher .tab {
  border: 1px solid var(--line); background: var(--card-2); color: var(--text);
  padding: 7px 13px; border-radius: 999px; font-size: 13.5px; cursor: pointer;
}
.laneswitcher .tab:hover { border-color: var(--accent-soft); }
.laneswitcher .tab.on { background: var(--accent); border-color: var(--accent); color: var(--accent-ink); font-weight: 600; }

.hero { display: flex; flex-direction: column; gap: 10px; }
.hero h1 { margin: 0; font-size: clamp(22px, 3.4vw, 31px); letter-spacing: -.015em; line-height: 1.22; }
.lede { margin: 0; color: var(--muted); max-width: 78ch; }
.herobtns { display: flex; gap: 10px; flex-wrap: wrap; margin-top: 4px; }

.field { display: flex; flex-direction: column; gap: 6px; }
.field > label { font-weight: 600; font-size: 13.5px; }
.row { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1.4fr); gap: 16px; }
.labelrow { display: flex; justify-content: space-between; align-items: baseline; gap: 12px; flex-wrap: wrap; }
textarea, input[type="text"], input[type="search"], input[type="time"], select {
  width: 100%; background: var(--code-bg); color: var(--text);
  border: 1px solid var(--line); border-radius: 9px; padding: 9px 11px;
  font-family: inherit; font-size: 14px;
}
textarea { font-family: var(--mono); font-size: 13px; line-height: 1.55; resize: vertical; }
textarea:focus, input:focus, select:focus { outline: 2px solid var(--accent-soft); outline-offset: 1px; }

.runrow { display: flex; gap: 14px; align-items: center; flex-wrap: wrap; margin-top: 4px; }
.rungate { margin: 0; color: var(--muted); font-size: 13px; max-width: 82ch; }

.prescan {
  border: 1px solid var(--line); border-radius: var(--radius);
  background: var(--bg-soft); padding: 16px 18px;
  display: flex; flex-direction: column; gap: 12px;
}
.prescan h2 { margin: 0; font-size: 16px; }
.prescan h3 { margin: 8px 0 0; font-size: 14px; letter-spacing: -.005em; }
.count { font: 400 12px/1 var(--mono); color: var(--muted); margin-left: 6px; }

.sdkstrip { display: flex; flex-wrap: wrap; gap: 8px; }
.sdkbox {
  display: flex; flex-direction: column; gap: 2px; min-width: 96px;
  border: 1px solid var(--line-soft); border-radius: 9px;
  padding: 7px 10px; background: var(--card);
}
.sdkbox strong { font-size: 15px; }

.conf-badge { margin: 0; display: inline-block; padding: 5px 11px; border-radius: 999px;
  border: 1px solid var(--line); background: var(--card); font-size: 12.5px; }
.conf-badge.good { border-color: var(--good); color: var(--good); }
.conf-badge.mid { border-color: var(--mid); color: var(--mid); }
.conf-badge.bad { border-color: var(--bad); color: var(--bad); }

.tablewrap { overflow-x: auto; }
table.inv { width: 100%; border-collapse: collapse; font-size: 13px; }
table.inv th, table.inv td { text-align: left; padding: 7px 9px; border-bottom: 1px solid var(--line-soft); vertical-align: top; }
table.inv th { color: var(--muted); font-weight: 600; font-size: 12px; white-space: nowrap; }
table.inv tr.row-bad td { background: color-mix(in srgb, var(--bad) 11%, transparent); }

.flag { border: 1px solid var(--line); border-left-width: 3px; border-radius: 9px;
  background: var(--card); padding: 10px 12px; margin: 8px 0; }
.flag-blocker { border-left-color: var(--bad); }
.flag-warn { border-left-color: var(--mid); }
.flag-note { border-left-color: var(--muted); }
.flag-top { margin: 0 0 5px; display: flex; gap: 8px; align-items: baseline; flex-wrap: wrap; }
.flag-title { font-size: 14px; }
.flag-detail { margin: 4px 0; color: var(--muted); font-size: 13.5px; max-width: 92ch; }
.flag-fix { display: flex; flex-direction: column; gap: 3px; margin-top: 6px; }

.worldbox { display: flex; flex-direction: column; gap: 12px;
  border: 1px solid var(--line); border-radius: 10px; background: var(--card); padding: 12px; }
.worldrow { display: flex; gap: 14px; flex-wrap: wrap; }
.worldgrid { display: grid; grid-template-columns: repeat(auto-fill, minmax(232px, 1fr)); gap: 10px; }
.worldfield { display: flex; flex-direction: column; gap: 3px; min-width: 0; }
.worldfield > span:first-child { display: flex; gap: 2px; align-items: baseline; }
.worlddom { color: var(--accent); }

.drybox { display: flex; flex-direction: column; gap: 12px;
  border: 1px solid var(--line); border-radius: 10px; background: var(--card); padding: 13px 14px; }
.dryhead { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; }
.drywhy { margin: 0; font-size: 14.5px; max-width: 92ch; }
.drysection { display: flex; flex-direction: column; gap: 4px; }
.drysection h4 { margin: 4px 0 2px; font-size: 13px; color: var(--muted);
  text-transform: uppercase; letter-spacing: .07em; }
.dryrow { margin: 0; display: flex; gap: 7px; align-items: baseline; flex-wrap: wrap; font-size: 13.5px; }
.dryrow-on { background: color-mix(in srgb, var(--accent) 10%, transparent);
  border-radius: 7px; padding: 3px 6px; margin: -3px -6px; }

ol.trace { margin: 4px 0 0; padding-left: 0; list-style: none;
  display: flex; flex-direction: column; gap: 3px; counter-reset: t; }
.tracestep { display: grid; grid-template-columns: 46px 58px 74px minmax(0, 1fr);
  gap: 8px; align-items: baseline; padding: 5px 8px; border-radius: 7px;
  background: var(--card-2); border-left: 3px solid var(--line); font-size: 13.5px; }
.tracestep .tracedetail { grid-column: 4; color: var(--muted); font-size: 12.5px; }
.tracekind { font: 600 11.5px/1.5 var(--mono); color: var(--muted);
  text-transform: uppercase; letter-spacing: .05em; }
.tracemark { color: var(--accent); }
.tracekind-action { border-left-color: var(--accent); }
.tracekind-delay, .tracekind-wait { border-left-color: var(--mid); }
.tracekind-stop { border-left-color: var(--bad); }
.tracekind-condition, .tracekind-if, .tracekind-choose { border-left-color: var(--good); }

.progress { display: flex; flex-direction: column; gap: 10px; }
.progresshead { display: flex; justify-content: space-between; align-items: baseline; gap: 12px; }
.ppbar { height: 5px; background: var(--line-soft); border-radius: 999px; overflow: hidden; }
.ppfill { height: 100%; width: 6%; background: var(--accent); transition: width .35s ease; }
ol.steps { margin: 0; padding-left: 0; list-style: none; display: flex; flex-direction: column; gap: 5px; }
.stage { display: flex; gap: 9px; align-items: center; font-size: 13.5px; color: var(--muted); }
.stage-dot { width: 8px; height: 8px; border-radius: 50%; background: var(--line);
  flex: 0 0 8px; border: 1px solid var(--line); }
.stage-on { color: var(--text); }
.stage-on .stage-dot { background: var(--accent); border-color: var(--accent); }
.stage-done .stage-dot { background: var(--good); border-color: var(--good); }

.result { display: flex; flex-direction: column; gap: 16px; }
.resulthead { display: flex; flex-direction: column; gap: 8px; }
.resulthead h2 { margin: 0; font-size: 20px; letter-spacing: -.01em; }
.badgerow { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; }
.verdict { margin: 0; font-size: 15px; max-width: 92ch; }
.prose { margin: 0; max-width: 84ch; }
.auditbox { margin-top: 10px; }

.lanebody { display: flex; flex-direction: column; gap: 16px; }
.lanesec {
  border: 1px solid var(--line); border-radius: var(--radius);
  background: var(--card); padding: 15px 17px; box-shadow: var(--shadow);
  display: flex; flex-direction: column; gap: 9px;
}
.lanesec h3 { margin: 0; font-size: 16px; letter-spacing: -.005em; }
.lanesec h4 { margin: 6px 0 0; font-size: 14px; }
.bigline { margin: 0; font-size: 16.5px; line-height: 1.45; max-width: 84ch; }

.surprise { border-left: 3px solid var(--mid); background: var(--card-2);
  border-radius: 0 9px 9px 0; padding: 9px 12px; margin: 6px 0; }
.surprise-when { margin: 0 0 3px; font-weight: 600; font-size: 14px; }
.surprise-what { margin: 0; color: var(--muted); font-size: 13.5px; }
blockquote.fridge { margin: 4px 0 8px; padding: 12px 15px; border-left: 3px solid var(--accent);
  background: var(--card-2); border-radius: 0 9px 9px 0; font-size: 15px; max-width: 72ch; }
.cardblock { border: 1px solid var(--line-soft); border-radius: 9px;
  padding: 11px 12px; margin: 8px 0; background: var(--card-2); }
.cardblock h4 { margin: 0 0 3px; font-size: 14.5px; }

ul.plainlist, ol.plainlist { margin: 2px 0; padding-left: 20px; display: flex; flex-direction: column; gap: 4px; }
ul.plainlist li, ol.plainlist li { max-width: 88ch; }
.envblock { display: flex; flex-direction: column; gap: 4px; margin-bottom: 10px; }
.envblock h4 { margin: 0; font-size: 13px; color: var(--muted);
  text-transform: uppercase; letter-spacing: .07em; }
.empty-line { margin: 2px 0; color: var(--muted); font-size: 13.5px; }

.warnline { margin: 4px 0; color: var(--bad); font-size: 13.5px; max-width: 92ch; }
.goodline { margin: 4px 0; color: var(--good); font-size: 13.5px; max-width: 92ch; }

pre.bigpre, pre.smallpre {
  margin: 6px 0; padding: 11px 13px; background: var(--code-bg);
  border: 1px solid var(--line); border-radius: 9px;
  font-family: var(--mono); font-size: 12.5px; line-height: 1.55;
  overflow-x: auto; white-space: pre; max-height: 640px;
}
pre.smallpre { font-size: 12px; padding: 8px 10px; max-height: 280px; }

.exportrow { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; margin: 8px 0 0; }
.handoffrow { display: flex; gap: 9px; flex-wrap: wrap; }
.handoff-btn.suggested { border-color: var(--accent); color: var(--accent); font-weight: 600; }

.history { display: flex; flex-direction: column; gap: 9px; margin-top: 10px; }
.explain p { max-width: 88ch; }
.foot { border-top: 1px solid var(--line); padding: 22px clamp(14px, 4vw, 40px) 40px;
  color: var(--muted); font-size: 13px; }
.foot p { margin: 5px 0; max-width: 108ch; }

@media (max-width: 780px) {
  .row { grid-template-columns: minmax(0, 1fr); }
  .tracestep { grid-template-columns: 44px 54px minmax(0, 1fr); }
  .tracestep .tracekind { grid-column: 3; }
  .tracestep .tracetext { grid-column: 1 / -1; }
  .tracestep .tracedetail { grid-column: 1 / -1; }
  .laneswitcher { position: static; gap: 12px; }
}