@layer lab-base{:root{--match:#e8590c;--match-soft:#fff0e6;--cut:#0d9488;--cut-soft:#e6f7f4}.vega-lead a{color:var(--accent);border-bottom:1px solid var(--accent-pale);font-weight:600;text-decoration:none}.vega-lead a:hover{color:var(--accent-press);border-bottom-color:var(--accent)}@media (prefers-reduced-motion:reduce){vega-card,button.vega-btn{transition:none!important;animation:none!important}}.graphbox{width:100%;overflow-x:auto}.graphbox svg{touch-action:none;margin:0 auto;display:block}.graphbox svg text{-webkit-user-select:none;user-select:none}.duo{grid-template-columns:1fr 1fr;gap:14px;display:grid}.duo .pane{border:1px solid var(--line-strong);border-radius:var(--radius-sm);background:var(--panel);overflow:hidden}.duo .pane>h4{font-family:var(--mono);background:var(--accent-soft);color:var(--accent-deep);border-bottom:1px solid var(--line-strong);margin:0;padding:7px 13px;font-size:12px}@media (width<=640px){.duo{grid-template-columns:1fr}}.vega-legend .swatch{border-radius:2px;width:22px;height:4px;display:inline-block}.vega-legend .swatch.tree{background:var(--accent)}.vega-legend .swatch.match{background:var(--match)}.vega-legend .swatch.cut{background:var(--cut)}.vega-legend .swatch.cur{background:var(--good)}.vega-legend .swatch.rej{background:var(--bad)}.vega-legend .swatch.plain{background:#d3cbd9}.vega-legend .dot.on{background:var(--accent);border-color:var(--accent-press)}.vega-legend .dot.off{background:#fff;border-color:#80868b}.setrow{flex-wrap:wrap;align-items:center;gap:7px;display:flex}.vchip{font-family:var(--mono);border:1px solid var(--accent-line);background:var(--accent-soft);min-width:26px;height:26px;color:var(--accent-deep);border-radius:8px;justify-content:center;align-items:center;padding:0 6px;font-size:12px;font-weight:600;display:inline-flex}.vchip.on{background:var(--accent);color:#fff;border-color:var(--accent-press)}.vchip.match{background:var(--match);color:#fff;border-color:#b8430a}.vchip.cut{background:var(--cut);color:#fff;border-color:#0a6e64}.vchip.muted{opacity:.5}.scoreboard{flex-wrap:wrap;gap:10px;display:flex}.scorecard{border:1px solid var(--line-strong);min-width:92px;font-family:var(--mono);background:#fff;border-radius:12px;flex:1;padding:9px 13px}.scorecard .vega-lab{color:var(--muted);font-size:11px;font-weight:600}.scorecard .num{color:var(--accent-press);font-size:22px;font-weight:600;line-height:1.2}.scorecard.good{border-color:var(--good);background:var(--good-soft)}.scorecard.good .num{color:var(--good)}.scorecard.bad{border-color:var(--bad);background:var(--bad-soft)}.scorecard.bad .num{color:var(--bad)}.theorem{border:1px solid var(--accent-pale);border-left:6px solid var(--accent);background:var(--accent-soft);color:var(--ink-soft);border-radius:14px;margin:18px 0;padding:13px 16px;font-size:14.5px;line-height:1.75}.theorem .nm{font-family:var(--display);color:var(--accent-deep);font-size:15px;font-weight:600}.theorem b{color:var(--ink)}}