@layer lab-base{@font-face{font-family:vega-sym;src:local(Menlo-Regular),local(STIXTwoMath-Regular),local(Apple Symbols),local(CambriaMath),local(SegoeUISymbol);unicode-range:U+AC,U+D7,U+F7,U+2100-214F,U+2190-21FF,U+22??,U+25B3,U+27F?,U+2A??}:root{--body:"vega-sym", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", sans-serif;--mono:"vega-sym", "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;--display:"vega-sym", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, "PingFang SC", "Hiragino Sans GB", "Microsoft YaHei", sans-serif}svg.venn{width:100%;max-width:460px;height:auto;margin:0 auto;display:block}svg.venn .ubox{fill:var(--card);stroke:var(--line-strong);stroke-width:2px;stroke-dasharray:6 5}svg.venn .ring{fill:none;stroke:var(--ink-soft);stroke-width:2.5px}svg.venn .shade>*{fill:var(--accent);fill-opacity:.17}svg.venn .setlbl{font-family:var(--display);fill:var(--ink);font-size:20px;font-weight:600}svg.venn .ulbl{font-family:var(--mono);fill:var(--muted);font-size:14px;font-weight:600}svg.venn .vchip rect{fill:#fff;stroke:var(--line-strong);stroke-width:2px;transition:fill .15s,stroke .15s}svg.venn .vchip text{font-family:var(--mono);fill:var(--ink);text-anchor:middle;font-size:14px;font-weight:600}svg.venn .vchip.lit rect{fill:var(--accent);stroke:var(--accent-press)}svg.venn .vchip.lit text{fill:#fff}.setfield{font-family:var(--mono);align-items:center;gap:6px;display:inline-flex}.setfield .fname{color:var(--accent-deep);font-size:16px;font-weight:600}.setfield .brace{color:var(--muted);font-size:20px;font-weight:600}.setfield .setin{font-family:var(--mono);letter-spacing:.5px;color:var(--ink);border:1px solid var(--line-strong);border-radius:var(--radius-sm);width:160px;caret-color:var(--accent);background:#fff;padding:7px 12px;font-size:15px;font-weight:600}.setfield .setin:focus{border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-pale);outline:none}.setfield .setin::placeholder{color:var(--muted);letter-spacing:0;font-weight:400}@keyframes set-reject-flash{0%{border-color:var(--bad);box-shadow:0 0 0 4px #f24b5e4d}to{box-shadow:0 0 #f24b5e00}}.setfield .setin.reject-flash{animation:.24s ease-out set-reject-flash}.elrow{flex-wrap:wrap;gap:8px;display:flex}.elchip{font-family:var(--mono);text-align:center;border:1px solid var(--line-strong);min-width:38px;color:var(--ink);border-radius:var(--radius-sm);cursor:pointer;background:#fff;padding:6px 12px;font-size:15px;font-weight:600;transition:transform .12s,box-shadow .12s,color .12s,border-color .12s,background .12s}.elchip:hover{color:var(--accent);border-color:var(--accent)}.elchip.in{background:var(--accent);border-color:var(--accent-press);color:#fff}.elchip.hit{background:var(--good);color:#fff;border-color:#16a35f}.elchip.wrong{background:var(--bad);color:#fff;border-color:#d63a4b}.elchip:active{background:var(--surface-3)}.setexpr{font-family:var(--mono);color:var(--ink);word-break:break-word;padding:10px 0;font-size:22px;font-weight:600;line-height:1.5}.setexpr .brace{color:var(--muted)}.setexpr .name{color:var(--accent-deep)}.setexpr .empty{color:var(--muted);font-size:26px}.setexpr em{color:var(--accent);font-style:normal}.setexpr em.hit{color:#fff;background:var(--good);border-radius:6px;padding:1px 6px}.preds{grid-template-columns:repeat(auto-fill,minmax(max(280px,30%),1fr));gap:10px;display:grid}.pred{border:1px solid var(--line);border-left:5px solid var(--line-strong);border-radius:var(--radius-sm);background:var(--card);align-items:center;gap:10px;padding:10px 13px;transition:border-color .18s,background .18s,opacity .18s;display:flex}.pred .sym{font-family:var(--mono);color:var(--ink);min-width:62px;font-size:16px;font-weight:600}.pred .txt{color:var(--muted);font-size:12.5px;line-height:1.4}.pred .flag{font-family:var(--mono);margin-left:auto;font-size:13px;font-weight:600}.pred.yes{border-left-color:var(--good);background:var(--good-soft)}.pred.yes .flag{color:var(--good)}.pred.no{opacity:.5}.pred.no .flag{color:var(--bad)}.opgrid{flex-wrap:wrap;gap:8px;display:flex}.bignum{font-family:var(--mono);color:var(--accent-deep);font-size:20px;font-weight:600}vega-note ol.numlist{counter-reset:nl;gap:5px;margin:8px 0 10px;padding-left:2px;list-style:none;display:grid}vega-note ol.numlist li{counter-increment:nl;padding-left:26px;line-height:1.6;position:relative}vega-note ol.numlist li:before{content:counter(nl) ")";font-family:var(--mono);color:var(--accent-deep);font-weight:600;position:absolute;left:0}table.vega-cmp th.winc{background:var(--accent);color:#fff}table.vega-cmp td.winc{background:var(--accent-pale);color:var(--accent-deep);font-weight:600}.whys{gap:9px;margin:8px 0 18px;display:grid}.whyrow{border:1px solid var(--line);border-left:5px solid var(--accent);border-radius:var(--radius-sm);background:var(--card);box-shadow:var(--shadow);flex-wrap:wrap;align-items:center;gap:14px;padding:11px 16px;display:flex}.whyrow .op{font-family:var(--display);color:var(--ink);min-width:168px;font-size:15px;font-weight:600}.whyrow .op code{font-size:.82em}.whyrow .arw{font-family:var(--mono);color:var(--accent);font-size:18px;font-weight:600}.whyrow .q{color:var(--ink-soft);font-size:14.5px}.whyrow .q b{color:var(--accent-deep);font-size:16px}.whyrow .q .sub{color:var(--muted);margin-left:8px;font-size:12.5px}@media (width<=560px){.whyrow .op{min-width:auto}}.prodtable{border-collapse:separate;border-spacing:0;font-family:var(--mono);margin:6px auto;font-size:13px}.prodtable th,.prodtable td{border:1px solid var(--line);text-align:center;min-width:46px;padding:7px 11px}.prodtable th{background:var(--accent-soft);color:var(--accent-deep);font-weight:600}.prodtable td.pair{background:var(--card);color:var(--ink)}.prodtable td.pair.lit{background:var(--accent);color:#fff;font-weight:600}.prodtable .corner{background:var(--panel)}.prodext{border-top:1px dashed var(--line);margin-top:16px;padding-top:14px}.prodext-body{margin-top:14px}.ptoggle{font-family:var(--mono);color:var(--accent-deep);cursor:pointer;-webkit-user-select:none;user-select:none;align-items:center;gap:8px;font-size:15px;font-weight:600;display:inline-flex}.ptoggle input{width:15px;height:15px;accent-color:var(--accent);cursor:pointer}.prod3{flex-wrap:wrap;justify-content:center;align-items:flex-start;gap:18px;display:flex}.prod3group{flex-direction:column;align-items:center;display:flex}.prod3group .ghead{font-family:var(--mono);color:var(--accent-deep);margin-bottom:2px;font-size:13px;font-weight:600}.prod3group .prodtable{margin:0}.subsets{flex-wrap:wrap;gap:9px;display:flex}.subsetchip{font-family:var(--mono);border:1px solid var(--line-strong);background:var(--card);color:var(--ink-soft);border-radius:var(--radius-sm);padding:5px 11px;font-size:13px;font-weight:600;transition:background .12s,border-color .12s,color .12s}.subsetchip.empty{color:var(--muted)}.subsetchip.full{border-color:var(--accent);color:var(--accent-deep);background:var(--accent-soft)}.pslevel{align-items:baseline;gap:12px;margin:8px 0;display:flex}.pslevel .k{font-family:var(--mono);color:var(--muted);min-width:96px;font-size:12px;font-weight:600}.blocks{flex-wrap:wrap;align-items:flex-start;gap:12px;display:flex}.block{border:2px dashed var(--accent-line);border-radius:var(--radius-sm);background:var(--accent-soft);min-width:96px;padding:10px 12px 12px}.block .bh{font-family:var(--mono);color:var(--accent-deep);letter-spacing:.3px;margin-bottom:8px;font-size:11px;font-weight:600}.block .bel{flex-wrap:wrap;gap:6px;display:flex}.block.lit{border-style:solid;border-color:var(--accent);background:var(--accent-soft)}.partboard{flex-wrap:wrap;gap:8px;margin:2px 0;display:flex}.partitem{border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--card);align-items:center;gap:5px;padding:6px 9px;transition:opacity .2s,border-color .2s,background .2s,transform .2s,box-shadow .2s;display:inline-flex}.partitem.pending{opacity:.32}.partitem.found{border-color:var(--accent-line);background:var(--accent-soft)}.partitem.fresh{border-color:var(--accent);background:var(--accent);transform:translateY(-2px)}.pblk{font-family:var(--mono);color:var(--pc,var(--ink));font-size:13px;font-weight:600}.pblk:before{content:"{";color:var(--muted)}.pblk:after{content:"}";color:var(--muted)}.partitem.fresh .pblk{color:#fff}.partitem.fresh .pblk:before,.partitem.fresh .pblk:after{color:#ffffffb3}.pv0{--pc:#d2603a}.pv1{--pc:#c98a1e}.pv2{--pc:#3f9a57}.pv3{--pc:#3a7fc4}.pv4{--pc:#8257c4}.pv5{--pc:#c24d86}.rgs{flex-wrap:wrap;gap:8px;margin:4px 0;display:flex}.rgscell{flex-direction:column;align-items:center;gap:4px;min-width:38px;display:flex}.rgscell .rel{font-family:var(--mono);color:var(--ink);font-size:15px;font-weight:600}.rgscell .rval{font-family:var(--mono);text-align:center;border-radius:var(--radius-sm);border:1px solid var(--line-strong);min-width:30px;color:var(--muted);background:#fff;padding:4px 0;font-size:13px;font-weight:600}.rgscell .rval.set{color:#fff;background:var(--pc,var(--accent));border-color:var(--pc,var(--accent-press))}.rgscell.cur .rel{color:var(--accent-deep)}.rgscell.cur .rval{outline:3px solid var(--accent-pale);outline-offset:1px}.pool{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.pchip{font-family:var(--mono);text-align:center;border-radius:var(--radius-sm);border:1px solid var(--line-strong);min-width:30px;color:var(--ink);background:#fff;padding:5px 9px;font-size:14px;font-weight:600}.pchip.min{border-color:var(--accent-press);background:var(--accent);color:#fff}.pchip.pick{background:var(--good-soft);color:#16a35f;border-color:#16a35f}.pseudo{border:2px dashed var(--accent-line);border-radius:var(--radius-sm);background:var(--accent-soft);margin:14px 0;overflow:hidden}.pseudo .phead{font-family:var(--display);color:var(--accent-deep);border-bottom:1px dashed var(--accent-line);letter-spacing:.3px;padding:8px 14px;font-size:12px;font-weight:600}.pseudo pre{font-family:var(--mono);color:var(--ink);white-space:pre;margin:0;padding:12px 16px;font-size:13px;line-height:1.75;overflow-x:auto}.pseudo pre b{color:var(--accent-deep);font-weight:600}.pseudo pre .cmt{color:var(--muted);font-style:italic}.pblk.empty:before,.pblk.empty:after{content:none}.bitrow{flex-wrap:wrap;align-items:flex-end;gap:8px;margin:4px 0;display:flex}.bitcell{flex-direction:column;align-items:center;gap:4px;min-width:40px;display:flex}.bitcell .bel{font-family:var(--mono);color:var(--ink);font-size:15px;font-weight:600}.bitcell .bval{font-family:var(--mono);text-align:center;border-radius:var(--radius-sm);border:1px solid var(--line-strong);min-width:32px;color:var(--muted);background:#fff;padding:5px 0;font-size:14px;font-weight:600}.bitcell.on .bval{color:#fff;background:var(--accent);border-color:var(--accent-press)}.bitcell.on .bel{color:var(--accent-deep)}.bitcell.pend .bval{color:var(--muted);border-style:dashed}.bitcell.cur .bel{color:var(--accent-deep)}.bitcell.cur .bval{outline:3px solid var(--accent-pale);outline-offset:2px}.bitcell.flip .bel{color:#16a35f}.bitcell.flip .bval{outline:3px solid var(--good);outline-offset:2px}.mapwrap{grid-template-columns:1fr 1fr;gap:120px;padding:8px 4px;display:grid;position:relative}.mapcol{flex-direction:column;gap:12px;display:flex}.mapcol .colhead{font-family:var(--display);color:var(--accent-deep);text-align:center;font-size:13px;font-weight:600}.mapnode{font-family:var(--mono);text-align:center;border:1px solid var(--line-strong);color:var(--ink);border-radius:var(--radius-sm);cursor:pointer;z-index:1;background:#fff;padding:8px 0;font-size:15px;font-weight:600;transition:border-color .15s,background .15s,color .15s;position:relative}.mapnode.srcsel{border-color:var(--accent);background:var(--accent-soft)}.mapnode.tsel{border-color:var(--good);background:var(--good-soft)}.mapnode.lit{background:var(--accent);border-color:var(--accent-press);color:#fff}.mapnode.lit2{background:var(--good);color:#fff;border-color:#16a35f}.mapnode.picking{border-style:dashed;border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-pale)}.frows{flex-wrap:wrap;gap:10px;display:flex}.frow{font-family:var(--mono);color:var(--ink);align-items:center;gap:6px;font-size:15px;font-weight:600;display:inline-flex}.frow .fimg{text-align:center;width:54px;padding:5px 8px}.maparrows{pointer-events:none;z-index:0;position:absolute;inset:0}.maparrows line{stroke:var(--line-strong);stroke-width:2.5px}.maparrows line.lit{stroke:var(--accent);stroke-width:3.5px}.maparrows line.lit2{stroke:var(--good);stroke-width:3.5px}.maparrows line.dim{stroke:var(--line);stroke-width:2px;opacity:.6}.mapwrap.tri{grid-template-columns:1fr 1fr 1fr;gap:72px}table.vega-cmp td .rel{padding:0 4px;font-weight:600}table.vega-cmp td .rel.eq{color:var(--good)}table.vega-cmp td .rel.ne{color:var(--bad)}.rangerow{font-family:var(--mono);color:var(--ink);align-items:center;gap:12px;font-size:14px;font-weight:600;display:flex}.rangerow input[type=range]{min-width:140px;accent-color:var(--accent);flex:1}.rangerow .rv{min-width:66px;color:var(--accent-deep)}table.vega-cmp td .cnt{color:var(--accent-deep);font-weight:600}table.vega-cmp td .cnt.zero{color:var(--muted)}.quantrow{flex-wrap:wrap;gap:14px;margin:6px 0;display:flex}.qbadge{border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--card);flex:1;align-items:center;gap:10px;min-width:220px;padding:12px 15px;display:flex}.qbadge .q{font-family:var(--mono);font-size:24px;font-weight:600}.qbadge .qbody{color:var(--ink-soft);font-size:13px;line-height:1.5}.qbadge .qbody b{font-family:var(--mono)}.qbadge.t{border-color:var(--good);background:var(--good-soft)}.qbadge.t .q{color:var(--good)}.qbadge.f{border-color:var(--bad);background:var(--bad-soft)}.qbadge.f .q{color:var(--bad)}.infrow{font-family:var(--mono);flex-wrap:wrap;align-items:center;gap:8px;font-size:15px;display:flex}.infrow .dots{color:var(--accent);letter-spacing:2px;font-size:18px;font-weight:600}.bijrow{font-family:var(--mono);gap:6px;font-size:14px;display:grid}.bijpair{align-items:center;gap:10px;display:flex}.bijpair .a{text-align:right;min-width:54px;color:var(--accent-deep);font-weight:600}.bijpair .arrow{color:var(--muted)}.bijpair .b{color:var(--ink);font-weight:600}.cnrow{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.cnrow>.cnlab{font-family:var(--mono);color:var(--muted);min-width:72px;font-size:13px;font-weight:600}.stirrow{flex-wrap:wrap;gap:8px;margin:4px 0 2px;display:flex}.stircell{font-family:var(--mono);border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--card);flex-direction:column;align-items:center;gap:2px;min-width:66px;padding:6px 12px;display:flex}.stircell .sk{color:var(--muted);font-size:11px;font-weight:600}.stircell .sv{color:var(--ink);font-size:16px;font-weight:600}.stircell.sel{border-color:var(--accent);background:var(--accent-soft)}.stircell.sel .sk,.stircell.sel .sv{color:var(--accent-deep)}.stircell.sum{border-style:dashed}.stircell.sum .sv{color:var(--accent-deep)}.partitem.match{border-color:var(--accent);background:var(--accent-soft)}@media (width<=560px){.mapwrap{gap:70px}.mapwrap.tri{gap:30px}}}