/* Verifier stages 1–2 (v13): the input check (verify-input) and the seed (verify-seed). Prefix vfa-. Apache-2.0. */
.vfa-lab .vfa-two{grid-template-columns:minmax(0,.9fr) minmax(0,1.1fr)}
.vfa-presets{display:flex;flex-direction:column;gap:6px}
.vfa-presets .ex-chips .btn{font-size:15px;padding:6px 11px}
.vfa-entry label{color:var(--muted)}
.vfa-entry textarea{min-height:200px;color:var(--ink)}
.vfa-result{min-width:0}
.vfa-result.is-fail{background:var(--red-tint);border-left-color:var(--red)}
.vfa-verdict-box{border-radius:4px}
.vfa-verdict-box:focus{outline:3px solid var(--focus);outline-offset:3px}
.vfa-verdict{font-size:16.5px;line-height:1.45;margin:0 0 6px;overflow-wrap:anywhere}
.vfa-verdict.is-ok b{color:var(--teal)}
.vfa-verdict.is-bad b{color:var(--red)}
.vfa-stop{font-size:15px;color:var(--ink);margin:0 0 6px}
.vfa-h{font-size:15.5px;margin:12px 0 4px}
.vfa-c{font-family:var(--mono);font-size:.94em;background:#fff;border:1px solid var(--soft-line);border-radius:4px;padding:0 4px;overflow-wrap:anywhere;word-break:break-all}
.vfa-c.is-short{white-space:nowrap;word-break:normal}
.vfa-code{font-family:var(--mono);font-size:13px;color:var(--muted);white-space:nowrap}
@media(pointer:coarse){.vfa-keyhint{display:none}}
.vfa-hidden{display:inline-block;color:var(--ochre);font-size:.8em;line-height:1.2;border:1px dashed var(--ochre-line);border-radius:3px;padding:0 2px;margin:0 1px;vertical-align:1px}
.vfa-faint{color:var(--muted);font-style:italic}
.vfa-nowrap{white-space:nowrap}

/* line-by-line tables (small check and the run window) */
.vfa-lines{font-size:15px;background:#fff}
.vfa-lines caption{font-size:14.5px}
.vfa-lines th[scope=row]{color:var(--muted);font-weight:400;text-align:right;width:3.4em;font-variant-numeric:tabular-nums}
.vfa-lines thead th:first-child{text-align:right}
.vfa-lines td.vfa-text{font-family:var(--mono);font-size:14.5px;overflow-wrap:anywhere;word-break:break-all;min-width:6em}
.vfa-lines tr.is-bad>*{background:var(--red-tint)}
.vfa-lines tr.is-bad td:last-child{color:var(--red);font-weight:700}
.vfa-lines tr.is-unread td{color:var(--muted)}
.vfa-lines tr.is-changed>*{background:var(--ochre-tint)}
.vfa-lines tr.is-changed.is-bad>*{background:var(--red-tint)}
.vfa-lines tr.is-changed td.vfa-text{box-shadow:inset 3px 0 0 var(--ochre)}
.vfa-lines tr.is-on>*{background:var(--wine-tint)}
.vfa-lines tr.is-on td.vfa-text{box-shadow:inset 3px 0 0 var(--wine)}
.vfa-lines tr.vfa-end>*{border-top:2px solid var(--line);border-bottom:none}
.vfa-lines tr.vfa-end th[scope=row]{font-style:italic}

/* the six rules */
.vfa-rules{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:3px;font-size:15px;line-height:1.4}
.vfa-rules li{display:grid;grid-template-columns:1.3em minmax(0,1fr);gap:4px;align-items:baseline}
.vfa-rules .vfa-mark{font-weight:700;text-align:center}
.vfa-rules li.is-ok .vfa-mark,.vfa-rules li.is-part .vfa-mark{color:var(--teal)}
.vfa-rules li.is-bad{color:var(--red);font-weight:700}
.vfa-rules li.is-bad .vfa-code{color:var(--red)}
.vfa-rules li.is-skip{color:var(--muted)}
.vfa-later{font-size:15.5px;line-height:1.45;border-left:3px solid var(--wine-line);padding:6px 10px;margin:6px 0 4px;background:#fff;overflow-wrap:anywhere}
.vfa-later.is-bad{border-left-color:var(--red)}
.vfa-later.is-bad b{color:var(--red)}
.vfa-lines tr.is-later>*{background:var(--red-tint)}
.vfa-lines tr.is-later td.vfa-text{box-shadow:inset 3px 0 0 var(--red)}
.vfa-expect{color:var(--red);font-weight:700}
.vfa-lines tr.vfa-gap td{color:var(--ochre)}
.vfa-lines tr.vfa-gap th[scope=row]{color:var(--ochre)}
.vfa-lab .ex-equation{overflow-y:hidden;padding:6px 0}
.vfa-progress{display:block;width:100%;max-width:420px;height:14px;accent-color:var(--wine)}

/* the real run */
.vfa-run{display:flex;flex-direction:column;gap:8px;min-width:0}
.vfa-run:focus{outline:3px solid var(--focus);outline-offset:3px}
.vfa-source,.vfa-count,.vfa-op,.vfa-change{font-size:15.5px;line-height:1.45;margin:0;overflow-wrap:anywhere}
.vfa-source .big-int{font-size:13.5px}
.vfa-count b{font-size:18px;color:var(--wine)}
.vfa-op{padding:6px 10px;border-left:3px solid var(--wine);background:var(--wine-tint)}
.vfa-change{color:var(--ochre)}
.vfa-reject{font-size:15.5px;line-height:1.45;color:var(--red);background:var(--red-tint);border-left:3px solid var(--red);padding:8px 12px;margin:0;overflow-wrap:anywhere}
.vfa-reject .vfa-code{color:var(--red)}
.vfa-window{margin-top:2px}

/* seed: assemblies, what-if, events */
.vfa-assemblies{font-size:15px}
.vfa-assemblies tr.is-on{background:var(--teal-tint)}
.vfa-block{display:inline-block;border:1.5px solid var(--wine-line);border-radius:6px;padding:0 6px;margin:2px 3px 2px 0;font-family:var(--mono);font-size:14px;background:#fff;white-space:nowrap}
.ex-tag.vfa-tag-whatif{color:var(--ochre);border:1px dashed var(--ochre);background:var(--ochre-tint)}
.vfa-steps{margin:8px 0}
.vfa-steps li{background:#fff}
.vfa-steps .vfa-eq{display:inline-block;max-width:100%;overflow-x:auto;overflow-y:hidden;vertical-align:middle;padding:2px 0}
.vfa-seed-table{background:#fff;margin-top:4px}
.vfa-seed-table tr.is-bad>*{background:var(--red-tint)}
.vfa-timeline{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;gap:6px;align-items:stretch}
.vfa-timeline li{display:flex;flex-direction:column;gap:1px;border:1px solid var(--line);border-radius:7px;padding:5px 10px;background:#fff;font-size:15px;min-width:0;max-width:100%;overflow-x:auto}
.vfa-timeline li.is-on{border:2px solid var(--wine);background:var(--wine-tint)}
.vfa-timeline .vfa-opn{font-size:12.5px;color:var(--muted);font-variant-numeric:tabular-nums}

@media(max-width:760px){
 .vfa-lab .vfa-two{grid-template-columns:minmax(0,1fr)}
}
@media(max-width:640px){
 .vfa-presets .ex-chips{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:6px}
 .vfa-presets .ex-chips .btn{font-size:14.5px;padding:6px 8px;line-height:1.2}
 .vfa-entry textarea{min-height:184px}
 .vfa-lines{font-size:14px}
 .vfa-lines td.vfa-text{font-size:13.5px;min-width:5.2em}
 .vfa-lines th[scope=row]{width:2.6em}
 .vfa-rules{font-size:14.5px}
 .vfa-verdict{font-size:15.5px}
 .vfa-source,.vfa-count,.vfa-op,.vfa-change,.vfa-reject,.vfa-later{font-size:15px}
 .vfa-assemblies,.vfa-seed-table{font-size:14px}
 .vfa-seed-table th,.vfa-seed-table td{padding:5px 4px}
 .vfa-block{font-size:13px;padding:0 4px}
}

/* Shared run panel of the twelve stages (verify-run-panel.mjs). On a phone the Table menu takes the whole row,
   so the selected table (bundled, damaged copy or own file) is readable; Through d and Pace share the next row. */
@media(max-width:640px){
 .workbench .wb-row>.wb-field:first-child{flex:1 1 100%}
}
/* Stage 10 (H) is a consistency view outside Algorithm 1: dashed in the stage list. */
.vf-pipeline .pipe.is-outside{border-style:dashed}
.vf-pipe-note{margin:0 0 10px}
/* Stage 3 (verify-B): the chosen divisor h is worked out in one highlighted card; the others are one line each. */
.vb-tile{border:2px solid var(--wine);background:#fff}
.vb-tile p{margin:4px 0}
.vb-tile-head{font-size:17px}
.vb-others-head{margin:10px 0 4px}
.vb-others{margin:0 0 8px;padding-left:1.2em;color:var(--muted)}
.vb-others li{margin:2px 0}
.vb-link{margin-top:8px}
.vb-sum{overflow-y:hidden;padding:6px 0 10px}