.hc-grid{grid-template-columns:minmax(0,1fr);grid-template-areas:"input""view""side""groups";gap:16px;display:grid}.hc-input{grid-area:input}.hc-view{grid-area:view}.hc-side{grid-area:side;align-content:start;gap:16px;min-width:0;display:grid}.hc-groups{grid-area:groups}@media (min-width:1080px){.hc-grid{grid-template-columns:minmax(0,1fr) minmax(19rem,23rem);grid-template-areas:"input input""view side""groups side";align-items:start}}.hc-input .panel-note a{color:var(--ink)}.hc-inrow{flex-wrap:wrap;gap:10px;display:flex}#expr{font:400 24px/1.3 var(--font-serif);flex:18rem;padding:11px 16px}.hc-outs{align-self:stretch;display:inline-flex}.out-opt{border:1px solid var(--rule-2);background:var(--sheet);min-width:56px;font:600 18px/1 var(--font-serif);padding:0 14px}.out-opt+.out-opt{margin-left:-1px}.out-opt[aria-pressed=true]{border-color:var(--ink);background:var(--ink);color:var(--pad)}.hc-status{border-left:3px solid var(--rule-2);background:var(--pad);flex-direction:column;gap:2px;margin-top:12px;padding:10px 14px;font-size:19px;line-height:1.45;display:flex}.hc-status .lab{font:400 12.5px/1.4 var(--font-mono);color:var(--muted)}.hc-status .parsed,.hc-status .excerpt{overflow-wrap:anywhere}.hc-status.bad{border-left-color:var(--err);background:var(--err-bg);color:var(--err)}.hc-status .errmsg{font:500 14px/1.45 var(--font-mono)}.hc-status .excerpt{color:var(--ink)}.hc-status mark{color:var(--err);-webkit-text-decoration:underline wavy var(--err);text-decoration:underline wavy var(--err);text-underline-offset:4px;background:0 0;font-weight:600}.hc-palette,.hc-examples{flex-wrap:wrap;align-items:center;gap:6px;margin-top:12px;display:flex}.hc-palette button{border:1px solid var(--rule);border-radius:var(--radius);background:var(--pad);min-width:40px;min-height:36px;font:400 20px/1 var(--font-serif)}.hc-palette button:hover,.hc-examples button:hover{border-color:var(--ink)}.hc-ex-label{font:400 12.5px/1 var(--font-mono);color:var(--muted);margin-right:4px}.hc-examples button{border:1px solid var(--rule);border-radius:var(--radius);background:var(--sheet);min-height:32px;font:400 13px/1.2 var(--font-mono);padding:4px 11px}.hc-view .panel-head{padding-bottom:14px}.hc-view .panel-note{flex-basis:100%}.hc-stage{border-block:1px solid var(--rule);--grid-step:20px;height:clamp(380px,62vh,620px);position:relative;overflow:hidden}.hc-stage .stage-canvas{touch-action:none;width:100%;height:100%;position:absolute;top:0;bottom:0;left:0;right:0}.hc-stage .stage-canvas:focus-visible{outline:2px solid var(--focus);outline-offset:-3px}.hc-svg:focus-visible{outline:2px solid var(--focus);outline-offset:-3px}.hc-labels{z-index:2;pointer-events:none;position:absolute;top:0;bottom:0;left:0;right:0;overflow:hidden}.hc-stage .stage-canvas{z-index:1}.hc-stage.is-blocked .stage-canvas,.hc-stage.is-blocked .hc-labels,.hc-stage.is-blocked .hc-svg{visibility:hidden}.hc-message{z-index:3;text-align:center;color:var(--ink-2);place-content:center;gap:12px;padding:24px;display:grid;position:absolute;top:0;bottom:0;left:0;right:0}.vl{border:1px solid var(--rule-2);background:var(--sheet);font:400 11px/1 var(--font-mono);color:var(--muted);white-space:nowrap;border-radius:3px;align-items:center;gap:5px;margin:-28px 0 0 9px;padding:2px 3px 2px 6px;display:inline-flex;position:absolute;top:0;left:0}.vl-v{border:1.3px solid var(--zero);min-width:16px;height:15px;color:var(--zero);border-radius:8px;place-items:center;font-size:10px;font-weight:700;display:inline-grid}.vl--1 .vl-v{border-color:var(--one);background:var(--one);color:var(--on-one)}.vl--group{border-color:var(--one)}.vl--sel{border-color:var(--ink);color:var(--ink);box-shadow:0 0 0 1px var(--ink)}.al{font:italic 500 19px/1 var(--font-serif);color:var(--ink);text-shadow:0 0 3px var(--sheet), 0 0 6px var(--sheet);position:absolute;top:0;left:0}.hc-toolbar{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:10px 20px;padding:12px 20px 14px;display:flex}.hc-legend{font:400 12.5px/1.4 var(--font-mono);color:var(--muted);flex-wrap:wrap;align-items:center;gap:4px 8px;display:flex}.lg-dot{border-radius:50%;width:11px;height:11px;display:inline-block}.lg-dot--1{background:var(--one)}.lg-dot--0{border:2px solid var(--zero);margin-left:8px}.lg-edge{border-top:1.5px solid var(--rule-2);width:22px;height:0;margin-left:10px;display:inline-block}.lg-edge--11{border-top:3px solid var(--one)}.hc-tools{flex-wrap:wrap;align-items:center;gap:10px 16px;display:flex}.hc-angle{font:400 13px/1 var(--font-mono);align-items:center;gap:8px;display:inline-flex}.hc-angle input{width:130px;accent-color:var(--ink)}.hc-svg{touch-action:none;cursor:grab;width:100%;height:100%;position:absolute;top:0;bottom:0;left:0;right:0}.hs-face{fill:var(--one);fill-opacity:.14;stroke:none}.hs-e{stroke-linecap:round}.hs-e--11{stroke:var(--one);stroke-width:3.2px}.hs-e--01,.hs-e--00{stroke:var(--rule-2);stroke-width:1.5px}.hs-e--g{stroke:var(--one);stroke-width:6px}.hs-v{cursor:pointer}.hs-v:focus{outline:none}.hs-v:focus-visible .hs-dot{stroke:var(--focus);stroke-width:3.5px}.hs-dot{stroke-width:1.8px}.hs-v--0 .hs-dot{fill:var(--sheet);stroke:var(--zero)}.hs-v--1 .hs-dot{fill:var(--one);stroke:var(--one)}.hs-v--sel .hs-dot{stroke:var(--ink);stroke-width:3.5px}.hs-halo{fill:var(--one);fill-opacity:.18}.hs-d{font:700 11px var(--font-mono);text-anchor:middle;dominant-baseline:central;pointer-events:none}.hs-v--0 .hs-d{fill:var(--zero)}.hs-v--1 .hs-d{fill:var(--on-one)}.hs-b{font:400 10.5px var(--font-mono);fill:var(--muted);text-anchor:middle;pointer-events:none}.hs-axis{font:italic 500 18px var(--font-serif);fill:var(--ink);text-anchor:middle;dominant-baseline:central}.rp-main{flex-wrap:wrap;align-items:baseline;gap:4px 12px;display:flex}.rp-code{font:600 26px/1.1 var(--font-mono);letter-spacing:.04em}.rp-arrow{color:var(--muted);font-size:22px}.rp-val{font:600 26px/1.1 var(--font-serif)}.rp-assign{font:400 13px/1.5 var(--font-mono);color:var(--muted);margin-top:6px}.rp-sub{font:400 12.5px/1.4 var(--font-mono);color:var(--muted);margin-top:14px}.rp-nbrs{gap:4px;margin:6px 0 0;padding:0;list-style:none;display:grid}.rp-nbrs li{flex-wrap:wrap;align-items:center;gap:4px 10px;display:flex}.rp-nbr{border:1px solid var(--rule);border-radius:var(--radius);background:var(--sheet);font:400 13px/1.3 var(--font-mono);text-align:left;grid-template-columns:5.5em 4em 1.2em;align-items:baseline;gap:8px;padding:5px 10px;display:inline-grid}.rp-nbr:hover{border-color:var(--ink)}.rp-nbr .sym{font-size:16px;font-weight:600}.rp-merge{font:400 12px/1.3 var(--font-mono);color:var(--one)}.kmap-wrap{overflow-x:auto}.kmap{border-collapse:collapse;font:400 12.5px/1 var(--font-mono)}.kmap th{color:var(--muted);padding:6px 8px;font-weight:400}.kmap thead th{border-bottom:1.5px solid var(--ink)}.kmap tbody th{border-right:1.5px solid var(--ink);text-align:right}.km-corner .sym{font:italic 500 16px/1 var(--font-serif);color:var(--ink)}.kmap td{border:1px solid var(--rule);padding:0}.km-cell{background:var(--sheet);border:0;place-items:center;width:52px;height:46px;padding:0;display:grid;position:relative}.km-v{font:700 17px/1 var(--font-mono)}.km-cell--0 .km-v{color:var(--zero)}.km-cell--1 .km-v{color:var(--one)}.km-m{color:var(--muted);font-size:9.5px;position:absolute;top:3px;left:4px}.km-cell:hover,.km-cell.is-hover{background:var(--sheet-2)}.km-cell.is-group{background:var(--one-tint);box-shadow:inset 0 0 0 2px var(--one)}.km-cell.is-sel{box-shadow:inset 0 0 0 3px var(--ink)}.km-cell:focus-visible{outline-offset:-3px}.hc-kmap-note{margin-top:12px}.groups{grid-template-columns:repeat(auto-fill,minmax(min(100%,17rem),1fr));gap:8px;margin:0;padding:0;list-style:none;display:grid}.groups-empty{color:var(--ink-2)}.grp{border:1px solid var(--rule-2);border-left:4px solid var(--one);border-radius:var(--radius);background:var(--sheet);text-align:left;grid-template-columns:1fr auto;gap:4px 12px;width:100%;height:100%;padding:12px 14px;display:grid}.grp--extra{border-left-color:var(--rule-2)}.grp:hover{border-color:var(--ink);border-left-color:var(--one)}.grp[aria-pressed=true]{border-color:var(--one);background:var(--one-tint)}.grp-term{font-size:21px;font-weight:600}.grp-pat{letter-spacing:.08em;color:var(--ink-2);align-self:center;font-size:14px}.grp-kind,.grp-tags{font:400 12.5px/1.4 var(--font-mono);color:var(--muted);grid-column:1/-1}.grp-tags{color:var(--ink-2)}.sop{border-top:1px solid var(--rule);gap:4px;margin-top:18px;padding-top:14px;display:grid}.sop-lab,.sop-note{font:400 12.5px/1.4 var(--font-mono);color:var(--muted)}.sop-expr{overflow-wrap:anywhere;font-size:23px}@media (max-width:600px){.hc-stage{height:360px}.hc-toolbar{padding-inline-start:14px;padding-inline-end:14px}.km-cell{width:44px;height:42px}}