/* Unizel Console. Taken from the demo's look, not copied from it: a black brand bar with the Jost wordmark over a white
   work surface, IBM Plex Sans and Mono, hairline rules, sentence-case labels. Colour carries meaning only: teal text for
   right, red text for wrong, the brand aqua for highlight and focus. No cards, pills or callouts. */
:root {
  --bar: #0b0c0d;
  --bar-ink: #e9eaeb;
  --bar-dim: #9aa0a6;
  --bg: #ffffff;
  --bg-2: #f6f5f2;
  --ink: #16181b;
  --ink-2: #4f555c;
  --ink-3: #868c93;
  --line: #e4e2dd;
  --line-2: #d3d0c9;
  --pass: #0b6f66;
  --fail: #b3261e;
  --aqua: #66fcf1;
  --mark: rgba(102, 252, 241, 0.55);
  --sans: 'IBM Plex Sans', 'Helvetica Neue', Arial, sans-serif;
  --mono: 'IBM Plex Mono', 'SF Mono', Menlo, Consolas, monospace;
  --brand: 'Jost', 'Avenir Next', 'Helvetica Neue', Arial, sans-serif;
  color-scheme: light;
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--bg); color: var(--ink); font-family: var(--sans); font-size: 15px; line-height: 1.5;
  -webkit-font-smoothing: antialiased; font-variant-numeric: tabular-nums; }
a { color: var(--ink); text-decoration: underline; text-decoration-color: var(--line-2); text-underline-offset: 3px; }
a:hover { text-decoration-color: var(--ink); }
:focus-visible { outline: 2px solid var(--aqua); outline-offset: 2px; border-radius: 2px; }
mark, .mk { background: var(--mark); color: inherit; padding: 0 2px; }
.mono, code, pre { font-family: var(--mono); font-size: 0.88em; }
pre { white-space: pre-wrap; word-break: break-word; margin: 0; }
.pass { color: var(--pass); }
.fail { color: var(--fail); }
.dim { color: var(--ink-3); }
.ink2 { color: var(--ink-2); }
.strong { font-weight: 600; }
.nowrap { white-space: nowrap; }
.r { text-align: right; }
.hidden { display: none !important; }

/* ------------------------------------------------------------------ bar */
.bar { background: var(--bar); color: var(--bar-ink); }
.bar-in { max-width: 1440px; margin: 0 auto; height: 56px; display: flex; align-items: center; gap: 20px;
  padding-left: max(24px, env(safe-area-inset-left, 0px)); padding-right: max(24px, env(safe-area-inset-right, 0px)); }
.bar .wm { display: flex; align-items: center; }
.bar .wm img { height: 17px; width: auto; display: block; }
.bar .product { color: var(--bar-dim); padding-left: 18px; border-left: 1px solid #2c2f33; font-size: 14px; }
.bar nav { display: flex; gap: 18px; flex-wrap: wrap; margin-left: 12px; }
.bar nav a { color: var(--bar-dim); text-decoration: none; font-size: 14px; padding: 4px 0; }
.bar nav a:hover { color: var(--bar-ink); }
.bar nav a.on { color: var(--bar-ink); box-shadow: inset 0 -2px 0 var(--bar-ink); }
.bar .spacer { flex: 1; }
.bar .who { color: var(--bar-dim); font-size: 13px; text-align: right; line-height: 1.3; }
.bar .who b { color: var(--bar-ink); font-weight: 500; }
.bar .who a { color: inherit; text-decoration: none; }
.bar form { margin: 0; }
.bar button, .bar select { font: inherit; font-size: 13px; color: var(--bar-ink); background: transparent; border: 1px solid #3a3e43;
  border-radius: 4px; height: 28px; padding: 0 10px; cursor: pointer; }
.bar select { width: auto; padding: 0 8px; }
.bar select option { color: var(--ink); }
.bar .actions { flex-wrap: nowrap; gap: 8px; }
.bar button:hover { border-color: #8a9096; }
.preview { border-bottom: 2px solid var(--aqua); background: var(--bg); }
.preview-in { max-width: 1440px; margin: 0 auto; display: flex; align-items: center; gap: 16px; padding-block: 8px;
  padding-left: max(24px, env(safe-area-inset-left, 0px)); padding-right: max(24px, env(safe-area-inset-right, 0px)); font-size: 14px; }
.preview-in form { margin: 0 0 0 auto; }

/* ------------------------------------------------------------------ page */
main { max-width: 1440px; margin: 0 auto; padding-block: 32px 56px;
  padding-left: max(24px, env(safe-area-inset-left, 0px)); padding-right: max(24px, env(safe-area-inset-right, 0px)); }
@media (min-width: 900px) { main, .bar-in, .preview-in { padding-left: max(40px, env(safe-area-inset-left, 0px)); padding-right: max(40px, env(safe-area-inset-right, 0px)); } }
.crumbs { font-size: 13px; color: var(--ink-3); margin-bottom: 10px; }
.crumbs a { color: var(--ink-3); }
.crumbs .sep { padding: 0 8px; color: var(--line-2); }
h1 { font-size: 27px; font-weight: 500; letter-spacing: -0.2px; line-height: 1.2; margin: 0; }
.lede { color: var(--ink-2); font-size: 16px; margin: 8px 0 0; max-width: 72ch; }
h2 { font-size: 16px; font-weight: 600; margin: 40px 0 0; padding-bottom: 8px; border-bottom: 1px solid var(--line-2);
  display: flex; align-items: baseline; gap: 14px; flex-wrap: wrap; }
h2 .aside { font-weight: 400; color: var(--ink-3); font-size: 14px; }
h3 { font-size: 15px; font-weight: 600; margin: 24px 0 6px; }
p { margin: 10px 0; max-width: 80ch; }
.head { display: flex; align-items: flex-end; gap: 24px; flex-wrap: wrap; }
.head > .grow { flex: 1; min-width: 0; }
.actions { display: flex; gap: 10px; align-items: center; flex-wrap: wrap; }
.actions form { margin: 0; }
.cols { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 40px; }
.cols-3 { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 40px; }
.cols-2-1 { display: grid; grid-template-columns: minmax(0, 2fr) minmax(0, 1fr); gap: 40px; }
@media (max-width: 1000px) { .cols, .cols-3, .cols-2-1 { grid-template-columns: minmax(0, 1fr); gap: 0; } }
.cols > *, .cols-3 > *, .cols-2-1 > * { min-width: 0; }

/* ------------------------------------------------------------------ tables and lists */
.scroll { overflow-x: auto; }
table.t { width: 100%; border-collapse: collapse; font-size: 14px; }
table.t th { text-align: left; font-weight: 400; color: var(--ink-3); font-size: 13px; padding: 12px 14px 8px 0;
  border-bottom: 1px solid var(--line-2); white-space: nowrap; vertical-align: bottom; }
table.t td { padding: 10px 14px 10px 0; border-bottom: 1px solid var(--line); vertical-align: top; }
table.t td.num, table.t th.num { text-align: right; white-space: nowrap; }
table.t tr.total td { font-weight: 600; border-bottom-color: var(--line-2); }
table.t .id { font-family: var(--mono); font-size: 13px; white-space: nowrap; }
dl.kv { display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 0 24px; margin: 12px 0 0; font-size: 14px; }
dl.kv dt { color: var(--ink-3); padding: 7px 0; border-bottom: 1px solid var(--line); }
dl.kv dd { margin: 0; padding: 7px 0; border-bottom: 1px solid var(--line); min-width: 0; overflow-wrap: anywhere; }
ul.plain { list-style: none; padding: 0; margin: 10px 0 0; }
ul.plain > li { padding: 9px 0; border-bottom: 1px solid var(--line); }
ul.rules { list-style: none; padding: 0; margin: 10px 0 0; border-top: 1px solid var(--line-2); }
ul.rules > li { padding: 9px 0; border-bottom: 1px solid var(--line); display: flex; gap: 12px; }
ul.rules > li .ic { width: 1.1em; flex: none; font-weight: 600; text-align: center; }
ol.steps { padding-left: 1.6em; margin: 10px 0 0; }
ol.steps li { padding: 4px 0; }
.figure { font-size: 34px; font-weight: 500; letter-spacing: -0.5px; line-height: 1.1; }
.figure small { font-size: 15px; font-weight: 400; color: var(--ink-2); letter-spacing: 0; margin-left: 8px; }
.stats { display: flex; gap: 48px; flex-wrap: wrap; margin-top: 18px; }
.stats .k { font-size: 13px; color: var(--ink-3); margin-top: 4px; }
.meter { margin-top: 12px; }
.meter .row { display: flex; justify-content: space-between; gap: 12px; font-size: 14px; }
.meter .track { position: relative; height: 4px; background: var(--line); margin-top: 8px; }
.meter .fill { position: absolute; left: 0; top: 0; bottom: 0; background: var(--ink); }
.meter .stop { position: absolute; top: -4px; bottom: -4px; width: 2px; background: var(--fail); }
.meter .warnline { position: absolute; top: -3px; bottom: -3px; width: 1px; background: var(--ink-3); }
.meter .note { font-size: 13px; color: var(--ink-3); margin-top: 6px; }
.empty { color: var(--ink-3); padding: 14px 0; border-bottom: 1px solid var(--line); margin: 0; }
.block { color: var(--ink-2); margin-top: 12px; }
.quote { border-left: 2px solid var(--line-2); padding: 2px 0 2px 16px; color: var(--ink-2); margin: 12px 0; white-space: pre-wrap; max-width: 80ch; }

/* ------------------------------------------------------------------ tabs */
.tabs { display: flex; gap: 26px; border-bottom: 1px solid var(--line); margin-top: 22px; flex-wrap: wrap; }
.tabs a { text-decoration: none; color: var(--ink-3); padding: 10px 0; font-size: 14px; margin-bottom: -1px; }
.tabs a:hover { color: var(--ink); }
.tabs a.on { color: var(--ink); box-shadow: inset 0 -2px 0 var(--ink); }

/* ------------------------------------------------------------------ forms */
form.stack { display: grid; gap: 16px; max-width: 560px; margin-top: 18px; }
form.stack.wide { max-width: 980px; }
label { display: block; font-size: 13px; color: var(--ink-2); }
label > span.lab { display: block; margin-bottom: 5px; }
input[type=text], input[type=email], input[type=password], input[type=number], input[type=search], select, textarea {
  font: inherit; font-size: 14px; color: var(--ink); background: var(--bg); border: 1px solid var(--line-2); border-radius: 4px;
  padding: 8px 10px; width: 100%; }
textarea { min-height: 96px; resize: vertical; }
input:focus, select:focus, textarea:focus { outline: 2px solid var(--aqua); outline-offset: 0; border-color: var(--ink-3); }
fieldset { border: 0; border-top: 1px solid var(--line-2); padding: 12px 0 0; margin: 0; min-width: 0; }
legend { font-size: 13px; color: var(--ink-2); padding: 0 8px 0 0; }
.choices { display: grid; grid-template-columns: repeat(auto-fill, minmax(230px, 1fr)); gap: 4px 20px; }
.choices label { display: flex; gap: 8px; align-items: baseline; font-size: 14px; color: var(--ink); padding: 3px 0; }
.choices label.off { color: var(--ink-3); }
.inline { display: flex; gap: 16px; flex-wrap: wrap; align-items: flex-end; }
.inline > label { flex: 1 1 160px; }
button, .button { font: inherit; font-size: 14px; cursor: pointer; background: var(--ink); color: #fff; border: 1px solid var(--ink);
  border-radius: 4px; padding: 7px 16px; text-decoration: none; display: inline-block; line-height: 1.4; }
button:hover, .button:hover { background: #2b2f34; }
button.quiet, .button.quiet { background: var(--bg); color: var(--ink); border-color: var(--line-2); }
button.quiet:hover, .button.quiet:hover { border-color: var(--ink); }
button.armed { background: var(--fail); border-color: var(--fail); color: #fff; }
button:disabled { opacity: 0.45; cursor: not-allowed; }
.error { color: var(--fail); margin: 14px 0 0; }
.saved { color: var(--pass); margin: 14px 0 0; }
.review-choice { display: flex; gap: 22px; flex-wrap: wrap; }
.review-choice label { display: flex; gap: 8px; align-items: center; font-size: 14px; color: var(--ink); }
.linkbox { display: flex; gap: 10px; align-items: center; margin-top: 10px; }
.linkbox code { padding: 8px 10px; border: 1px solid var(--line-2); border-radius: 4px; overflow-x: auto; white-space: nowrap; flex: 1; min-width: 0; }

/* ------------------------------------------------------------------ sign-in */
.signin { max-width: 400px; margin: 72px auto 0; }
.signin h1 { font-family: var(--brand); font-weight: 400; font-size: 30px; letter-spacing: 0; }

/* ------------------------------------------------------------------ job log */
.log { margin-top: 12px; border-top: 1px solid var(--line-2); border-bottom: 1px solid var(--line-2); background: var(--bg-2);
  font-family: var(--mono); font-size: 13px; line-height: 1.55; padding: 12px 14px; height: min(62vh, 640px); overflow: auto;
  white-space: pre-wrap; word-break: break-word; }
.log .cmd { color: var(--ink-2); }
.status-line { font-size: 15px; margin-top: 10px; }

/* ------------------------------------------------------------------ replay */
.replay-head { display: flex; gap: 32px; align-items: flex-end; flex-wrap: wrap; }
.replay-head .grow { flex: 1; min-width: 260px; }
.player { min-width: 300px; text-align: right; }
.player .clock { font-size: 26px; font-family: var(--mono); letter-spacing: -0.5px; }
.player .clock .of { color: var(--ink-3); }
.player .ctl { display: flex; gap: 8px; align-items: center; justify-content: flex-end; margin-top: 8px; flex-wrap: wrap; }
.player .ctl select { width: auto; padding: 5px 8px; }
.player input[type=range] { width: 100%; accent-color: var(--ink); margin-top: 10px; }
.stages { display: flex; flex-wrap: wrap; gap: 0; margin-top: 22px; border-top: 1px solid var(--line-2); }
.stage { flex: 1 1 110px; padding: 10px 12px 10px 0; font-size: 13px; color: var(--ink-3); border-bottom: 1px solid var(--line); }
.stage b { display: block; font-weight: 500; color: var(--ink); font-size: 14px; }
.stage.now { box-shadow: inset 0 3px 0 var(--aqua); }
.stage.now b { color: var(--ink); }
.rp { display: grid; grid-template-columns: minmax(0, 2fr) minmax(0, 1fr); gap: 36px; margin-top: 8px; }
@media (max-width: 1000px) { .rp { grid-template-columns: minmax(0, 1fr); } }
.rp > div { min-width: 0; }
.acts, .notes { height: clamp(320px, calc(100vh - 380px), 760px); overflow-y: auto; border-top: 1px solid var(--line-2); }
.act { display: grid; grid-template-columns: 46px 56px minmax(0, 1fr) auto; gap: 10px; align-items: baseline; padding: 7px 0;
  border-bottom: 1px solid var(--line); font-size: 14px; }
.act .s, .act .tm { font-family: var(--mono); font-size: 12px; color: var(--ink-3); }
.act .a { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.act.w .a { font-weight: 600; }
.act.w .s { color: var(--ink); }
.act.err .a { color: var(--ink-3); text-decoration: line-through; text-decoration-color: var(--line-2); }
.act .tag { font-size: 12px; color: var(--ink-3); }
.act.now .a { background: var(--mark); }
.later { display: none !important; }
.note { padding: 10px 0; border-bottom: 1px solid var(--line); font-size: 14px; }
.note .tm { font-family: var(--mono); font-size: 12px; color: var(--ink-3); }

/* ------------------------------------------------------------------ footer */
footer.prov { border-top: 1px solid var(--line); color: var(--ink-3); font-family: var(--mono); font-size: 11.5px; line-height: 1.7; }
footer.prov .in { max-width: 1440px; margin: 0 auto; padding-block: 14px 22px;
  padding-left: max(24px, env(safe-area-inset-left, 0px)); padding-right: max(24px, env(safe-area-inset-right, 0px)); display: flex; flex-wrap: wrap; gap: 4px 22px; }
@media (min-width: 900px) { footer.prov .in { padding-left: max(40px, env(safe-area-inset-left, 0px)); padding-right: max(40px, env(safe-area-inset-right, 0px)); } }
footer.prov b { font-weight: 500; color: var(--ink-2); }

/* ------------------------------------------------------------------ one-line facts, back links, the replay's misses */
.facts { font-size: 15px; color: var(--ink-2); margin: 14px 0 0; }
.facts b { color: var(--ink); font-weight: 600; }
.back { font-size: 14px; margin: 0 0 12px; }
.wrong { margin-top: 12px; max-width: 80ch; }
.wrong p { margin: 0; }
.wrong ul.rules { border-top: 0; margin-top: 4px; }
details.proof { margin-top: 10px; }
h3.group { margin-top: 26px; }
h3 .aside { font-weight: 400; color: var(--ink-3); font-size: 14px; margin-left: 8px; }
form.dataset-pick { margin-top: 18px; }
ul.rules .ids { display: block; font-family: var(--mono); font-size: 12px; color: var(--ink-3); margin-top: 2px; }
ul.rules .amounts { display: block; font-size: 13px; color: var(--ink-2); margin-top: 3px; }
ul.rules.last { border-top: 0; margin-top: 18px; }
.choices.runs { grid-template-columns: minmax(0, 1fr); }
details.proof summary { cursor: pointer; }
table.t.narrow { width: auto; min-width: min(560px, 100%); }
form.rebuild { margin-top: 14px; }
.actions.save { margin-top: 28px; }
.actions.downloads { margin-top: 14px; }

/* ------------------------------------------------------------------ expert review and small forms */
label.check { display: flex; gap: 8px; align-items: baseline; font-size: 14px; color: var(--ink); }
textarea.tall { min-height: 220px; }
form.verdict { display: grid; gap: 6px; min-width: 260px; margin: 0; }
form.verdict .review-choice { gap: 14px; }
form.verdict input[type=text] { padding: 5px 8px; }
form.verdict button { justify-self: start; padding: 4px 12px; }
section.question { padding: 6px 0 14px; border-bottom: 1px solid var(--line); }
section.question h3 { margin-top: 18px; }
section.question form { margin-top: 6px; }
ul.files > li { padding: 5px 0; font-size: 14px; }