.xp.two-col>.widget-controls,.xp.two-col>.figure-body{grid-column:1/-1}.xp .caption p{margin:0}.xp .caption p+p{margin-top:.5em}:root{--c-hi:var(--series-2);--c-lo:color-mix(in srgb, var(--text-muted) 55%, transparent);--c-x:var(--warn);--c-ink:var(--text);--c-lamp:#ffd43b}.xp .circuit{flex-wrap:wrap;justify-content:center;align-items:flex-start;gap:.5rem 1.5rem;display:flex}.xp .circuit>div{flex:280px;min-width:0;max-width:100%}.xp .circuit-svg{-webkit-user-select:none;user-select:none;width:100%;height:auto;margin:0 auto;display:block;overflow:visible}.circuit-svg .w{fill:none;stroke:var(--c-lo);stroke-width:2.6px;stroke-linecap:round;stroke-linejoin:round;transition:stroke .12s}.circuit-svg .w.hi{stroke:var(--c-hi)}.circuit-svg .w.x{stroke:var(--c-x)}.circuit-svg .w.z{stroke-dasharray:4 4}.circuit-svg .jn{fill:var(--c-lo)}.circuit-svg .jn.hi{fill:var(--c-hi)}.circuit-svg .term{fill:var(--bg);stroke:var(--c-ink);stroke-width:1.6px}.circuit-svg .sym{stroke:var(--c-ink);stroke-width:1.8px;fill:none;stroke-linecap:round}.circuit-svg .sym.thick{stroke-width:3.2px}.circuit-svg .gate .body{fill:var(--bg);stroke:var(--c-ink);stroke-width:1.8px;stroke-linejoin:round}.circuit-svg .gate .body.open{fill:none}.circuit-svg .bubble{fill:var(--bg);stroke:var(--c-ink);stroke-width:1.8px}.circuit-svg .lamp .bulb{fill:var(--bg);stroke:var(--c-ink);stroke-width:1.8px;transition:fill .12s}.circuit-svg .lamp .halo{fill:var(--c-lamp);opacity:0;transition:opacity .12s}.circuit-svg .lamp.lit .bulb{fill:color-mix(in srgb, var(--c-lamp) calc(var(--glow,1) * 100%), var(--bg))}.circuit-svg .lamp.lit .halo{opacity:calc(var(--glow,1) * .35)}.circuit-svg .chan{stroke:var(--c-lo);stroke-width:4px;stroke-dasharray:3 5;stroke-linecap:butt}.circuit-svg .chan.on{stroke:color-mix(in srgb, var(--c-hi) calc(var(--on,1) * 100%), var(--c-lo));stroke-dasharray:none}.circuit-svg .lbl{fill:var(--c-ink);font-family:var(--font-mono);font-size:13px}.circuit-svg .lbl.small{fill:var(--text-muted);font-size:11px}.circuit-svg .lbl.name{font-weight:600}.circuit-svg .lbl.val{pointer-events:none;font-weight:700}.circuit-svg .inbox{fill:var(--surface);stroke:var(--c-lo);stroke-width:2px}.circuit-svg .inbox.hi{stroke:var(--c-hi);fill:color-mix(in srgb, var(--c-hi) 18%, var(--bg))}.circuit-svg .coil{fill:var(--bg);stroke:var(--c-lo);stroke-width:2.4px}.circuit-svg .coil.hi{stroke:var(--c-hi);fill:color-mix(in srgb, var(--c-hi) 14%, var(--bg))}.circuit-svg .link{stroke:var(--text-muted);stroke-width:1.4px;stroke-dasharray:3 3;fill:none}.circuit-svg .hit{fill:#0000;cursor:pointer}.circuit-svg .hit:hover{fill:color-mix(in srgb, var(--accent) 8%, transparent)}.circuit-svg .hit:focus-visible{stroke:var(--accent);stroke-width:2px;outline:none}.xp table.tt{width:auto;font-family:var(--font-mono);margin:.4rem auto 0}.xp table.tt th,.xp table.tt td{text-align:center;padding:3px 12px}.xp table.tt th.out,.xp table.tt td.out{border-left:2px solid var(--axis)}.xp table.tt tr.groups th{text-align:center;font-family:var(--sl-font);font-size:var(--sl-text-xs);letter-spacing:.06em;text-transform:uppercase;color:var(--text-muted);padding-bottom:0;font-weight:600}.xp table.tt th.out~th.out,.xp table.tt td.out~td.out{border-left:none}.xp table.tt td.unknown{color:var(--text-muted)}.xp table.tt td.good{color:var(--series-3);font-weight:700}.xp table.tt td.bad{color:var(--warn);font-weight:700}.xp table.tt tr.now td{background:var(--accent-soft);font-weight:600}.xp .circuit-note{font-size:var(--sl-text-sm);color:var(--text-muted);text-align:center;margin:.3rem 0 0}.xp .circuit>.tt-side{flex:none;align-self:center}.xp .circuit>.full{flex:100%}.circuit-svg .faded{opacity:.3}.circuit-svg .seg{fill:color-mix(in srgb, var(--text-muted) 14%, transparent);transition:fill .1s}.circuit-svg .seg.on{fill:#f03e3e}.circuit-svg .lbl.tiny{fill:var(--text-muted);opacity:.8;font-size:9px}.circuit-svg .kcell{fill:var(--surface);stroke:var(--grid);stroke-width:1px}.circuit-svg .kcell.clickable{cursor:pointer}.circuit-svg .kcell.clickable:hover{fill:color-mix(in srgb, var(--accent) 10%, var(--surface))}.circuit-svg .kcell.now{fill:var(--accent-soft)}.circuit-svg .lbl.kval{fill:var(--text-muted);pointer-events:none;font-size:16px}.circuit-svg .lbl.kval.one{fill:var(--c-ink);font-weight:700}.circuit-svg .kgroup{fill:none;stroke-width:2.6px;pointer-events:none}.circuit-svg .kgroup.g0{stroke:var(--series-1)}.circuit-svg .kgroup.g1{stroke:var(--series-2)}.circuit-svg .kgroup.g2{stroke:var(--series-3)}.circuit-svg .kgroup.g3{stroke:var(--series-4)}.circuit-svg .kgroup.g4{stroke:var(--series-5)}.circuit-svg .kgroup.g5{stroke:var(--series-6)}.xp table.tt td.flip{cursor:pointer;text-underline-offset:3px;text-decoration:underline dotted}.xp .expr{font-size:1rem;font-weight:600}.xp .circuit-text{font-size:var(--sl-text-sm);margin:.2rem 0 .4rem}.circuit-svg .lbl.big{font-size:22px}.xp .target-msg{font-family:var(--font-mono);text-align:center;min-height:1.5em;margin:.2rem 0 0;font-weight:700}.xp .bar{text-decoration:overline 1.5px}.circuit-svg .nibble{fill:color-mix(in srgb, var(--series-1) 9%, transparent)}.circuit-svg .nibble.alt{fill:color-mix(in srgb, var(--series-3) 9%, transparent)}.circuit-svg .wedge{fill:var(--surface);stroke:var(--grid);stroke-width:1px;transition:fill .12s}.circuit-svg .wedge.neg{fill:color-mix(in srgb, var(--series-1) 14%, var(--surface))}.circuit-svg .wedge.now{fill:color-mix(in srgb, var(--c-hi) 30%, var(--surface))}.circuit-svg .lbl.wval{font-size:16px;font-weight:700}.circuit-svg .seam{stroke:var(--warn);stroke-width:3px;stroke-linecap:round}.circuit-svg .lbl.seam-lbl{fill:var(--warn);font-size:11px;font-weight:600}.circuit-svg .hand{stroke:var(--c-hi);stroke-width:4px;stroke-linecap:round;transition:all .15s}.circuit-svg .hub{fill:var(--c-hi)}.circuit-svg .rule{stroke:var(--c-ink);stroke-width:1.6px}.circuit-svg .flag{fill:var(--surface);stroke:var(--c-lo);stroke-width:2px}.circuit-svg .flag.on{fill:color-mix(in srgb, var(--warn) 25%, var(--bg));stroke:var(--warn)}.circuit-svg .lbl.bad{fill:var(--warn)}.circuit-svg .fresh{fill:none;stroke:var(--accent);stroke-width:2px;stroke-dasharray:4 3}.circuit-svg .bpoint{fill:var(--c-ink);transition:cx .15s}.xp .shift-msg{text-align:center;min-height:3em}.xp table.mulrows{width:auto;margin:.4rem auto 0}.xp table.mulrows td{vertical-align:baseline;padding:3px 10px}.xp table.mulrows td:first-child{white-space:nowrap}.xp table.mulrows td.mono{font-family:var(--font-mono);text-align:right}.xp table.mulrows td.note{text-align:left;font-size:var(--sl-text-xs);color:var(--text-muted)}.xp table.mulrows td.bad{color:var(--warn);font-weight:700}.xp table.mulrows tr.now td{background:var(--accent-soft)}.sl-markdown-content .tight-table :is(th,td){padding-inline:.45rem}@media (width<=40rem){.sl-markdown-content .tight-table table{font-size:var(--sl-text-sm)}}.sl-markdown-content .tight-table th:first-child,.sl-markdown-content .tight-table td:first-child{padding-inline-start:0}.circuit-svg .colnow{fill:var(--accent-soft)}.circuit-svg .lbl.carry{fill:var(--c-hi);font-weight:700}.circuit-svg .fa{fill:var(--surface);stroke:var(--c-ink);stroke-width:1.8px}.circuit-svg .lbl.fa-lbl{font-size:22px;font-weight:700}.circuit-svg .wcursor{fill:var(--accent-soft);transition:x .1s}.circuit-svg .wcell{fill:color-mix(in srgb, var(--c-lo) 30%, transparent)}.circuit-svg .wcell.hi{fill:var(--c-hi)}.circuit-svg .wcell.later{opacity:.12}.circuit-svg .lbl.wnum{font-size:10px}.circuit-svg .fa.latch.open{fill:var(--accent-soft);stroke:var(--accent)}.circuit-svg .wcell.empty{fill:none}.circuit-svg .state{fill:var(--surface);stroke:var(--c-ink);stroke-width:2px}.circuit-svg .state.inner{fill:none;stroke-width:1.4px}.circuit-svg .state.now:not(.inner){fill:color-mix(in srgb, var(--c-hi) 30%, var(--surface));stroke:var(--c-hi)}.circuit-svg .edge{fill:none;stroke:var(--text-muted);stroke-width:1.6px}.circuit-svg .edge.now{stroke:var(--c-hi);stroke-width:3px}.circuit-svg .arrowhead{fill:var(--text-muted)}.circuit-svg .lbl.edge-lbl.now{fill:var(--c-hi);font-weight:700}.circuit-svg .lbl.huge{font-size:40px}.xp .circuit>.keypad-side{flex-direction:column;flex:none;align-items:center;gap:.6rem;display:flex}.xp .keypad{grid-template-columns:repeat(3,3rem);gap:.4rem;display:grid}.xp .keypad button{height:2.6rem;font-family:var(--font-mono);font-size:1.1rem}.xp .keypad button:last-child{grid-column:2}.xp .door{font-family:var(--font-mono);border:2px solid var(--c-lo);border-radius:999px;padding:.3rem .8rem;font-weight:700}.xp .door.open{border-color:var(--series-3);color:var(--series-3)}.xp table.fsm{width:auto;font-size:var(--sl-text-sm);margin:.6rem auto 0}.xp table.fsm td,.xp table.fsm th{padding:3px 8px}.circuit-svg .lbl.edge-lbl{paint-order:stroke;stroke:var(--bg);stroke-width:5px;stroke-linejoin:round}.circuit-svg .rowband{fill:none}.circuit-svg .rowband.now{fill:var(--accent-soft)}.circuit-svg .lbl.small-val{font-size:11px}.circuit-svg .lbl.tiny-val{pointer-events:none;font-size:10px}.circuit-svg .w.bus-line{stroke-width:6px}.circuit-svg .fa.chip.on{stroke:var(--c-hi);fill:color-mix(in srgb, var(--c-hi) 18%, var(--surface))}.circuit-svg .fa.chip.fight{stroke:var(--c-x);fill:color-mix(in srgb, var(--c-x) 18%, var(--surface))}.circuit-svg .maparea{stroke:var(--c-ink);stroke-width:1px}.circuit-svg .maparea.m-ram{fill:color-mix(in srgb, var(--series-1) 25%, var(--surface))}.circuit-svg .maparea.m-io{fill:color-mix(in srgb, var(--series-3) 25%, var(--surface))}.circuit-svg .maparea.m-rom{fill:color-mix(in srgb, var(--series-4) 25%, var(--surface))}.circuit-svg .mappointer{fill:var(--c-hi);stroke:var(--c-hi);stroke-width:2px}.circuit-svg .cap{fill:none;stroke:var(--c-ink);stroke-width:1.4px}.circuit-svg .charge{fill:var(--c-hi);opacity:.85}.circuit-svg .threshold{stroke:var(--text-muted);stroke-dasharray:4 4}.circuit-svg .cycband{fill:none}.circuit-svg .cycband.now{fill:var(--accent-soft)}.circuit-svg .clockline{fill:none;stroke:var(--c-ink);stroke-width:2px}.circuit-svg .busseg{fill:var(--surface);stroke:var(--c-ink);stroke-width:1.2px}.circuit-svg .busseg.fromMem{fill:color-mix(in srgb, var(--series-1) 30%, var(--surface))}.circuit-svg .busseg.fromCpu{fill:color-mix(in srgb, var(--c-hi) 35%, var(--surface))}.circuit-svg .busseg.fromVideo{fill:color-mix(in srgb, var(--series-3) 30%, var(--surface))}.circuit-svg .latchline{stroke:var(--text-muted);stroke-width:1px;stroke-dasharray:2 3}.circuit-svg .latchmark{fill:var(--text-muted)}.xp .panel{font-size:var(--sl-text-sm);flex-direction:column;gap:.6rem;display:flex}.xp .panel-bar{flex-wrap:wrap;align-items:center;gap:.4rem;display:flex}.xp .panel-top{grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);gap:.6rem;display:grid}@media (width<=40rem){.xp .panel-top{grid-template-columns:minmax(0,1fr)}}.xp .panel-src,.xp .panel-list,.xp .panel-memgrid,.xp .panel-cycles,.xp .panel-stack,.xp .panel-regs{font-family:var(--font-mono);font-size:12px;line-height:1.45}.xp .panel-src{background:var(--surface);width:100%;min-height:18rem;color:var(--text);border:1px solid var(--grid);resize:vertical;tab-size:8;white-space:pre;border-radius:6px;padding:.5rem}.xp .panel-list{border:1px solid var(--grid);white-space:pre;border-radius:6px;max-height:18.5rem;padding:.4rem .5rem;overflow:auto}.xp .panel-list .now,.xp .panel-stack .sp{background:var(--accent-soft);font-weight:700}.xp .panel-list .a,.xp .panel-memgrid .a,.xp .panel-stack .a{color:var(--text-muted)}.xp .panel-list .b{color:var(--text-muted);min-width:8.5ch;display:inline-block}.xp .panel-err{color:var(--warn);font-family:var(--font-mono);white-space:pre-wrap}.xp .panel-err:empty{display:none}.xp .panel-mid{flex-wrap:wrap;align-items:flex-start;gap:1rem;display:flex}.xp .panel-regs table.regs{width:auto;margin:0}.xp .panel-regs table.regs td{padding:1px 8px}.xp .panel-regs .flags{gap:2px;margin-top:.3rem;display:flex}.xp .panel-regs .flags span{text-align:center;border:1px solid var(--grid);width:1.6em;color:var(--text-muted);border-radius:3px}.xp .panel-regs .flags span.on{background:color-mix(in srgb, var(--c-hi) 30%, var(--surface));border-color:var(--c-hi);color:var(--text);font-weight:700}.xp .panel-regs .cyc{color:var(--text-muted);margin-top:.3rem}.xp .panel-mem{min-width:0;max-width:100%;overflow-x:auto}.xp .panel-memgrid span:not(.a){margin-left:.6ch}.xp .panel-memgrid .pc{background:var(--accent-soft)}.xp .panel-memgrid .sp{outline:1px solid var(--c-hi)}.xp .panel-stack .used{color:var(--text)}.xp .panel-stack,.xp .panel-cycles{color:var(--text-muted)}.xp .panel-stack .ttl,.xp .panel-cycles .ttl{font-family:var(--sl-font);margin-bottom:.2rem;font-weight:600}.xp .panel-cycles .n{width:1.5em;display:inline-block}.xp .panel-cycles .read{color:var(--series-1)}.xp .panel-cycles .write{color:var(--c-hi);font-weight:700}.xp .panel-cycles .note{color:var(--text);font-family:var(--sl-font)}.xp .panel-dev{border-top:1px solid var(--grid);padding-top:.4rem}.xp .panel-sound{font-size:var(--sl-text-xs)}.circuit-svg .pbutton{fill:var(--surface);stroke:var(--c-ink);stroke-width:1.6px;cursor:pointer}.circuit-svg .pbutton.down{fill:color-mix(in srgb, var(--c-hi) 40%, var(--surface))}.xp .panel-pp{border-top:1px solid var(--grid);flex-wrap:wrap;gap:.6rem 1.4rem;padding-top:.4rem;display:flex}.xp .pp-ttl{font-size:var(--sl-text-xs);color:var(--text-muted);margin-bottom:.2rem}.xp .pp-row{flex-wrap:wrap;align-items:center;gap:.4rem .8rem;display:flex}.xp .pp-led{border:1px solid var(--grid);background:#000;border-radius:50%;flex:none;width:2.6rem;height:2.6rem}.xp table.pp-levels{font-size:var(--sl-text-xs);width:auto;margin:0}.xp table.pp-levels td{font-family:var(--font-mono);border:none;padding:0 .4rem 0 0}.xp .pp-levels .bar{background:var(--grid);vertical-align:middle;width:6rem;height:.5rem;display:inline-block}.xp .pp-levels .bar i{background:var(--c-hi);height:100%;display:block}.xp .pp-buttons button{touch-action:none;min-width:2.2rem}.xp .pp-buttons button.down{background:color-mix(in srgb, var(--c-hi) 40%, var(--surface))}.xp .pp-knob{gap:.2rem;margin-left:.6rem;display:inline-flex}.xp .pp-serial,.xp .pp-midi,.xp .pp-spi,.xp .pp-i2c,.xp .pp-video,.xp .pp-sound{flex:100%}.xp .pp-screen{aspect-ratio:4/3;width:100%;max-width:640px;image-rendering:pixelated;background:#000;border:6px solid #222;border-radius:6px;display:block}.xp .pp-spilog{overflow-wrap:anywhere}.xp .pp-midilog{font-family:var(--font-mono);font-size:var(--sl-text-xs);overflow-wrap:anywhere}.xp .pp-opt{font-size:var(--sl-text-xs)}.xp .pp-term{color:#d8f0d0;height:10rem;font-size:var(--sl-text-xs);white-space:pre-wrap;word-break:break-all;background:#111;border-radius:4px;margin:0;padding:.4rem .6rem;overflow-y:auto}.xp .pp-term:focus{outline:2px solid var(--c-hi)}.xp .pp-read{font-family:var(--font-mono);font-size:var(--sl-text-xs);margin-top:.3rem}.circuit-svg .dot{fill:var(--surface);stroke:var(--c-ink);stroke-width:1.2px}.circuit-svg .dot.hi{fill:var(--c-hi);stroke:var(--c-hi)}.circuit-svg .w.dev{stroke:var(--series-1)}.circuit-svg .dot.bad{fill:var(--c-x);stroke:var(--c-x)}.xp td.bad{color:var(--c-x);font-weight:600}.xp .pp-keys{gap:.25rem;margin-bottom:.6rem;display:flex}.xp .pp-keys button{color:#222;border:1px solid var(--grid);background:#fafafa;border-radius:0 0 4px 4px;flex:1;height:4.5rem}.xp .pp-keys button[aria-pressed=true]{background:color-mix(in srgb, var(--c-hi) 45%, #fafafa)}.xp .pp-voices{gap:.6rem;display:flex}.xp .pp-voice{border:1px solid var(--grid);font-family:var(--font-mono);font-size:var(--sl-text-sm);border-radius:6px;flex:1;padding:.3rem .5rem}.xp .pp-voice.on{border-color:var(--c-hi);background:color-mix(in srgb, var(--c-hi) 12%, var(--surface))}.xp table.opmap{border-collapse:collapse;font-family:var(--font-mono);margin:0 auto;font-size:10px}.xp table.opmap th{color:var(--text-muted);padding:2px 4px;font-weight:600}.xp table.opmap td{border:1px solid var(--grid);text-align:center;vertical-align:middle;cursor:pointer;width:2.9rem;height:2.2rem;padding:1px 2px;line-height:1.15}.xp table.opmap td b{font-size:11px;display:block}.xp table.opmap td i{color:var(--text-muted);font-size:9px;font-style:normal;display:block}.xp table.opmap td.g1{background:color-mix(in srgb, var(--series-1) 18%, transparent)}.xp table.opmap td.g2{background:color-mix(in srgb, var(--series-3) 18%, transparent)}.xp table.opmap td.g0{background:color-mix(in srgb, var(--series-4) 14%, transparent)}.xp table.opmap td.none{cursor:default}.xp table.opmap td.sel{outline:2px solid var(--c-hi);outline-offset:-2px}.xp .opinfo{min-height:3.2em}.circuit-svg .fa.dp.on{stroke:var(--c-hi);fill:color-mix(in srgb, var(--c-hi) 22%, var(--surface))}.xp .dp-follow{grid-template-columns:minmax(0,15rem) minmax(0,1fr);align-items:start;gap:.75rem;max-width:52rem;margin:.4rem auto 0;display:grid}.xp .dp-follow .panel-list{max-height:14rem}@media (width<=40rem){.xp .dp-follow{grid-template-columns:minmax(0,1fr)}}.xp .dp-steps{margin:0}.xp .dp-steps .now{background:var(--accent-soft);font-weight:700}.xp .dp-steps .later{opacity:.45}.xp .hdl .hdl-src{min-height:12rem;max-height:26rem;margin-top:.4rem}.xp .hdl-status{color:var(--text-muted);font-size:.85em}.xp .hdl-inputs{align-items:center;margin-top:.5rem}.xp .hdl-inputs .hdl-bit,.xp .hdl-inputs .hdl-tick{font-family:var(--font-mono)}.xp .hdl-inputs .hdl-bit.on{background:color-mix(in srgb, var(--c-hi) 25%, var(--surface));border-color:var(--c-hi)}.xp .hdl-num{width:5.5em;font-family:var(--font-mono)}.xp .hdl-keypad{grid-template-columns:repeat(5,2.4em);gap:.25rem;display:grid}.xp .hdl-keypad button{font-family:var(--font-mono);padding:.2em 0}.xp .hdl-out{flex-wrap:wrap;align-items:center;gap:.5rem 1.5rem;margin:.4rem 0;display:flex}.xp .hdl-out .stats{flex:14rem}.xp .hdl-seg svg{width:70px}.circuit-svg .wbus{fill:color-mix(in srgb, var(--c-hi) 14%, transparent);stroke:color-mix(in srgb, var(--c-hi) 60%, transparent);stroke-width:1px}.circuit-svg .wbus.free,.circuit-svg .wcell.free{fill:none;stroke:var(--text-muted);stroke-dasharray:2 2;stroke-width:1px}.circuit-svg .later{opacity:.3}.circuit-svg .nwire{fill:none;stroke:var(--c-lo);stroke-width:1.4px}.circuit-svg .nwire.bus{stroke:var(--c-hi);stroke-width:3px;opacity:.75}.circuit-svg .nwire.back{stroke-dasharray:5 3}.circuit-svg .nport{fill:var(--surface);stroke:var(--c-ink);stroke-width:1.2px}.circuit-svg .ncell rect{fill:var(--surface);stroke:var(--c-ink);stroke-width:1.4px}.circuit-svg .ncell.ff rect{fill:color-mix(in srgb, var(--series-1) 18%, var(--surface))}.circuit-svg .ncell.latch rect{fill:color-mix(in srgb, var(--warn) 22%, var(--surface));stroke:var(--warn)}.circuit-svg .ncell.pick{cursor:pointer}.circuit-svg .ncell.pick rect{fill:color-mix(in srgb, var(--c-hi) 14%, var(--surface))}.circuit-svg .ncell.pick:hover rect,.circuit-svg .ncell.pick:focus rect{stroke:var(--c-hi);stroke-width:2.4px}.xp .hdl-stages button.on{border-color:var(--accent);font-weight:700}.xp .hdl-about{color:var(--text-muted);margin:.3rem 0;font-size:.92em}.xp .hdl-warn{color:var(--warn);font-size:.92em}.xp .hdl-lut table{margin:0 auto}.xp .hdl-verdict{border-left:4px solid var(--grid);border-radius:4px;margin:.5rem 0;padding:.5rem .75rem}.xp .hdl-verdict.proven{border-color:var(--good,#2f9e44);background:color-mix(in srgb, var(--good,#2f9e44) 10%, transparent)}.xp .hdl-verdict.failed{border-color:var(--warn);background:color-mix(in srgb, var(--warn) 10%, transparent)}.xp .hdl-verdict.unproven{border-color:var(--c-hi);background:color-mix(in srgb, var(--c-hi) 12%, transparent)}.circuit-svg .lutbit{fill:var(--surface);stroke:var(--c-ink);stroke-width:1px;cursor:pointer}.circuit-svg .lutbit.one{fill:color-mix(in srgb, var(--c-hi) 30%, var(--surface))}.circuit-svg .lutbit.picked{stroke:var(--c-hi);stroke-width:2.6px}.circuit-svg .lutmux{fill:var(--surface);stroke:var(--c-ink);stroke-width:1.2px}.circuit-svg .lutmux.on{stroke:var(--c-hi);stroke-width:2px}.circuit-svg .nwire.lit{stroke:var(--c-hi);stroke-width:2.6px}.circuit-svg .tile{fill:color-mix(in srgb, var(--c-lo) 12%, transparent);stroke:color-mix(in srgb, var(--c-lo) 60%, transparent);stroke-width:1px}.circuit-svg .lc{fill:var(--surface);stroke:var(--c-ink);stroke-width:1.4px}.circuit-svg .lc.ff{fill:color-mix(in srgb, var(--series-1) 22%, var(--surface))}.circuit-svg .lc.carry{stroke:var(--series-3);stroke-width:2.6px}.circuit-svg .pinpad{stroke:var(--c-ink);stroke-width:1.2px;fill:var(--surface)}.circuit-svg .pinpad.out{fill:color-mix(in srgb, var(--c-hi) 35%, var(--surface))}.circuit-svg .flyline{stroke:var(--c-lo);stroke-width:1px;opacity:.8}.circuit-svg .route{stroke:var(--c-hi);stroke-linecap:round;opacity:.7}.circuit-svg .route.over{stroke:var(--c-x);opacity:.9}.circuit-svg .cfgbit{fill:var(--c-hi)}.xp .hdl .panel-err{overflow-wrap:anywhere}.circuit-svg .tp,.xp .tp-key i.tp{fill:var(--c-lo);background:var(--c-lo)}.circuit-svg .tp.logic,.xp .tp-key i.tp.logic{fill:var(--c-hi);background:var(--c-hi)}.circuit-svg .tp.flipflop,.xp .tp-key i.tp.flipflop{fill:var(--c-ink);background:var(--c-ink)}.circuit-svg .axis{stroke:var(--text-muted);stroke-width:1px}.xp .tp-key{font-size:var(--sl-text-sm,.875rem);flex-wrap:wrap;gap:.4rem 1.2rem;margin-top:.3rem;display:flex}.xp .tp-key i{vertical-align:-.1rem;border-radius:2px;width:.9rem;height:.9rem;margin-right:.35rem;display:inline-block}.xp .tm-sets table{font-size:var(--sl-text-sm,.875rem)}.xp .tm-sets td.mono{overflow-wrap:anywhere}.xp .circuit.tm-wave{overflow-x:auto}