/* SPDX-License-Identifier: Apache-2.0 */
.verification-page{max-width:1060px;margin:auto}.verification-page h1{margin:14px 0 8px}.vk-lead{margin:0 0 12px;max-width:70ch}.vk-choice-label{display:flex;gap:10px;align-items:baseline}.vk-choice-label span{font-size:1rem;color:var(--muted)}.vk-observers{display:flex;gap:6px;margin:7px 0}.vk-observers button{min-width:44px;min-height:42px;padding:5px 10px;font-weight:bold}.vk-observers [aria-pressed=true]{background:var(--wine);color:white}.vk-selection{margin:5px 0 10px;font-size:1rem}.vk-criteria{list-style:none;padding:0;margin:0 0 10px;display:flex;gap:18px}.vk-criteria li{display:flex;gap:12px;align-items:center;border-left:3px solid #ada3a2;padding:6px 10px;background:#f4f1ed;flex:1}.vk-criteria strong{white-space:nowrap;font-size:1rem}.vk-criteria span{font-size:1.06rem}.vk-criteria [data-met=false] strong{color:var(--wine)}.vk-run-actions{display:flex;gap:8px}.vk-outcome{margin:10px 0;padding:8px 12px;background:#f5f2ed;border-left:3px solid #a49889;font-size:1rem;display:flex;gap:6px;flex-wrap:wrap}.vk-outcome.accepted{background:#edf5f1;border-color:var(--teal)}.vk-outcome span{flex-basis:100%}.vk-run-status:empty{display:none}.vk-run-status .run-panel{margin:6px 0;font-size:1rem;padding:8px 12px}.vk-run-status .run-panel progress{accent-color:#79706a}.vk-workspace{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:20px;align-items:start;margin-top:12px}.vk-graph-panel{min-width:0;background:white;border:1px solid var(--line);border-radius:7px;overflow:visible}.vk-graph{padding:9px 9px 0}.vk-graph svg{width:100%;max-height:290px;display:block}.vk-key{font-size:.94rem;padding:0 12px;margin:6px 0 12px}.vk-inspect{padding:10px 12px;background:#faf7f3;border-bottom:1px solid var(--line)}.vk-inspect p{font-size:.92rem;margin:0 0 7px}.vk-inspect p span{color:var(--muted)}.vk-inspect-selects{display:grid;grid-template-columns:1fr 1.1fr;gap:8px}.vk-inspect label{font-size:.87rem;display:block}.vk-inspect select{display:block;width:100%;font-size:.94rem;padding:5px;min-height:36px;margin-top:2px}.vk-view-choice{display:flex;gap:8px;align-items:end;margin:7px 0}.vk-view-choice label{flex:1}.vk-view-choice button{font-size:.86rem;min-height:36px;padding:4px 8px}.vk-scope{font-size:.94rem;color:var(--muted)}.vk-evidence{min-width:0}.vk-evidence h2{font-size:1.35rem;margin:0 0 8px}.vk-evidence p{font-size:1.03rem;line-height:1.35;margin:8px 0}.vk-evidence .vk-scope{font-size:.94rem}.vk-distance-chain{display:flex;gap:9px;align-items:center;flex-wrap:wrap;border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:10px 0}.vk-distance-token{min-width:34px;text-align:center;padding:3px 9px;background:#e5edf9;border:1px solid var(--blue);color:var(--blue)}.vk-distance-chain>span+span:before{content:'→';margin-right:10px;color:var(--muted)}.vk-report-table table{border-collapse:collapse;width:100%;font-size:1rem}.vk-report-table th,.vk-report-table td{text-align:center;padding:5px 6px;border-bottom:1px solid var(--line)}.vk-report-table th:first-child{text-align:left}.vk-report-table button{min-height:30px;min-width:35px;padding:2px 8px}.vk-report-table tfoot{background:#f5f1ed}.vk-report-table tfoot th{font-size:.87rem}.vk-report-table .red{color:#a83137}.vk-report-table .green{color:#16764d}.vk-pair{margin-top:18px}.vk-pair-answer{border-left:3px solid var(--wine);padding-left:10px}.vk-record-rows{list-style:none;padding:0}.vk-record-rows li{display:flex;justify-content:space-between;gap:8px;padding:6px 8px;border-bottom:1px solid var(--line);font-size:1rem}.vk-record-rows li.shared{background:#f8efed}.vk-record-rows li>span:last-child{display:flex;flex-wrap:wrap;align-items:center;gap:4px}.vk-record-rows .edge-chip{min-height:30px;padding:2px 8px}.vk-record-rows .ms{white-space:nowrap}.vk-all-records{margin-top:20px}.vk-stages{margin:0 0 12px;gap:4px}.vk-stages button{font-size:.82rem;min-height:32px;padding:4px 8px}.vk-matrix{max-width:300px;margin:auto}.vk-evidence svg{max-width:100%;max-height:260px}.run-panel[data-outcome=budget],.run-panel[data-outcome=collision],.run-panel[data-outcome=rejected]{border-color:#a49889;background:#f5f2ed}.run-panel[data-outcome=accepted]{border-color:var(--teal)}
@media(max-width:700px){.verification-page h1{font-size:1.72rem;line-height:1.08;margin-top:10px}.vk-lead{font-size:1rem;line-height:1.25;margin-bottom:10px}.vk-choice-label{justify-content:space-between;gap:4px;font-size:1rem}.vk-choice-label span{font-size:.85rem}.vk-observers{gap:4px;margin:5px 0}.vk-observers button{flex:1;min-width:0;padding:4px 0;min-height:36px}.vk-selection{font-size:.88rem;line-height:1.2;margin:4px 0 7px}.vk-criteria{display:block;margin:0 0 8px}.vk-criteria li{justify-content:space-between;padding:4px 8px}.vk-criteria li+li{margin-top:3px}.vk-criteria span,.vk-criteria strong{font-size:.94rem}.vk-run-actions button{min-height:36px;padding:5px 11px;font-size:1rem}.vk-outcome{font-size:.91rem;line-height:1.2;padding:7px 9px;margin:7px 0;gap:4px}.vk-workspace{display:flex;flex-direction:column;gap:18px;margin-top:8px}.vk-graph-panel,.vk-evidence{width:100%}.vk-inspect{padding:8px 9px}.vk-inspect>p:first-child{margin:0 0 4px}.vk-inspect>p:first-child span{display:none}.vk-inspect label{font-size:.8rem}.vk-inspect select{font-size:.88rem;min-height:32px;padding:3px}.vk-view-choice{margin:5px 0}.vk-view-choice button{min-height:32px;font-size:.78rem}.vk-inspect .vk-scope{font-size:.82rem;margin:3px 0 0;line-height:1.15}.vk-graph{padding:5px 6px 0}.vk-graph svg{max-height:217px}.vk-key{font-size:.84rem;line-height:1.2;margin:3px 0 8px;padding:0 9px}.vk-evidence h2{font-size:1.25rem}.vk-evidence p{font-size:1rem}.vk-run-status .run-panel{font-size:.9rem;padding:6px 9px}.vk-run-status .run-panel .row button{font-size:.88rem;min-height:32px}.vk-run-status .run-panel strong{font-size:.94rem}.verification-page .lesson-nav{gap:5px}.verification-page .lesson-nav>a{font-size:.85rem}}
.vk-decision{display:grid;grid-template-columns:minmax(300px,.85fr) minmax(0,1fr);gap:22px;align-items:start}.vk-input .vk-criteria{display:block}.vk-input .vk-criteria li{justify-content:space-between;margin-bottom:5px}.vk-selection-figure{border:1px solid var(--line);border-radius:7px;background:white;padding:10px}.vk-selection-graph svg{display:block;width:100%;max-height:275px}.vk-selection-figure .vk-key{margin-bottom:2px}.vk-graph-panel .vk-stages{padding:8px 10px 0;margin:0}.vk-graph-panel .vk-run-status{padding:0 9px}.vk-limit-note{font-size:1rem}.vk-workspace{border-top:1px solid var(--line);padding-top:18px;margin-top:18px}@media(max-width:700px){.vk-decision{display:flex;flex-direction:column;gap:4px}.vk-input,.vk-selection-figure{width:100%}.vk-selection-figure{padding:5px 6px}.vk-selection-graph svg{max-height:210px}.vk-input .vk-criteria li{margin-bottom:3px}.vk-workspace{padding-top:12px;margin-top:14px}}

.vk-bound-note{font-size:.95rem;line-height:1.25;margin:5px 0 9px;color:var(--muted)}.vk-run-status>button{font-size:.92rem;margin:3px 0 6px}@media(max-width:700px){.vk-bound-note{font-size:.86rem;margin:5px 0 7px}.vk-run-actions button{font-size:.93rem;padding:5px 9px}}
.vk-outcome .vk-witness{min-height:30px;padding:2px 8px;font-size:.95rem;background:transparent;text-decoration:underline}