/* Syntelea · lab-v5.css — the workbench page lab-v5.html (a copy of lab.css in the v5 look: the films' paper, warm greys,
 * ink and one orange; Newsreader for the page title, JetBrains Mono for data). Flat, no shadows; light and dark through tokens. */

:root {
  --paper: #f3f2ec; --card: #fff; --ink: #111; --muted: #5f5b52;
  --line: #e3e0d6; --line-2: #d6d2c6; --dash: #a8a396; --sel: #e3e0d6; --soft: #eae7de;
  --blue-900: #111111; --blue-700: #3b3933; --blue-500: #8a857a; --blue-100: #e3e0d6;
  --signal: #fe6005; --signal-ink: #b14705; --signal-tint: #ffeadf;
  --tone: #111;                    /* proven marks, links, pass */
  --live-bg: #111; --live-fg: #f3f2ec;
  --btn-bg: #111; --btn-fg: #f3f2ec; --btn-hover: #3b3933;
  --focus: #111;   /* ink ring on light fields (orange on paper is 2.7:1); dark mode keeps orange */
  --font: "Figtree", system-ui, -apple-system, "Segoe UI", sans-serif;
  --display: "Newsreader", Georgia, "Times New Roman", serif;
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --r: 6px;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --paper: #141311; --card: #1c1b18; --ink: #ecebe6; --muted: #a8a396;
    --line: #2c2a26; --line-2: #3d3a35; --dash: #6f6a60; --sel: #2c2a26; --soft: #181714;
    --blue-100: #2c2a26; --tone: #ecebe6; --live-bg: #ecebe6; --live-fg: #111;
    --signal-ink: #ffa36b; --signal-tint: #3a2117;
    --btn-bg: #ecebe6; --btn-fg: #111; --btn-hover: #d6d2c6; --focus: #fe6005;
    color-scheme: dark;
  }
}
:root[data-theme="dark"] {
  --paper: #141311; --card: #1c1b18; --ink: #ecebe6; --muted: #a8a396;
  --line: #2c2a26; --line-2: #3d3a35; --dash: #6f6a60; --sel: #2c2a26; --soft: #181714;
  --blue-100: #2c2a26; --tone: #ecebe6; --live-bg: #ecebe6; --live-fg: #111;
  --signal-ink: #ffa36b; --signal-tint: #3a2117;
  --btn-bg: #ecebe6; --btn-fg: #111; --btn-hover: #d6d2c6; --focus: #fe6005;
  color-scheme: dark;
}

* { box-sizing: border-box; }
:root { accent-color: var(--ink); }                       /* checkboxes, radios, date pickers in ink, not the browser's blue */
html { -webkit-tap-highlight-color: rgba(17, 17, 17, .08); }
::placeholder { color: var(--muted); opacity: 1; }        /* 6.8:1 in both schemes (Chrome's default grey was 3.7:1 on dark) */
html { -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 15px/1.5 var(--font); }
a { color: var(--tone); }
button, input, select { font: inherit; color: inherit; }
:focus-visible { outline: 2px solid var(--focus); outline-offset: 2px; }
.mono, code { font-family: var(--mono); font-size: .86em; }
.muted { color: var(--muted); }
[hidden] { display: none !important; }

/* ---------- top bar ---------- */
.top {
  position: sticky; top: 0; z-index: 5;
  display: flex; align-items: center; gap: 12px; flex-wrap: wrap;
  padding: 10px clamp(16px, 4vw, 40px); background: var(--paper); border-bottom: 1px solid var(--line);
}
.brand { display: inline-flex; align-items: center; gap: 8px; color: var(--ink); text-decoration: none; font-weight: 600; }
/* the wordmark is inline so its letters follow --ink in both themes; the ∎ stays orange */
.brand .word { width: auto; height: 22px; display: block; }
.brand .sep { color: var(--dash); font-weight: 400; }
.engines { margin-left: auto; display: flex; gap: 6px; flex-wrap: wrap; }
.eng {
  display: inline-flex; align-items: center; gap: 7px; padding: 4px 10px; border: 1px solid var(--line-2);
  border-radius: 999px; background: var(--card); font-size: 13px; cursor: pointer; white-space: nowrap;
}
.eng:hover { background: var(--sel); }
.dot { width: 8px; height: 8px; border-radius: 50%; background: var(--dash); flex: none; }
.dot.on { background: var(--blue-500); }
.dot.busy { background: var(--signal); }
.dot.off { background: transparent; border: 1.5px solid var(--dash); }

/* ---------- page ---------- */
main { max-width: 1080px; margin: 0 auto; padding: 28px clamp(16px, 4vw, 40px) 80px; }
.intro h1 { font-family: var(--display); font-size: clamp(32px, 4.4vw, 46px); line-height: 1.05; margin: 0 0 6px; font-weight: 400; letter-spacing: -.01em; }
.intro p { margin: 0 0 22px; color: var(--muted); max-width: 640px; }

.step {
  display: grid; grid-template-columns: 56px minmax(0, 1fr); gap: 0 16px;
  background: var(--card); border: 1px solid var(--line); border-radius: var(--r);
  padding: 20px 20px 22px 0; margin: 0 0 12px;
}
.step > .num {
  font: 600 12px/1 var(--font); letter-spacing: .1em; font-variant-numeric: tabular-nums; color: var(--muted); text-align: right; padding-top: 8px;
}
.step.done > .num { color: var(--tone); }
.step.locked { background: transparent; }
.step.locked .body > :not(.head) { opacity: .5; pointer-events: none; }
.step .body { min-width: 0; }
.head { display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap; margin-bottom: 14px; }
.head h2 { font-family: var(--display); font-size: 23px; font-weight: 500; letter-spacing: -.005em; margin: 0; }
.head .state { margin-left: auto; font: 600 11px/1 var(--font); text-transform: uppercase; letter-spacing: .12em; color: var(--muted); }
.step.done .head .state { color: var(--tone); }
.lede { margin: -8px 0 14px; color: var(--muted); font-size: 14px; }

.row { display: flex; gap: 10px; flex-wrap: wrap; align-items: center; }
.row + .row, .row + .block, .block + .row, .block + .block { margin-top: 14px; }
.grow { flex: 1 1 auto; }
.label { font: 500 11px/1.2 var(--font); text-transform: uppercase; letter-spacing: .12em; color: var(--muted); }

/* ---------- controls ---------- */
.btn {
  display: inline-flex; align-items: center; gap: 8px; padding: 9px 16px; border-radius: var(--r);
  border: 1px solid var(--btn-bg); background: var(--btn-bg); color: var(--btn-fg); font-weight: 500;
  cursor: pointer; white-space: nowrap; text-decoration: none; line-height: 1.2;
}
.btn:hover:not(:disabled) { background: var(--btn-hover); border-color: var(--btn-hover); }
.btn.ghost { background: transparent; color: var(--ink); border-color: var(--line-2); }
.btn.ghost:hover:not(:disabled) { background: var(--sel); border-color: var(--line-2); color: var(--ink); }
.btn.small { padding: 5px 10px; font-size: 13px; }
.btn:disabled { opacity: .4; cursor: not-allowed; }

select, input[type="text"], input[type="date"] {
  padding: 8px 10px; border: 1px solid var(--line-2); border-radius: var(--r); background: var(--card); min-width: 0;
}
select { max-width: 100%; }
.field { display: grid; gap: 4px; min-width: 0; }
.field input, .field select { width: 100%; }

.seg { display: inline-flex; border: 1px solid var(--line-2); border-radius: var(--r); overflow: hidden; background: var(--card); }
.seg label { position: relative; }
.seg input { position: absolute; opacity: 0; inset: 0; margin: 0; cursor: pointer; }
.seg span { display: block; padding: 7px 12px; font-size: 14px; border-right: 1px solid var(--line-2); cursor: pointer; }
.seg label:last-child span { border-right: 0; }
.seg input:checked + span { background: var(--ink); color: var(--paper); }
.seg input:focus-visible + span { outline: 2px solid var(--focus); outline-offset: -2px; }
.seg input:disabled + span { opacity: .4; cursor: not-allowed; }

.check { display: inline-flex; align-items: center; gap: 8px; font-size: 14px; cursor: pointer; }

.drop {
  display: grid; place-items: center; gap: 6px; text-align: center; padding: 26px 16px;
  border: 1.5px dashed var(--line-2); border-radius: var(--r); background: var(--soft); cursor: pointer;
}
.drop:hover, .drop.over { background: var(--sel); border-color: var(--blue-500); }
.drop b { font-weight: 600; }
.drop small { color: var(--muted); }
.drop input { display: none; }

/* ---------- facts ---------- */
.facts { display: flex; flex-wrap: wrap; border: 1px solid var(--line); border-radius: var(--r); overflow: hidden; background: var(--card); }
.facts > div { flex: 1 1 150px; padding: 9px 12px; min-width: 0; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); margin: 0 -1px -1px 0; }
.facts dt { font: 500 11px/1.2 var(--font); text-transform: uppercase; letter-spacing: .12em; color: var(--muted); margin-bottom: 3px; }
.facts dd { margin: 0; font-weight: 500; overflow-wrap: anywhere; }
.facts dd .mono { font-weight: 400; }
dl { margin: 0; }

.hash { font-family: var(--mono); font-size: 13px; cursor: copy; border-bottom: 1px dotted var(--dash); }
.hash.copied { color: var(--tone); }

/* ---------- coverage ---------- */
.meter { display: flex; gap: 3px; flex-wrap: wrap; }
.meter i { width: 14px; height: 14px; border-radius: 2px; background: var(--tone); }
.meter i.miss { background: transparent; border: 1.5px solid var(--line-2); }
.meter i.nocall { background: var(--line-2); }
.meter i.low { background: var(--signal-tint); border: 1.5px solid var(--signal); }

.tbl-wrap { overflow-x: auto; border: 1px solid var(--line); border-radius: var(--r); }
table { width: 100%; border-collapse: collapse; font-size: 14px; }
th, td { text-align: left; padding: 8px 12px; border-bottom: 1px solid var(--line); vertical-align: top; }
tr:last-child td { border-bottom: 0; }
th { font: 500 11px/1.2 var(--font); text-transform: uppercase; letter-spacing: .1em; color: var(--muted); background: var(--soft); }
td.n { text-align: right; font-variant-numeric: tabular-nums; white-space: nowrap; }

.state-chip { display: inline-block; font: 12px/1 var(--mono); padding: 4px 7px; border-radius: 4px; border: 1px solid var(--line-2); white-space: nowrap; }
.state-chip.Covered { border-color: transparent; background: var(--blue-100); color: var(--tone); }
.state-chip.Missing { border-style: dashed; color: var(--muted); }
.state-chip.NoCall, .state-chip.LowQ, .state-chip.Filtered, .state-chip.AlleleMismatch { border-color: var(--signal); color: var(--signal-ink); }

/* ---------- badges ---------- */
.badges { display: inline-flex; gap: 5px; flex-wrap: wrap; vertical-align: middle; }
.badges:empty { display: none; }
.badge { display: inline-block; font: 600 10.5px/1 var(--font); letter-spacing: .1em; text-transform: uppercase; padding: 5px 7px 4px; border-radius: 4px; border: 1px solid transparent; white-space: nowrap; }
.badge.dev { background: var(--signal-tint); color: var(--signal-ink); }
.badge.Planned { border: 1px dashed var(--dash); color: var(--muted); }
.badge.na { border: 1px dashed var(--dash); color: var(--muted); }
.tag { display: inline-block; font: 500 11px/1 var(--font); letter-spacing: .03em; padding: 5px 6px 4px; border-radius: 4px; border: 1px solid var(--line-2); color: var(--ink); white-space: nowrap; }
.tag.Proven { border-color: var(--tone); color: var(--tone); }
.tag.Assumed, .tag.Attested { border-style: dashed; color: var(--muted); }
.tag.Signed { border-color: var(--ink); }

/* ---------- proof cards ---------- */
.proof { border: 1px solid var(--line); border-radius: var(--r); padding: 14px; }
.proof + .proof { margin-top: 10px; }
.proof .ph { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; }
.proof .ph b { font-weight: 600; }
.proof .ph code { color: var(--muted); }
.proof .ph .badges { margin-left: auto; }
.proof .desc { margin: 6px 0 12px; color: var(--muted); font-size: 14px; }
.result { margin-top: 12px; }
.answer { font-size: 18px; font-weight: 600; margin: 0 0 8px; }
.answer small { font-weight: 400; color: var(--muted); font-size: 14px; }

.opts { display: grid; gap: 6px; }
.opt { display: flex; align-items: center; gap: 10px; padding: 8px 10px; border: 1px solid var(--line); border-radius: var(--r); cursor: pointer; flex-wrap: wrap; }
.opt:hover { background: var(--soft); }
.opt.off { cursor: not-allowed; }
.opt.off .name { color: var(--muted); }
.opt input { margin: 0; }
.opt .name { font-weight: 500; }
.opt .out { margin-left: auto; font-size: 14px; }

.busy { display: flex; align-items: center; gap: 10px; margin-top: 12px; font-size: 14px; color: var(--muted); }
.busy .dot { background: var(--signal); animation: pulse 1.2s var(--ease, ease) infinite; }
@keyframes pulse { 50% { opacity: .25; } }
@media (prefers-reduced-motion: reduce) { .busy .dot { animation: none; } }

.note { font-size: 13px; color: var(--muted); margin: 10px 0 0; }
.warn { font-size: 14px; margin: 12px 0 12px; padding: 9px 12px; border-left: 3px solid var(--signal); background: var(--signal-tint); color: var(--ink); border-radius: 0 var(--r) var(--r) 0; }
.err { font-size: 14px; margin: 12px 0 0; padding: 9px 12px; border: 1px solid var(--signal); color: var(--signal-ink); border-radius: var(--r); overflow-wrap: anywhere; white-space: pre-wrap; }
.okline { font-size: 14px; margin: 12px 0 0; color: var(--tone); }

/* ---------- verdict ---------- */
.verdict { display: flex; gap: 14px; align-items: center; flex-wrap: wrap; padding: 14px 16px; border-radius: var(--r); margin-top: 14px; }
.verdict b { font: 700 13px/1 var(--font); text-transform: uppercase; letter-spacing: .12em; }
.verdict.valid { background: var(--live-bg); color: var(--live-fg); }
.verdict.unverified { background: var(--soft); border: 1px dashed var(--dash); }
.verdict.rejected, .verdict.error { background: var(--signal-tint); color: var(--signal-ink); }
.verdict span { font-size: 14px; }
.reasons { margin: 8px 0 0; padding-left: 18px; font-size: 14px; color: var(--signal-ink); overflow-wrap: anywhere; }

.claims { display: grid; gap: 8px; margin-top: 14px; }
.claim { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 6px 12px; padding: 12px 14px; border: 1px solid var(--line); border-radius: var(--r); }
.claim .what { font-weight: 600; }
.claim .sub { grid-column: 1 / -1; font-size: 13px; color: var(--muted); overflow-wrap: anywhere; }
.claims.void .claim { opacity: .55; }
.claims.void .badge, .claims.void .tag { text-decoration: line-through; }

details { margin-top: 12px; }
summary { cursor: pointer; font-size: 14px; color: var(--muted); }
summary:hover { color: var(--ink); }
.checks td:first-child { width: 64px; }
.st { font: 600 11px/1 var(--font); text-transform: uppercase; letter-spacing: .1em; }
.st.pass { color: var(--tone); } .st.fail { color: var(--signal-ink); } .st.skip { color: var(--signal-ink); opacity: .75; } .st.na { color: var(--muted); }
.checks td.d { font-size: 13px; color: var(--muted); overflow-wrap: anywhere; }

/* ---------- register ---------- */
.register { margin-top: 28px; }
.register h2 { font-family: var(--display); font-size: 23px; font-weight: 500; letter-spacing: -.005em; margin: 0 0 4px; }
.legend { display: flex; gap: 14px; flex-wrap: wrap; font-size: 13px; color: var(--muted); margin: 0 0 12px; }
.legend span { display: inline-flex; align-items: center; gap: 6px; }
.stmts { display: grid; grid-template-columns: repeat(auto-fill, minmax(250px, 1fr)); gap: 8px; }
.stmt { display: flex; align-items: center; gap: 10px; padding: 10px 12px; background: var(--card); border: 1px solid var(--line); border-radius: var(--r); min-width: 0; }
.stmt .sn { font: 12px/1 var(--mono); color: var(--muted); width: 26px; flex: none; }
.stmt code { font-size: 12.5px; overflow-wrap: anywhere; flex: 1 1 auto; min-width: 0; }

/* ---------- log ---------- */
.log { margin-top: 28px; }
.log pre { margin: 8px 0 0; padding: 12px; max-height: 260px; overflow: auto; background: var(--card); border: 1px solid var(--line); border-radius: var(--r); font: 12px/1.5 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere; }

@media (max-width: 640px) {
  .step { grid-template-columns: minmax(0, 1fr); padding: 16px; }
  th, td { padding: 7px 8px; }
  table { font-size: 13px; }
  .step > .num { text-align: left; padding: 0 0 8px; }
  .top { gap: 8px; }
  .engines { margin-left: 0; width: 100%; }
  .claim { grid-template-columns: minmax(0, 1fr); }
  .proof .ph .badges { margin-left: 0; }
  .opt .out { margin-left: 0; width: 100%; }
}