@layer lab-base{.align{font-family:var(--mono);padding-bottom:4px;overflow-x:auto}.align .grid{gap:4px 0;width:max-content;display:grid}.align .row{grid-auto-columns:30px;grid-auto-flow:column;align-items:center;display:grid}.align .rowlabel{color:var(--muted);letter-spacing:.4px;margin-bottom:4px;font-size:10px}.cell{width:30px;height:34px;color:var(--ink);background:0 0;border:1px solid #0000;border-radius:8px;justify-content:center;align-items:center;font-size:15px;font-weight:600;transition:background .12s,border-color .12s;display:flex}.cell.idx{height:16px;color:var(--muted);font-size:9.5px;font-weight:600}.cell.text{background:var(--card);border-color:var(--line)}.cell.blank{background:0 0;border-color:#0000}.cell.pat{background:var(--accent-soft);border-color:var(--accent-line);color:var(--ink-soft)}.cell.cur{background:var(--hi);border-color:var(--accent-line);color:var(--ink);box-shadow:0 0 0 2px var(--hi)}.cell.match{background:var(--good-soft);border-color:var(--good);color:#166534}.cell.bad{background:var(--bad-soft);border-color:var(--bad);color:#aa2236}.cell.skip{color:#c7d2fe;background:#eef2ff;border-color:#e0e7ff}.cell.hit{color:#075985;background:#e0f2fe;border-color:#0ea5e9}.cell.found{background:var(--good);color:#fff;border-color:#0e9e5e}table.smalltab{border-collapse:separate;border-spacing:0;font-family:var(--mono);border:1px solid var(--line-strong);border-radius:10px;margin:6px 0;font-size:12.5px;overflow:hidden}table.smalltab th,table.smalltab td{border-bottom:1px solid var(--line);border-right:1px solid var(--line);text-align:center;min-width:28px;padding:5px 10px}table.smalltab tr:last-child td{border-bottom:none}table.smalltab th:last-child,table.smalltab td:last-child{border-right:none}table.smalltab th{background:var(--accent-soft);color:var(--accent-deep);font-weight:600}table.smalltab td.rlabel{background:var(--accent-soft);color:var(--muted);font-weight:600}table.smalltab td.v{color:var(--accent);font-weight:600}table.smalltab td.hot{background:var(--accent-pale);box-shadow:inset 0 0 0 2px var(--accent)}table.smalltab .tabwrap{overflow-x:auto}.vega-treebox{padding:6px 2px;overflow:auto}.treesvg{font-family:var(--mono);display:block}.treesvg .t-edge{stroke:var(--line-strong);stroke-width:2px;fill:none}.treesvg .t-edge.on-path{stroke:var(--accent);stroke-width:3px}.treesvg .t-edge.match{stroke:var(--good);stroke-width:3px}.treesvg .t-edge.bad{stroke:var(--bad);stroke-width:3px}.treesvg .t-edgelabel rect{fill:var(--accent-soft);stroke:var(--accent-line);stroke-width:1.5px}.treesvg .t-edgelabel text{fill:var(--accent-deep);text-anchor:middle;font-size:11px;font-weight:600}.treesvg .t-edgelabel.on-path rect{fill:var(--hi);stroke:var(--accent)}.treesvg .t-edgelabel.match rect{fill:var(--good-soft);stroke:var(--good)}.treesvg .t-node circle{fill:var(--card);stroke:var(--line-strong);stroke-width:2px;transition:fill .14s,stroke .14s}.treesvg .t-node text{fill:var(--ink);text-anchor:middle;pointer-events:none;font-size:13px;font-weight:600}.treesvg .t-node .t-wordring{fill:none;stroke:var(--accent);stroke-width:2px;stroke-dasharray:3 3}.treesvg .t-node.root circle{fill:var(--accent-soft);stroke:var(--accent-line)}.treesvg .t-node.on-path circle{stroke:var(--accent);stroke-width:3px}.treesvg .t-node.active circle{fill:var(--hi);stroke:var(--accent);stroke-width:3px}.treesvg .t-node.created circle{fill:var(--accent-2);stroke:var(--accent-press)}.treesvg .t-node.created text{fill:#fff}.treesvg .t-node.match circle{fill:var(--good);stroke:#0e9e5e}.treesvg .t-node.match text{fill:#fff}.treesvg .t-node.bad circle{fill:var(--bad-soft);stroke:var(--bad)}.treesvg .t-node.leaf circle{fill:var(--panel);stroke:var(--accent-line)}.treesvg .t-node.dim{opacity:.32}.treesvg .t-node.pop{animation:.32s both vega-pop}.treesvg .t-fail{stroke:var(--muted);stroke-width:1.6px;stroke-dasharray:4 3;fill:none;opacity:.5}.treesvg .t-fail.active{stroke:#7c3aed;opacity:1;stroke-width:2.4px;stroke-dasharray:none}.treesvg #failarrow path{fill:var(--muted)}.bktreesvg .bk-edge{stroke:var(--line-strong);stroke-width:2px;fill:none;transition:stroke .14s,opacity .14s}.bktreesvg .bk-edge.on-path{stroke:var(--accent);stroke-width:3px}.bktreesvg .bk-edge.pruned{stroke:var(--line);stroke-dasharray:4 4;opacity:.45}.bktreesvg .bk-edgelabel rect{fill:var(--card);stroke:var(--line-strong);stroke-width:1.5px}.bktreesvg .bk-edgelabel text{fill:var(--ink-soft);text-anchor:middle;font-size:11px;font-weight:600}.bktreesvg .bk-edgelabel.on-path rect{fill:var(--hi);stroke:var(--accent)}.bktreesvg .bk-edgelabel.on-path text{fill:var(--ink)}.bktreesvg .bk-edgelabel.pruned{opacity:.4}.bktreesvg .bk-node rect{fill:var(--card);stroke:var(--line-strong);stroke-width:2px;transition:fill .14s,stroke .14s,opacity .14s}.bktreesvg .bk-node text{fill:var(--ink);font-size:12.5px;font-weight:600;font-family:var(--mono);text-anchor:middle;pointer-events:none}.bktreesvg .bk-node.root rect{fill:var(--accent-soft);stroke:var(--accent-line)}.bktreesvg .bk-node.on-path rect{stroke:var(--accent);stroke-width:3px}.bktreesvg .bk-node.active rect{fill:var(--hi);stroke:var(--accent);stroke-width:3px}.bktreesvg .bk-node.created rect{fill:var(--accent-2);stroke:var(--accent-press)}.bktreesvg .bk-node.created text{fill:#fff}.bktreesvg .bk-node.result rect{fill:var(--good);stroke:#0e9e5e}.bktreesvg .bk-node.result text{fill:#fff}.bktreesvg .bk-node.pruned rect{opacity:.3;stroke-dasharray:4 4}.bktreesvg .bk-node.pruned text{opacity:.4}.bktreesvg .bk-node.pop{animation:.32s both vega-pop}table.dptable{border-collapse:separate;border-spacing:0;font-family:var(--mono);margin:4px 0;font-size:13px}table.dptable td,table.dptable th{text-align:center;border:1px solid var(--line);background:var(--card);width:34px;height:34px;color:var(--ink);padding:0;transition:background .12s,border-color .12s,color .12s}table.dptable th{background:var(--accent-soft);color:var(--accent-deep);border-color:var(--accent-pale);font-weight:600}table.dptable th.corner{background:0 0;border-color:#0000}table.dptable td.base{background:var(--panel);color:var(--muted)}table.dptable td.src{background:var(--accent-soft);border-color:var(--accent-line)}table.dptable td.src.diag{color:#1e40af;background:#e7f1fd;border-color:#93c5fd}table.dptable td.cur{background:var(--hi);border-color:var(--accent);color:var(--ink);box-shadow:inset 0 0 0 2px var(--accent);font-weight:600}table.dptable td.path{background:var(--good-soft);border-color:var(--good);color:#166534;font-weight:600}table.dptable td.pathend{background:var(--good);color:#fff;border-color:#0e9e5e;font-weight:600}table.dptable .axislbl{color:var(--muted);font-weight:600}.ops{font-family:var(--mono);flex-wrap:wrap;gap:6px;margin-top:12px;font-size:12.5px;display:flex}.ops .op{border:1px solid var(--line-strong);background:var(--card);border-radius:9px;padding:5px 10px}.ops .op.match{border-color:var(--good);color:#166534;background:var(--good-soft)}.ops .op.replace{border-color:var(--warn);color:#9a5400;background:var(--warn-soft)}.ops .op.delete{border-color:var(--bad);color:#aa2236;background:var(--bad-soft)}.ops .op.insert{color:#075985;background:#e0f2fe;border-color:#0ea5e9}.itemlist{font-family:var(--mono);flex-wrap:wrap;gap:8px;margin-top:12px;font-size:12.5px;display:flex}.itemlist .item{border:1px solid var(--line-strong);background:var(--card);color:var(--ink-soft);border-radius:999px;padding:5px 11px}.itemlist .item.cur{background:var(--hi);border-color:var(--accent);color:var(--ink)}.itemlist .item.match{background:var(--good-soft);border-color:var(--good);color:#166534}.itemlist .item.lo{border-color:#6366f1}.itemlist .item.hi{border-color:#ec4899}.itemlist .item .mut{color:var(--muted)}table.satab{border-collapse:separate;border-spacing:0;font-family:var(--mono);border:1px solid var(--line-strong);border-radius:10px;width:100%;max-width:460px;font-size:12.5px;overflow:hidden}table.satab td,table.satab th{border-bottom:1px solid var(--line);text-align:left;padding:4px 10px}table.satab tr:last-child td{border-bottom:none}table.satab th{background:var(--accent-soft);color:var(--accent-deep);font-size:11px;font-weight:600}table.satab td.r{text-align:right;color:var(--muted)}table.satab tr.mid td{background:var(--hi)}table.satab tr.inrange td{background:var(--good-soft)}table.satab tr.lobound td{box-shadow:inset 3px 0 #6366f1}table.satab tr.hibound td{box-shadow:inset -3px 0 #ec4899}table.satab .pfx{color:var(--good);font-weight:600}.ssdiag{font-family:var(--mono);background:var(--panel);border:1px solid var(--line-strong);border-radius:12px;margin:8px 0 4px;padding:12px 14px;font-size:13px;overflow-x:auto}.ssdiag .row{white-space:pre;color:var(--ink);line-height:1.95}.ssdiag .gs{background:var(--good-soft);color:#166534;border-radius:4px;font-weight:600}.ssdiag .mm{background:var(--bad-soft);color:#aa2236;border-radius:4px;font-weight:600}.ssdiag .alt{background:var(--hi);color:var(--ink);border-radius:4px;font-weight:600}.dcap{color:var(--ink-soft);margin:18px 0 2px;font-size:13.5px;line-height:1.7}.dcap b{color:var(--ink)}.hashbig{font-family:var(--mono);flex-wrap:wrap;gap:18px;margin-top:10px;font-size:13px;display:flex}.hashbig .h{border:1px solid var(--line-strong);background:var(--card);border-radius:12px;padding:8px 14px}.hashbig .h .k{color:var(--muted);margin-bottom:2px;font-size:10px;font-weight:600;display:block}.hashbig .h .num{color:var(--ink);font-size:16px;font-weight:600}.hashbig .h.hit{background:#e0f2fe;border-color:#0ea5e9}.hashbig .h.hit .num{color:#075985}}