@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+2070-209F,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}.formula{font-family:var(--mono);color:var(--ink);text-align:center;word-break:break-word;padding:8px 0;font-size:clamp(16px,3.6vw,22px);font-weight:600;line-height:1.6}.formula .op{color:var(--muted)}.formula .hl{color:var(--accent-deep)}.formula .res{color:var(--accent);font-size:1.15em}.slots{flex-wrap:wrap;justify-content:center;align-items:flex-end;gap:12px;display:flex}.slotwrap{flex-direction:column;align-items:center;gap:6px;display:flex}.slot{width:62px;height:62px;font-family:var(--mono);color:var(--accent-deep);border:1px solid var(--accent-line);border-radius:var(--radius-sm);background:var(--accent-soft);justify-content:center;align-items:center;font-size:24px;font-weight:600;display:flex}.slotwrap .pos{color:var(--muted);letter-spacing:.3px;font-size:11px;font-weight:600}.slots .times{font-family:var(--mono);color:var(--muted);align-self:center;font-size:20px;font-weight:600}.tuples{flex-wrap:wrap;justify-content:center;gap:7px;display:flex}.tuple{font-family:var(--mono);letter-spacing:1px;border:1px solid var(--line-strong);color:var(--ink);border-radius:var(--radius-sm);background:#fff;padding:5px 11px;font-size:14px;font-weight:600}.tuple.a{border-color:var(--accent-line);background:var(--accent-soft);color:var(--accent-deep)}.tuple.g{background:var(--good-soft);color:#0c7a48;border-color:#c7f0db}.tuple .sep{color:var(--muted);margin:0 1px;font-weight:400}.tuple .more{color:var(--muted)}.morenote{font-family:var(--mono);color:var(--muted);text-align:center;margin-top:8px;font-size:12px}.bins{flex-wrap:wrap;justify-content:center;align-items:flex-start;gap:14px;display:flex}.bin{border:2px dashed var(--accent-line);border-radius:var(--radius-sm);background:var(--accent-soft);min-width:120px;padding:10px 12px 12px}.bin .bh{font-family:var(--mono);color:var(--accent-deep);letter-spacing:.3px;margin-bottom:8px;font-size:11px;font-weight:600}.bin .bel{flex-wrap:wrap;gap:6px;display:flex}.bin .plus{font-family:var(--mono);color:var(--muted);align-self:center;font-size:22px;font-weight:600}.pill{font-family:var(--mono);color:#fff;background:var(--accent);border-radius:999px;padding:3px 10px;font-size:13px;font-weight:600}.treewrap{width:100%;overflow-x:auto}svg.tree{height:auto;margin:0 auto;display:block}svg.tree .edge{fill:none;stroke:var(--line-strong);stroke-width:2px}svg.tree .edge.lit{stroke:var(--accent);stroke-width:3px}svg.tree .nd{fill:#fff;stroke:var(--line-strong);stroke-width:2px}svg.tree .nd.root{fill:var(--accent);stroke:var(--accent-press)}svg.tree .nd.leaf{fill:var(--accent-soft);stroke:var(--accent-line)}svg.tree .ndtext{font-family:var(--mono);fill:var(--ink);text-anchor:middle;dominant-baseline:central;font-size:13px;font-weight:600}svg.tree .ndtext.rt{fill:#fff}svg.tree .leaflbl{font-family:var(--mono);fill:var(--accent-deep);text-anchor:middle;font-size:12px;font-weight:600}.pascal{flex-direction:column;align-items:center;gap:6px;padding:6px 0;display:flex}.prow{justify-content:center;gap:8px;display:flex}.pcell{text-align:center;min-width:40px;font-family:var(--mono);color:var(--ink-soft);border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--card);cursor:pointer;padding:6px 8px;font-size:14px;font-weight:600;transition:background .14s,border-color .14s,color .14s,transform .14s}.pcell:hover{border-color:var(--accent);color:var(--accent-deep)}.pcell.sel{background:var(--accent);border-color:var(--accent-press);color:#fff;transform:translateY(-2px)}.pcell.parent{background:var(--good-soft);border-color:var(--good);color:#0c7a48}.prow.rowsel .pcell{border-color:var(--accent-line)}.starbars{font-family:var(--mono);align-items:center;gap:3px;font-size:22px;font-weight:600;line-height:1;display:inline-flex}.starbars .star{color:var(--accent)}.starbars .bar{color:var(--muted)}.sbrow{font-family:var(--mono);color:var(--ink);flex-wrap:wrap;justify-content:center;align-items:center;gap:12px;font-size:14px;display:flex}.sbrow .arrow{color:var(--muted);font-weight:600}.gaprow{flex-wrap:wrap;justify-content:center;align-items:center;gap:5px;padding:4px 0;display:flex}.skele{width:46px;height:46px;font-family:var(--mono);color:var(--ink);border:1px solid var(--line-strong);border-radius:var(--radius-sm);background:#fff;justify-content:center;align-items:center;font-size:20px;font-weight:600;display:flex}.gap{min-width:28px;height:46px;font-family:var(--mono);color:var(--accent);border:2px dashed var(--accent-line);border-radius:var(--radius-sm);background:var(--accent-soft);flex-direction:column;justify-content:center;align-items:center;font-size:18px;font-weight:600;display:flex}.gap .gi{color:var(--muted);letter-spacing:.2px;font-size:9px;font-weight:600}.bundle{border:1px solid var(--accent);border-radius:var(--radius-sm);background:var(--accent-soft);align-items:center;gap:5px;padding:5px;display:inline-flex}.bundle .skele{border-color:var(--accent-line);color:var(--accent-deep)}.bundle .blbl{font-family:var(--mono);color:var(--accent-deep);font-size:10px;font-weight:600}.tuple .ins{color:var(--accent);font-weight:600}.binom{font-family:var(--mono);color:var(--ink);text-align:center;word-break:break-word;padding:6px 0;font-size:clamp(14px,3.2vw,19px);font-weight:600;line-height:2}.binom .coef{color:var(--accent)}.binom .op{color:var(--muted)}.binom .term.lit{background:var(--hi);border-radius:5px;padding:1px 4px}.deriv{border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--card);margin:6px 0 2px;overflow-x:auto}.drow{border-top:1px solid var(--line);flex-wrap:wrap;align-items:baseline;gap:2px 14px;padding:9px 14px;display:flex}.drow:first-child{border-top:none}.drow .rel{text-align:right;font-family:var(--mono);color:var(--muted);flex:0 0 1.3em;font-weight:600}.drow .expr{font-family:var(--mono);white-space:nowrap;color:var(--ink);font-size:clamp(13px,3vw,17px);font-weight:600}.drow .expr sup{font-size:.72em}.drow .ann{font-family:var(--body);color:var(--muted);align-self:center;margin-left:auto;font-size:12.5px;font-weight:600}.drow .ann:before{content:"← "}.drow.merge{background:var(--accent-soft)}.drow.merge .expr,.drow.merge .ann{color:var(--accent-deep)}div.vega-lab:has(>.deriv){box-shadow:none;background:0 0;border:none;overflow:visible}.dist{justify-content:center;align-items:flex-end;gap:4px;height:200px;padding:6px 16px 0;display:flex}.dcol{cursor:pointer;flex-direction:column;flex:1 1 0;justify-content:flex-end;min-width:6px;max-width:46px;height:100%;display:flex}.dbar{background:var(--accent-soft);border:1px solid var(--accent-line);border-radius:var(--radius-sm) var(--radius-sm) 0 0;border-bottom:none;width:100%;min-height:2px;transition:background .14s,border-color .14s}.dcol:hover .dbar{border-color:var(--accent)}.dcol.sel .dbar{background:var(--accent);border-color:var(--accent-press)}.dcol.mode .dbar{background:var(--good-soft);border-color:var(--good)}.dcol.sel.mode .dbar{background:var(--accent);border-color:var(--accent-press)}.dxaxis{border-top:1px solid var(--line-strong);justify-content:center;gap:4px;padding:5px 16px 0;display:flex}.dxlbl{text-align:center;min-width:6px;max-width:46px;font-family:var(--mono);color:var(--muted);flex:1 1 0;font-size:11px;font-weight:600}.dxlbl.sel,table.vega-cmp td strong{color:var(--accent-deep)}table.vega-cmp tbody tr.selrow td{background:var(--accent-soft);color:var(--accent-deep)}table.vega-cmp tbody tr{cursor:pointer}table.vega-cmp tbody tr.sumrow td{background:var(--panel);color:var(--ink);cursor:default;font-weight:600}}