.propagation,.neuron-detail{--prop-s1:4px;--prop-s2:8px;--prop-s3:12px;--prop-s4:16px;--prop-s6:24px;--prop-radius:6px;--prop-body:14px;--prop-small:12px;--prop-heading:18px;font-size:var(--prop-body);font-variant-numeric:tabular-nums;min-width:0;line-height:1.5}.propagation h3,.neuron-detail h3{font-size:var(--prop-heading);margin:0 0 var(--prop-s2);color:var(--text)}.neuron-detail h4{font-size:var(--prop-body);margin:var(--prop-s6) 0 var(--prop-s2)}.neuron-detail h4 small{color:var(--muted);font-weight:400}.propagation p,.neuron-detail p{overflow-wrap:anywhere}.prop-heading{align-items:baseline;gap:var(--prop-s3);margin-bottom:var(--prop-s3);flex-wrap:wrap;display:flex}.prop-heading h3{margin:0}.prop-playback,.prop-controls,.prop-breadcrumb{gap:var(--prop-s2);flex-wrap:wrap;align-items:end;display:flex}.propagation button,.propagation select,.neuron-detail select,.propagation input[type=number]{min-height:32px}.propagation button:focus-visible,.propagation select:focus-visible,.propagation input:focus-visible,.propagation canvas:focus-visible,.neuron-detail select:focus-visible,.neuron-detail summary:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.propagation button:active{background:var(--line)}.propagation button:disabled{opacity:1;color:var(--muted)}.propagation ::selection{background:var(--box-fill);color:var(--text)}.neuron-detail ::selection{background:var(--box-fill);color:var(--text)}.propagation input,.neuron-detail select{caret-color:var(--accent)}.propagation label,.prop-field{gap:var(--prop-s1);font-size:var(--prop-small);color:var(--muted);flex-direction:column;display:flex}.propagation input,.propagation select{min-width:0;max-width:100%}.prop-controls input[type=number]{width:100px}.prop-playback>button{min-width:calc(var(--prop-s4) * 5)}.prop-scrub{flex:1;min-width:120px}.prop-scrub input{width:100%;padding:var(--prop-s1) 0;accent-color:var(--accent);margin:0}.prop-playback>label:last-of-type{max-width:132px}.prop-split{gap:var(--prop-s4);margin-top:var(--prop-s4);grid-template-columns:minmax(0,28fr) minmax(0,72fr);align-items:start;display:grid}.prop-network,.prop-layer{min-width:0}@media (width>=900px){.prop-network,.prop-layer{overscroll-behavior:contain;max-height:75vh;padding-right:var(--prop-s1);overflow:auto}}.prop-layer .prop-controls{margin-bottom:var(--prop-s3)}.prop-dag{width:100%;display:block;overflow:visible}.prop-dag text{font-size:var(--prop-small);fill:var(--text)}.prop-block-label,.prop-dag .prop-node-meta{fill:var(--muted)}.prop-edge{fill:none;stroke:var(--edge);stroke-width:1.5px}.prop-node{cursor:pointer}.prop-node>rect{fill:var(--panel2);stroke:var(--line)}.prop-node>rect.mostly-unstable{fill:color-mix(in srgb, var(--warn) 15%, var(--panel))}.prop-node>rect.mostly-stable{fill:color-mix(in srgb, var(--good) 12%, var(--panel))}.prop-node.selected>rect:first-child{fill:var(--box-fill)}.prop-node.evaluating text:first-of-type{font-weight:700}.prop-node:hover>rect:first-child{stroke:var(--line-hover)}.prop-node:focus{outline:none}.prop-node:focus-visible>rect:first-child{stroke:var(--accent);stroke-width:2px}.prop-node rect.prop-share{stroke:none}.prop-node .prop-share.active,.prop-swatch.active{fill:var(--good);background:var(--good)}.prop-node .prop-share.inactive,.prop-swatch.inactive{fill:var(--violet);background:var(--violet)}.prop-node .prop-share.unstable,.prop-swatch.unstable{fill:var(--warn);background:var(--warn)}.prop-swatch.unknown{background:var(--muted)}.prop-legend{gap:var(--prop-s2);font-size:var(--prop-small);margin:var(--prop-s3) 0;flex-wrap:wrap;display:flex}.prop-swatch{width:var(--prop-s2);height:var(--prop-s2);margin-right:var(--prop-s1);display:inline-block}.prop-trend{margin:var(--prop-s4) 0}.prop-trend figcaption,.neuron-channel figcaption{font-size:var(--prop-small);color:var(--muted);margin-bottom:var(--prop-s2)}.prop-trend svg{width:100%;max-height:110px}.prop-trend text,.relaxation-plot text{fill:var(--muted);font-size:11px}.prop-axis{stroke:var(--edge);stroke-width:1px}.prop-trend-line{fill:none;stroke:var(--warn);stroke-width:2px}.prop-trend-dot{fill:var(--warn)}.neuron-channels{gap:var(--prop-s3);grid-template-columns:repeat(auto-fit,minmax(min(100%,108px),1fr));display:grid}.neuron-channel{gap:var(--prop-s1);flex-direction:column;min-width:0;margin:0;display:flex}.neuron-channel canvas{width:100%;height:auto;image-rendering:pixelated;cursor:crosshair;background:var(--well);border-radius:var(--prop-radius);display:block}.neuron-dense canvas{max-width:480px}.neuron-channel small{font-size:var(--prop-small);color:var(--muted)}.propagation .pix figcaption{font-size:var(--prop-small)}.prop-breadcrumb,.prop-mobile-detail{display:none}.prop-bound{gap:var(--prop-s2);margin:var(--prop-s3) 0;grid-template-columns:auto 1fr;display:grid}.prop-bound b{text-align:right;overflow-wrap:anywhere;font-weight:400}.prop-bound svg{grid-column:1/-1;width:100%;height:18px}.prop-bound-line{stroke:var(--accent);stroke-width:5px}.relaxation-plot{background:var(--well);border-radius:var(--prop-radius);width:100%}.relax-box{fill:var(--box-fill);stroke:var(--accent)}.relu-line{fill:none;stroke:var(--text);stroke-width:2px}.envelope{fill:none;stroke-width:2px;stroke-dasharray:5 3}.envelope.lower{stroke:var(--violet)}.envelope.upper{stroke:var(--accent)}.split-point{fill:var(--warn)}.prop-values{gap:var(--prop-s2);grid-template-columns:auto 1fr;display:grid}.prop-values dd{text-align:right;margin:0}.prop-provenance{margin-top:var(--prop-s6)}.prop-provenance summary{cursor:pointer;min-height:32px;color:var(--muted)}@media (width>=1101px){.shell.propagation-open{grid-template-columns:240px minmax(0,1fr) 330px}.propagation-open .insptop{flex-basis:70%}.propagation-open .insphistory{flex-basis:30%}}@media (width<=899px){.prop-split{display:block}.prop-breadcrumb{margin-top:var(--prop-s4);align-items:center;display:flex}.propagation:not(.level-network) .prop-network,.propagation:not(.level-layer) .prop-layer{display:none}.propagation.level-neuron .prop-mobile-detail{display:block}.prop-dag{max-width:300px;margin-inline:auto}.propagation button,.propagation select,.propagation input[type=number],.neuron-detail select{min-height:44px}.propagation .prop-playback{align-items:end}.propagation .prop-playback>label:last-of-type{max-width:100%}.propagation .note,.neuron-detail .note{font-size:var(--prop-small)}}.bab{--bab-pending:var(--warn);--bab-branched:var(--accent);--bab-proved:var(--good);--bab-falsified:var(--bad);--bab-retired:var(--violet);--bab-evicted:var(--zero);--bab-unresolved:var(--muted);font-variant-numeric:tabular-nums;flex-direction:column;gap:10px;min-width:0;display:flex;container-type:inline-size}.bab h4{margin:0 0 6px;font-size:13px}.bab h4 small{color:var(--muted);margin-left:6px;font-weight:400}.bab button:focus-visible,.bab input:focus-visible,.bab summary:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.babhead{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:8px 16px;display:flex}.babstatus{flex-wrap:wrap;align-items:baseline;gap:4px 10px;font-size:13px;display:flex}.babstatus b{font-size:15px}.babreplay{flex:260px;align-items:center;gap:8px;max-width:460px;display:flex}.babreplay input[type=range]{min-width:80px;accent-color:var(--accent);background:0 0;border:0;flex:1;padding:0}.babreplay button{min-width:84px;min-height:28px}.babshare{flex-direction:column;gap:4px;display:flex}.babsharebar{background:var(--well);border-radius:4px;height:8px;display:flex;overflow:hidden}.babsharebar span{min-width:2px}.babcrumbs{flex-wrap:wrap;align-items:center;gap:4px;display:flex}.babtree{overscroll-behavior-x:contain;background:var(--well);border-radius:8px;min-height:64px;overflow:auto hidden}.babtree svg{display:block}.babdepth{fill:var(--muted);font-family:ui-monospace,monospace;font-size:10px}.babedge{stroke:var(--edge);stroke-width:1.2px}.babedge.s-evicted{stroke-dasharray:3 3}.babedge.path{stroke:var(--text);stroke-width:2px}.babnode{cursor:pointer}.babhit{fill:#0000}.babdot{stroke:var(--well);stroke-width:1.5px;animation:.35s ease-out babin}.babnode.s-evicted .babdot{fill:var(--well);stroke:var(--bab-evicted);stroke-width:1.5px}.babnode:hover .babdot{stroke:var(--text)}.babring{fill:none;stroke:var(--text);stroke-width:2px}.babhalo{fill:none;stroke:var(--text);stroke-width:1px;opacity:.35;animation:1s ease-out babhalo}.babmore{fill:var(--muted);text-anchor:middle;font-size:10px}.babdot,.babhalo{transform-box:fill-box;transform-origin:50%}@keyframes babin{0%{opacity:0;transform:scale(.4)}to{opacity:1;transform:none}}@keyframes babhalo{0%{opacity:.9;transform:scale(.6)}to{opacity:.35;transform:none}}@media (prefers-reduced-motion:reduce){.babdot,.babhalo{animation:none}}.babdot.s-pending,.babnode.s-pending .babdot,.bab .s-pending:is(span,i){fill:var(--bab-pending);background:var(--bab-pending)}.babnode.s-branched .babdot,.bab .s-branched:is(span,i){fill:var(--bab-branched);background:var(--bab-branched)}.babnode.s-proved .babdot,.bab .s-proved:is(span,i){fill:var(--bab-proved);background:var(--bab-proved)}.babnode.s-falsified .babdot,.bab .s-falsified:is(span,i){fill:var(--bab-falsified);background:var(--bab-falsified)}.babnode.s-retired .babdot,.bab .s-retired:is(span,i){fill:var(--bab-retired);background:var(--bab-retired)}.bab .s-evicted:is(span,i){background:var(--bab-evicted)}.babnode.s-unresolved .babdot,.bab .s-unresolved:is(span,i){fill:var(--bab-unresolved);background:var(--bab-unresolved)}.babdotkey{vertical-align:-1px;border-radius:50%;width:9px;height:9px;margin-right:5px;display:inline-block}.babkeys{margin:0}.bab .chip.babchip{background:0 0}.bab .babchip.s-pending{color:var(--bab-pending);border-color:var(--bab-pending)}.bab .babchip.s-branched{color:var(--bab-branched);border-color:var(--bab-branched)}.bab .babchip.s-proved{color:var(--bab-proved);border-color:var(--bab-proved)}.bab .babchip.s-falsified{color:var(--bab-falsified);border-color:var(--bab-falsified)}.bab .babchip.s-retired{color:var(--bab-retired);border-color:var(--bab-retired)}.bab .babchip.s-evicted,.bab .babchip.s-unresolved{color:var(--muted);border-color:var(--line)}.bablower{grid-template-columns:minmax(0,1fr);align-items:start;gap:14px;display:grid}@container (width>=1000px){.bablower{grid-template-columns:minmax(0,1.2fr) minmax(0,1fr)}}.babchart{cursor:crosshair}.babchart polyline{fill:none;stroke-width:2px}.babchart .babfrontier{stroke:var(--bab-pending)}.babchart .babsolved{stroke:var(--bab-branched)}.babchart .babproved{stroke:var(--bab-proved)}.babchart .babbound{stroke:var(--bab-retired);stroke-dasharray:4 3;stroke-width:1.5px}.babchart .babzero{stroke:var(--axis);stroke-dasharray:2 3}.babchart .babmarker{stroke:var(--text);stroke-width:1px;opacity:.6}.sw.babsw-pending{background:var(--bab-pending)}.sw.babsw-branched{background:var(--bab-branched)}.sw.babsw-proved{background:var(--bab-proved)}.sw.babsw-bound{background:var(--bab-retired)}.babdetailhead{flex-wrap:wrap;align-items:center;gap:6px 10px;margin-bottom:6px;display:flex}.babdetailhead h4{margin:0}.babdetailhead button{margin-left:auto}.babdetail .kv small{margin-left:4px;font-weight:400}.babpath{flex-direction:column;gap:2px;margin:0 0 10px;padding:0;font-size:12px;list-style:none;display:flex}.babpath li{grid-template-columns:72px minmax(0,1fr);align-items:baseline;gap:8px;display:grid}.babpath .mono{overflow-wrap:anywhere}.babstep{text-align:left;color:inherit;background:0 0;border:1px solid #0000;border-radius:6px;padding:2px 6px}.babstep:hover{background:var(--panel2)}.babstep.here{background:var(--panel2);border-color:var(--line);font-weight:600}.babdetail .chips{margin-bottom:10px}.babtbl td{white-space:nowrap}.babstab{align-items:center;gap:6px;display:inline-flex}.babstabbar{background:var(--well);border-radius:4px;width:64px;height:8px;display:inline-flex;overflow:hidden}.babstabbar i{min-width:1px}.babsummary summary{cursor:pointer;color:var(--muted);font-size:12px}.fuzzsettings,.fuzzcontrols{--fuzz-field-min:150px;--fuzz-space-xs:4px;--fuzz-space-sm:6px;--fuzz-space:8px;--fuzz-space-group:12px;--fuzz-label-size:12px}.fuzzsettings,.fuzzsettings .fuzzgrid,.fuzzcontrols .fuzzgrid{grid-template-columns:repeat(auto-fit, minmax(min(var(--fuzz-field-min), 100%), 1fr))}.fuzzweights{border:0;grid-column:1/-1;min-width:0;margin:0;padding:0}.fuzzweights legend{color:var(--muted);font-size:var(--fuzz-label-size);padding:var(--fuzz-space) 0 var(--fuzz-space-sm)}.fuzzweights legend small{display:inline}.fuzzcontrols{margin-block:var(--fuzz-space-group);min-width:0}.fuzzcontrols .actions{align-items:center}.fuzzpause{min-width:calc(8ch + 2 * var(--fuzz-space-group))}.fuzzcontrols .danger{min-width:calc(17ch + 2 * var(--fuzz-space))}.fuzzliveoptions,.fuzzliveoptions form>.actions{margin-top:var(--fuzz-space)}.fuzzcontrols label{gap:var(--fuzz-space-xs);color:var(--muted);font-size:var(--fuzz-label-size);flex-direction:column;min-width:0;display:flex}.fuzzcontrols input,.fuzzcontrols select{width:100%;min-width:0}.fuzzcontrols .check{align-self:end;align-items:center;gap:var(--fuzz-space-sm);flex-direction:row}.fuzzcontrols .check input{width:auto}.fuzzcontrols :is(button,input,select,summary):focus-visible,.fuzzsettings :is(button,input,select,summary):focus-visible{outline:2px solid var(--accent);outline-offset:2px}.fuzzcontrols :is(button,summary){min-height:24px}.fuzzcontrols input,.fuzzsettings input{caret-color:var(--accent)}.fuzzcontrols input:disabled,.fuzzcontrols select:disabled{opacity:.5}.fuzzchangelist{font-size:var(--fuzz-label-size);margin:0;padding:0;list-style:none}.fuzzchangelist li{margin-block:var(--fuzz-space);overflow-wrap:anywhere}.fuzzrejected{color:var(--error-text)}.fuzzchanges summary{cursor:pointer;color:var(--muted);font-size:var(--fuzz-label-size)}@media (pointer:coarse){.fuzzcontrols :is(button,summary),.fuzzsettings summary,.fuzzcontrols label,.fuzzsettings label{min-height:44px}}:root{--bg:#0f1218;--panel:#161b23;--panel2:#1c222c;--line:#2a3240;--text:#e6e9ef;--muted:#8b95a7;--accent:#6aa9ff;--good:#3fb97a;--bad:#e5534b;--warn:#d9a33a;--violet:#a78bfa;--on-accent:#081120;--line-hover:#3b4658;--edge:#4a5568;--well:#10151c;--zero:#5b667a;--axis:#3a4454;--error-bg:#3a1d1d;--error-text:#ffb4ae;--before:#a78bfa59;--box-fill:#6aa9ff40;--k-lin:#1a2638;--k-act:#2a2140;--k-spec:#33281a;--k-io:#17302a;--k-misc:#222a33;--rail:#12161d;--sunken:#0000002e;--scroll:#3b4658;--scroll-idle:#8b95a72e;--shadow:0 1px 2px #00000040;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;color:var(--text);background:var(--bg);font-family:Inter,system-ui,-apple-system,Segoe UI,sans-serif;font-size:14px}:root[data-theme=light]{--bg:#f4f6f9;--panel:#fff;--panel2:#eef1f5;--line:#d5dbe3;--text:#1b2230;--muted:#5d6879;--accent:#2563eb;--good:#18864b;--bad:#c9362e;--warn:#a86b00;--violet:#7c4ddb;--on-accent:#fff;--line-hover:#aab4c3;--edge:#9aa5b4;--well:#e6eaf0;--zero:#8792a3;--axis:#c3cad5;--error-bg:#fdecea;--error-text:#9b211b;--before:#7c4ddb47;--box-fill:#2563eb2e;--k-lin:#e3edfb;--k-act:#eee7fb;--k-spec:#fbf0de;--k-io:#e0f4ec;--k-misc:#eceff3;--rail:#eceff4;--sunken:#1b22300a;--scroll:#aab4c3;--scroll-idle:#5d687933;--shadow:0 1px 3px #1b223014;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}*{box-sizing:border-box}body{margin:0}button,select,input,textarea{font:inherit;color:inherit}h2{text-transform:uppercase;letter-spacing:.06em;color:var(--muted);margin:0 0 10px;font-size:13px}h2 small,h3 small{text-transform:none;letter-spacing:0;color:var(--muted);margin-left:6px;font-weight:400}h3{margin:12px 0 8px;font-size:15px}.mono{font-family:JetBrains Mono,ui-monospace,Menlo,monospace;font-size:12px}.muted{color:var(--muted)}.note{color:var(--muted);margin:6px 0;font-size:12px}.error{background:var(--error-bg);border:1px solid var(--bad);color:var(--error-text);border-radius:6px;margin:6px 0;padding:8px 10px}.shell{grid-template:"top top top""side center insp"minmax(0,1fr)/300px minmax(0,1fr) 440px;height:100vh;display:grid}.topbar{border-bottom:1px solid var(--line);background:var(--panel);flex-wrap:wrap;grid-area:top;align-items:center;gap:16px;padding:10px 16px;display:flex}.brand{align-items:center;gap:8px;font-weight:600;display:flex}.logo{background:var(--accent);color:var(--on-accent);border-radius:6px;padding:2px 7px;font-weight:800}.context{flex-wrap:wrap;flex:1;align-items:center;gap:6px;display:flex}.ctx{white-space:nowrap;background:var(--panel2);border:1px solid var(--line);border-radius:999px;align-items:center;padding:3px 10px;font-size:12px;line-height:1.4;display:inline-flex}.ctx b{color:var(--muted);margin-right:4px;font-weight:500}.ctx.unset{opacity:.55}.badge{border:1px solid var(--line);cursor:help;border-radius:999px;padding:4px 10px;font-size:12px}.badge.good{border-color:var(--good);color:var(--good)}.badge.warn{border-color:var(--warn);color:var(--warn)}.badge.bad{border-color:var(--bad);color:var(--bad)}.badge.muted{color:var(--muted)}.sidebar{border-right:1px solid var(--line);background:var(--rail);flex-direction:column;grid-area:side;gap:14px;padding:14px 12px;display:flex;overflow:auto}.center{flex-direction:column;grid-area:center;gap:14px;padding:14px 16px;display:flex;overflow:auto}.inspector{border-left:1px solid var(--line);background:var(--panel);flex-direction:column;grid-area:insp;min-height:0;display:flex}.panel{background:var(--panel);border:1px solid color-mix(in srgb, var(--line) 75%, transparent);box-shadow:var(--shadow);border-radius:12px;padding:14px}.sidebar,.center,.tabbody,.insphistory,.scrolllist,.graphwrap,.tblwrap,.steps,.tabs,.batchchips .chips,.presencelist,.prop-network,.prop-layer{scrollbar-width:thin;scrollbar-color:var(--scroll-idle) transparent}:is(.sidebar,.center,.tabbody,.insphistory,.scrolllist,.graphwrap,.tblwrap,.steps,.tabs,.batchchips .chips,.presencelist,.prop-network,.prop-layer):hover{scrollbar-color:var(--scroll) transparent}.sidebar,.center,.tabbody,.insphistory{scrollbar-gutter:stable}.scrolllist,.batchchips .chips,.presencelist{background:var(--sunken);border-radius:10px;padding:6px}@property --fade-top{syntax:"<length>";inherits:false;initial-value:0}@property --fade-bottom{syntax:"<length>";inherits:false;initial-value:0}@keyframes scrollfade{0%{--fade-top:0px;--fade-bottom:22px}8%,92%{--fade-top:22px;--fade-bottom:22px}to{--fade-top:22px;--fade-bottom:0px}}@supports (animation-timeline:scroll()){.scrolllist,.tabbody,.insphistory,.batchchips .chips,.presencelist{-webkit-mask-image:linear-gradient(to bottom, transparent 0, #000 var(--fade-top), #000 calc(100% - var(--fade-bottom)), transparent 100%);mask-image:linear-gradient(to bottom, transparent 0, #000 var(--fade-top), #000 calc(100% - var(--fade-bottom)), transparent 100%);animation:linear both scrollfade;animation-timeline:scroll(self)}}.split{grid-template-columns:1fr 1fr;gap:12px;display:grid}.split.stack{grid-template-columns:1fr}.list{flex-direction:column;gap:6px;margin:0;padding:0;list-style:none;display:flex}.scrolllist{overscroll-behavior:contain;overflow-y:auto}.scrolllist>li{flex-shrink:0}.item{text-align:left;background:var(--panel2);border:1px solid var(--line);cursor:pointer;border-radius:8px;flex-direction:column;gap:4px;width:100%;padding:8px 10px;transition:border-color .15s,background-color .15s;display:flex}.item:hover{border-color:var(--line-hover)}.item.active{border-color:var(--accent);box-shadow:inset 3px 0 0 var(--accent)}.item .title{font-weight:600}.item .sub{color:var(--muted);font-size:12px}.item .sub.err{color:var(--error-text)}.chips{flex-wrap:wrap;gap:4px;display:flex}.chip{border:1px solid var(--line);background:0 0;border-radius:999px;padding:1px 8px;font-size:11px}.chip.good,.v-certified{color:var(--good);border-color:var(--good)}.v-falsified{color:var(--bad);border-color:var(--bad)}.v-unknown,.v-timeout,.chip.warn{color:var(--warn);border-color:var(--warn)}.s-running,.s-queued{color:var(--accent);border-color:var(--accent)}.s-failed{color:var(--bad);border-color:var(--bad)}.chip.link{cursor:pointer}.chip.link:hover:not(:disabled){border-color:var(--accent);color:var(--accent)}.chip.link:disabled{opacity:.6;cursor:default}.form{grid-template-columns:1fr 90px;align-items:end;gap:8px;margin-bottom:10px;display:grid}.form label{color:var(--muted);flex-direction:column;gap:4px;font-size:12px;display:flex}.form .primary{grid-column:1/-1}.form select,.form input{width:100%;min-width:0}select,input,textarea{background:var(--panel2);border:1px solid var(--line);border-radius:6px;padding:6px 8px}textarea{resize:vertical;width:100%}button{cursor:pointer}button:disabled{opacity:.5;cursor:not-allowed}.primary,a.button{background:var(--accent);color:var(--on-accent);border:0;border-radius:6px;padding:8px 12px;font-weight:600;text-decoration:none;display:inline-block}.secondary{background:var(--panel2);color:inherit;border:1px solid var(--line);border-radius:6px;padding:6px 10px}a.button.secondary{background:var(--panel2);color:inherit;border:1px solid var(--line);font-weight:400}.secondary:hover:not(:disabled){border-color:var(--accent)}.small,a.button.small{padding:3px 8px;font-size:12px}.danger{color:var(--bad);border:1px solid var(--bad);background:0 0;border-radius:6px;padding:3px 10px;font-weight:600}.danger:hover:not(:disabled){background:var(--error-bg)}.runitem.live{align-items:stretch;gap:6px;display:flex}.runitem.live .item{flex:1;min-width:0}.runitem.tools{position:relative}.runitem.tools .item .title{padding-right:76px}.runitem .snapshot{text-decoration:none;position:absolute;top:6px;right:8px}.bannerrow{justify-content:space-between;align-items:center;gap:10px;display:flex}.verdict{flex-direction:column;gap:6px;margin-top:0;font-size:13px;display:flex}.verdict.bannerrow{flex-direction:row}.verdict .vbig{letter-spacing:.05em;font-size:16px}.verdicthead{flex-wrap:wrap;align-items:center;gap:8px;display:flex}.verdictce{flex-wrap:wrap;align-items:center;gap:12px;display:flex}.ceactions{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.cecard.saved{border-color:var(--good)}.graphwrap{overscroll-behavior:contain;max-height:min(40vh,420px);overflow:auto}.graphwrap .graph{margin:0 auto;display:block}.modes{padding:0}.modes .tabs{padding:0 6px}.modebody{padding:12px}.graph .edge{fill:none;stroke:var(--edge);stroke-width:1.5px}.arrowhead{fill:var(--edge)}.node{cursor:pointer}.node rect{fill:var(--panel2);stroke:var(--line);stroke-width:1.5px}.node:hover rect{stroke:var(--line-hover)}.node.selected rect{stroke:var(--accent);stroke-width:2.5px}.node:focus{outline:none}.node:focus-visible rect{stroke:var(--accent);stroke-dasharray:3 2}.nkind{fill:var(--text);font-size:13px;font-weight:600}.nsub{fill:var(--muted);font-size:11px}.k-lin rect{fill:var(--k-lin)}.k-act rect{fill:var(--k-act)}.k-spec rect{fill:var(--k-spec)}.k-io rect{fill:var(--k-io)}.k-pool rect,.k-shape rect{fill:var(--k-misc)}.tbl{border-collapse:collapse;width:100%;margin:6px 0;font-size:12px}.tbl th,.tbl td{text-align:left;border-bottom:1px solid var(--line);padding:4px 6px}.tbl th{color:var(--muted);font-weight:500}.spec .label{color:var(--muted);margin-top:6px;font-size:12px}.kv{grid-template-columns:max-content 1fr;gap:4px 12px;margin-bottom:8px;font-size:13px;display:grid}.kv span{color:var(--muted)}.kv b{overflow-wrap:anywhere;font-weight:500}.av-unsupported{color:var(--bad)}.av-available{color:var(--good)}.av-pending{color:var(--accent)}.av-not_recorded{color:var(--warn)}.tabs{border-bottom:1px solid var(--line);display:flex;overflow-x:auto}.tab{color:var(--muted);background:0 0;border:0;border-bottom:2px solid #0000;flex:1 0 auto;padding:10px}.tab.active{color:var(--text);border-bottom-color:var(--accent)}.tabbody{flex:1;min-height:0;padding:12px;overflow:auto}.empty{text-align:center;color:var(--muted);padding:30px 12px}.empty h3{color:var(--text)}.placeholder{border:1px dashed var(--line);color:var(--muted);border-radius:8px;margin-top:12px;padding:12px;font-size:12px}.stepper{align-items:center;gap:6px;display:flex}.stepper>button{background:var(--panel2);border:1px solid var(--line);white-space:nowrap;border-radius:6px;padding:4px 8px}.steps{flex:1;gap:4px;display:flex;overflow-x:auto}.stepdot{background:var(--panel2);border:1px solid var(--line);border-radius:6px;flex-direction:column;align-items:center;min-width:46px;padding:3px 4px;display:flex}.stepdot small{color:var(--muted);font-size:9px}.stepdot.active{border-color:var(--accent);color:var(--accent)}.legend{flex-wrap:wrap;gap:12px;margin:4px 0 8px;font-size:12px;display:flex}.sw{vertical-align:middle;border-radius:2px;width:14px;height:8px;margin-right:4px;display:inline-block}.sw.before,.bar.before{background:var(--before)}.sw.after,.bar.after{background:var(--accent)}.bars{flex-direction:column;gap:3px;display:flex}.barrow{background:0 0;border:1px solid #0000;border-radius:4px;grid-template-columns:28px 1fr 150px;align-items:center;gap:8px;padding:2px 4px;display:grid}.barrow:hover{background:var(--panel2)}.barrow.active{border-color:var(--accent);background:var(--panel2)}.barrow .idx{color:var(--muted);text-align:right;font-size:11px}.track{background:var(--well);border-radius:3px;height:14px;position:relative}.track .zero{background:var(--zero);width:1px;position:absolute;top:-2px;bottom:-2px}.bar{border-radius:2px;height:10px;position:absolute;top:2px}.bar.before{height:14px;top:0}.vals{text-align:right;color:var(--muted)}.proj{border-top:1px solid var(--line);margin-top:14px;padding-top:10px}.projhead{align-items:center;gap:10px;margin-bottom:6px;display:flex}.projsvg{background:var(--well);border-radius:6px}.projsvg .axis{stroke:var(--axis)}.projsvg .plabel{fill:var(--muted);font-family:ui-monospace,monospace;font-size:10px}.projsvg .box{fill:var(--box-fill);stroke:var(--accent)}.themetoggle{background:var(--panel2);border:1px solid var(--line);border-radius:999px;padding:4px 10px;font-size:12px}.themetoggle:hover{border-color:var(--accent)}.assistant{flex-direction:column;gap:8px;display:flex}.answer{flex-direction:column;gap:8px;margin-top:6px;display:flex}.section{border-left:3px solid var(--line);background:var(--panel2);border-radius:0 6px 6px 0;padding:4px 10px}.section p{margin:4px 0 6px}.seckind{text-transform:uppercase;letter-spacing:.08em;color:var(--muted);font-size:10px}.sec-observation{border-left-color:var(--good)}.sec-interpretation{border-left-color:var(--accent)}.sec-hypothesis{border-left-color:var(--violet)}.sec-missing{border-left-color:var(--warn)}.form .check{flex-direction:row;grid-column:1/-1;align-items:center;gap:6px}.form .check input{width:auto}.fuzzsettings{grid-column:1/-1;grid-template-columns:repeat(auto-fill,minmax(150px,1fr));align-items:end;gap:8px;display:grid}.fuzzadvanced{border:1px solid var(--line);border-radius:8px;grid-column:1/-1;padding:6px 10px}.fuzzadvanced summary{cursor:pointer;color:var(--muted);font-size:12px}.fuzzadvanced[open] summary{margin-bottom:8px}.fuzzadvanced>.label{color:var(--muted);margin:10px 0 6px;font-size:12px}.fuzzadvanced>button{margin-top:8px}.fuzzgrid{grid-template-columns:repeat(auto-fill,minmax(150px,1fr));gap:8px;display:grid}.fuzzgrid label small{color:var(--muted)}.fuzzsettings .wide{grid-column:span 2}.batchrow{grid-template-columns:90px 1fr;align-items:end;gap:8px;display:grid}.batchchips summary{cursor:pointer;color:var(--muted);white-space:nowrap;text-overflow:ellipsis;font-size:12px;overflow:hidden}.batchchips .chips{max-height:84px;margin-top:6px;overflow-y:auto}.batchchips .chip{cursor:pointer}.batchchips button.chip{line-height:inherit}.ceselect{font-size:12px}.ceselect select{max-width:220px;font-size:12px}.batchchips .chip.active{border-color:var(--accent);color:var(--accent)}.item .sub.clamp{-webkit-line-clamp:2;overflow-wrap:anywhere;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.sw.ce{background:var(--bad)}.sw.seed{background:var(--muted)}.fuzzchart .cov{fill:none;stroke:var(--accent);stroke-width:2px}.fuzzchart .ces{fill:none;stroke:var(--bad);stroke-width:2px}.fuzzchart .firstce{stroke:var(--bad);stroke-dasharray:3 3;opacity:.7}.fuzzchart .framemark{stroke:var(--accent);stroke-width:1.5px;opacity:.8}.fuzzlive{grid-template-columns:minmax(260px,1fr) 272px;align-items:start;gap:14px;display:grid}.fuzzlive-chart{min-width:0}.mutpanel{border:1px solid var(--line);border-radius:6px;flex-direction:column;gap:6px;padding:8px;display:flex}.mutimgs{align-items:flex-start;gap:10px;display:flex}.mutside{flex-direction:column;gap:6px;display:flex}.muthead{flex-wrap:wrap;align-items:center;gap:8px;font-size:13px;display:flex}.mutmeta{flex-direction:column;gap:1px;font-size:11px;display:flex}.mutctl{align-items:center;gap:8px;display:flex}.mutctl input{flex:1;min-width:80px}@media (width<=900px){.fuzzlive{grid-template-columns:minmax(0,1fr)}}.track.share{min-width:60px;display:block}.track .pin{border-radius:1px;width:3px;height:16px;margin-left:-1px;position:absolute;top:-1px}.pin.ce{background:var(--bad)}.pin.seed{background:var(--muted);opacity:.8}.tblwrap{overflow-x:auto}.tblwrap.rowscroll{overscroll-behavior:contain;max-height:360px;overflow-y:auto}.tblwrap.rowscroll thead th{background:var(--panel);z-index:1;position:sticky;top:0}.tbl tr.rowlink{cursor:pointer}.tbl tr.rowlink:hover{background:var(--panel2)}.tbl tr.rowsel{background:var(--panel2);box-shadow:inset 3px 0 0 var(--bad)}.fuzz h4{margin:12px 0 6px;font-size:13px}.findings{flex-wrap:wrap;gap:6px;margin-bottom:8px;display:flex}.chip.bad{border-color:var(--bad);color:var(--bad)}.cegrid{grid-template-columns:repeat(auto-fill,minmax(190px,1fr));gap:8px;display:grid}.cecard{text-align:left;background:var(--panel2);border:1px solid var(--line);border-radius:8px;flex-direction:column;gap:6px;padding:8px;font-size:12px;display:flex}.cecard:hover{border-color:var(--line-hover)}.cecard.active{border-color:var(--bad);box-shadow:inset 3px 0 0 var(--bad)}.cehead{justify-content:space-between;gap:6px;display:flex}.cehead .muted{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.cemeta{flex-wrap:wrap;justify-content:space-between;gap:6px;font-size:11px;display:flex}.more{margin-top:8px;padding:4px 10px;font-size:12px}.ceclass{flex-wrap:wrap;align-items:center;gap:4px;display:flex}.spark{background:var(--well);border-radius:4px}.spark .axis{stroke:var(--axis)}.spark .up{fill:var(--bad)}.spark .down{fill:var(--accent)}.pixrow{flex-wrap:wrap;gap:6px;display:flex}.pix{flex-direction:column;align-items:center;gap:2px;margin:0;display:flex}.pix canvas{width:52px;height:52px;image-rendering:pixelated;border:1px solid var(--line);border-radius:3px}.pix.big canvas{width:140px;height:140px}.pix.huge canvas{width:196px;height:196px}.pix figcaption{text-align:center;max-width:196px}.perturb{flex-direction:column;gap:6px;display:flex}.gain,.perturbctl{flex-wrap:wrap;align-items:center;gap:8px;font-size:12px;display:flex}.gain input{width:160px}.perturbctl select{max-width:100%}.inputdomain h4{margin:12px 0 6px;font-size:13px}.robust p{margin:6px 0}.classrow{flex-wrap:wrap;gap:4px;display:flex}.spec details summary{cursor:pointer}.loadpanel{padding:0}.loadpanel h2{padding:12px 12px 0}.loadpanel .tabs{padding:0 6px}.loadform{flex-direction:column;gap:8px;padding:12px;display:flex}.loadform label{color:var(--muted);flex-direction:column;gap:4px;font-size:12px;display:flex}.loadform select,.loadform input[type=number]{width:100%;min-width:0}.loadform .stepper input{width:80px}.loadform .stepper{flex-wrap:wrap}.epsrow{align-items:center;gap:8px;display:flex}.epsrow input[type=range]{flex:1}.epsrow input[type=number]{width:84px}.samplepreview{justify-content:center;display:flex}.grouptitle{color:var(--muted);margin:10px 0 6px;font-size:12px}.modelgroup:first-of-type .grouptitle{margin-top:0}.pix figcaption{color:var(--muted);font-size:10px}.barrow.outrow{grid-template-columns:28px 1fr 150px 48px}.barrow.outrow.pred{background:var(--panel2)}.bar.shift{background:var(--bad);opacity:.3}.outrow .tags{gap:3px;display:flex}.insptop{flex-direction:column;flex:50%;min-height:0;display:flex}.insphistory{border-top:1px solid var(--line);background:var(--rail);flex:50%;min-height:0;padding:12px;overflow:auto}.presence{cursor:default;border-top:1px solid var(--line);color:var(--muted);flex:none;align-items:center;gap:6px;padding:8px 12px;font-size:12px;display:flex;position:relative}.presence b{color:var(--text);font-variant-numeric:tabular-nums;animation:.4s ease-out presencepop}.presencedot{background:var(--good);width:8px;height:8px;box-shadow:0 0 0 0 var(--good);border-radius:50%;animation:2s ease-out infinite presencepulse}.presencedot.off{background:var(--muted);animation:none}@keyframes presencepulse{0%{box-shadow:0 0 0 0 color-mix(in srgb, var(--good) 60%, transparent)}to{box-shadow:0 0 0 6px #0000}}@keyframes presencepop{0%{opacity:.3}to{opacity:1}}@media (prefers-reduced-motion:reduce){.presencedot,.presence b{animation:none}}.presence:focus-visible{outline:2px solid var(--accent);outline-offset:-2px}.presencepop{z-index:50;background:var(--panel);border:1px solid var(--line);width:340px;max-width:calc(100vw - 24px);color:var(--text);border-radius:10px;padding:10px;position:absolute;bottom:calc(100% + 6px);right:8px;box-shadow:0 8px 24px #00000059}.worldmap{aspect-ratio:2;background:var(--bg);border-radius:6px;width:100%;display:block}.worldmap path{fill:var(--panel2);stroke:var(--line);stroke-width:.4px}.worldmap path.on{stroke:var(--accent)}.worldmap.loading{color:var(--muted);place-items:center;font-size:12px;display:grid}.presencelist{flex-direction:column;gap:3px;max-height:120px;margin:8px 0 0;padding:0;list-style:none;display:flex;overflow-y:auto}.presencelist li{justify-content:space-between;gap:8px;font-size:12px;display:flex}.presencelist b{font-variant-numeric:tabular-nums;animation:none}.presencepop .note{margin:6px 0 0;font-size:11px}@media (width<=1100px){.shell{grid-template:"top top""side center"minmax(0,1fr)"insp insp"/260px minmax(0,1fr);height:auto;min-height:100vh}.inspector{border-left:0;border-top:1px solid var(--line)}}@media (width<=720px){.shell{grid-template-columns:minmax(0,1fr);grid-template-areas:"top""side""center""insp"}.sidebar,.center,.inspector{min-width:0}.sidebar{border-right:0}.split{grid-template-columns:1fr}.barrow{grid-template-columns:24px 1fr 110px}.barrow.outrow{grid-template-columns:24px 1fr 110px 40px}}button.badge{color:inherit;background:0 0}.license h4{margin:14px 0 6px;font-size:13px}.state.good{color:var(--good)}.state.warn{color:var(--warn)}.state.bad{color:var(--bad)}.seg{gap:4px;margin-bottom:8px;display:flex}.seg button{background:var(--panel2);border:1px solid var(--line);color:var(--muted);border-radius:6px;flex:1;padding:6px 4px;font-size:12px}.seg button.on{color:var(--text);border-color:var(--accent);box-shadow:inset 0 -2px 0 var(--accent)}.licform{flex-direction:column;gap:8px;display:flex}.licform label{color:var(--muted);flex-direction:column;gap:4px;font-size:12px;display:flex}.licform input,.licform textarea,.licform select{color:var(--text);min-width:0}.actions{flex-wrap:wrap;gap:8px;display:flex}.urlrow{gap:6px;display:flex}.urlrow input{flex:1}.secondary{background:var(--panel2);border:1px solid var(--line);border-radius:6px;padding:8px 12px}.banner{border:1px solid var(--line);overflow-wrap:anywhere;border-radius:6px;margin:10px 0;padding:8px 10px;font-size:12px}.banner.good{border-color:var(--good)}.banner.good b{color:var(--good)}.banner.warn{border-color:var(--warn)}.banner.warn b{color:var(--warn)}.banner.bad{border-color:var(--bad);background:var(--error-bg)}.banner.bad b{color:var(--error-text)}.tourblock{z-index:1000;position:fixed;inset:0}.tourblock.dim{background:#0000008c}.tourspot{z-index:1001;border:2px solid var(--accent);pointer-events:none;border-radius:10px;transition:top .2s,left .2s,width .2s,height .2s;position:fixed;box-shadow:0 0 0 9999px #0000008c}.tourcard{z-index:1002;background:var(--panel);border:1px solid var(--line);border-radius:10px;width:min(360px,100vw - 16px);padding:14px 16px;position:fixed;box-shadow:0 10px 30px #00000059}.tourcard h3{margin:2px 0 6px;font-size:15px}.tourcard p{margin:0 0 8px;line-height:1.45}.tourstep{color:var(--muted);font-size:11px}.touractions{align-items:center;gap:6px;margin-top:10px;display:flex}.tourgrow{flex:1}.tourskip{color:var(--muted);cursor:pointer;background:0 0;border:0;padding:3px 0;font-size:12px}.tourskip:hover{color:var(--text);text-decoration:underline}.pin.anchor,.sw.anchor{background:var(--good)}.provenance{border:1px solid var(--line);background:var(--panel2);border-radius:6px;margin:4px 0 10px;padding:8px 10px}.sentence{overflow-wrap:anywhere}.sentence:before{content:"“"}.sentence:after{content:"”"}.sentence.big{margin:6px 0;font-size:15px;line-height:1.45;display:block}.sentence.clamp{-webkit-line-clamp:2;-webkit-box-orient:vertical;margin:-2px 0 6px;font-size:12px;display:-webkit-box;overflow:hidden}.variants,.neighbours{flex-direction:column;gap:4px;margin:6px 0;padding:0;font-size:13px;list-style:none;display:flex}.variants li,.neighbours li{flex-wrap:wrap;align-items:baseline;gap:2px 8px;display:flex}.variants li.filtered{opacity:.55}.variants .kind{color:var(--muted);min-width:84px;font-size:11px}.diff-add{background:var(--box-fill);border-radius:2px}.diff-del{color:var(--bad);text-decoration:line-through}.neighbourbox{margin-top:10px}.verdictce .band,.verdictce .neighbourbox,.verdictce .cetop{flex-basis:100%;width:100%}.band .barrow{grid-template-columns:24px 1fr 116px}