@layer lab{.vega-ctl input[type=text],.vega-ctl input[type=number]{flex:1;min-width:90px}.twin{flex-wrap:wrap;align-items:flex-start;gap:18px;display:flex}.twin .pane{flex:1;min-width:220px}.twin .pane h4{font-family:var(--mono);color:var(--accent-deep);text-align:center;margin:0 0 6px;font-size:12px;font-weight:600}.vega-legend .dot{border:1px solid;border-radius:50%;width:16px;height:16px}.vega-legend .dot.lo{background:#5936ab;border-color:#43308f}.vega-legend .dot.hi{background:#a992dd;border-color:#43308f}.vega-legend .dot.hot{background:#6e56cf;border-width:3px;border-color:#ffac33}.vega-legend .dot.mono{background:#5f6368;border-color:#665d7a}table.stats{border-collapse:separate;border-spacing:0;font-family:var(--mono);border:1px solid var(--line-strong);border-radius:12px;margin:6px 0;font-size:12.5px;overflow:hidden}table.stats th,table.stats td{border-bottom:1px solid var(--line);border-right:1px solid var(--line);text-align:center;padding:6px 14px}table.stats tr:last-child td{border-bottom:none}table.stats th:last-child,table.stats td:last-child{border-right:none}table.stats th{background:var(--accent-soft);color:var(--accent-deep);font-weight:600}table.stats td.num{color:var(--accent);font-weight:600}.chips{flex-wrap:wrap;gap:6px;display:flex}.opchip{font-family:var(--mono);border:1px solid var(--line);color:var(--ink-soft);background:#fff;border-radius:999px;padding:3px 10px;font-size:11px}.opchip.rotate{border-color:var(--accent);background:var(--accent-soft);color:var(--accent)}.opchip.descend{border-color:var(--line-strong);background:var(--panel);color:var(--ink-soft)}.opchip.done{background:var(--good-soft);color:var(--good);border-color:#b4eecf}.post-check{padding:0 16px 14px}.post-check h3{margin:4px 0 6px}.invariants{gap:4px;margin:8px 0;display:grid}.invariants .row{font-family:var(--mono);border:1px solid var(--line);background:#fff;border-radius:10px;align-items:center;gap:8px;padding:5px 12px;font-size:12px;display:flex}.invariants .row .mark{font-weight:600}.invariants .row.pass{background:var(--good-soft);border-color:#b4eecf}.invariants .row.pass .mark{color:var(--good)}.invariants .row.fail{background:var(--bad-soft);border-color:#f9c0c5}.invariants .row.fail .mark{color:var(--bad)}.invariants .row .name{color:var(--ink-soft)}.seq-cells{flex-wrap:wrap;gap:6px;display:flex}.seq-cells .cell{flex-direction:column;align-items:center;min-width:30px;display:flex}.seq-cells .box{width:30px;height:30px;font-family:var(--mono);color:#43308f;background:#fff;border:1px solid #d3cbd9;border-radius:7px;justify-content:center;align-items:center;font-weight:600;display:flex}.seq-cells .box.on{background:#efe9ff;border-color:#6e56cf}.seq-cells .idx{color:#5f6368;margin-top:2px;font-size:9.5px}}