.inst{font-size:var(--fs-m);grid-template-columns:minmax(0,1fr);display:grid}.inst [hidden]{display:none!important}.inst-actions,.inst .tb-present{gap:8px;display:flex}.inst-actions .hbtn.sys{min-height:30px;padding:0 12px}@media (width<=600px){.inst-actions .hbtn.sys{padding:0 9px}}@media (width<=420px){.inst-actions .hbtn.sys{padding:0 7px}}.inst .tb-present{justify-content:flex-end;display:none}.inst .panel,.inst .tb-present{transition-property:none}.inst .tb-present .hbtn{min-height:calc(32 * var(--g));padding:0 calc(14 * var(--g))}.inst .instrument{gap:calc(16 * var(--g));display:grid}.inst .body{grid-template-columns:minmax(0, 1fr) calc(352 * var(--g));gap:calc(28 * var(--g));align-items:start;display:grid}.inst .left-col{display:contents}.inst .left{align-self:start;min-width:0;display:grid;position:sticky;top:64px;container:graph/inline-size}.inst .measure{border-bottom:1px solid var(--line);align-items:center;display:grid;overflow:hidden}.inst .stage{height:clamp(var(--stage-min,320px), calc(100svh - var(--stage-top,320px) - var(--stage-gap,16px)), var(--stage-max,760px));position:relative;overflow:hidden}.inst .stage-notes{pointer-events:none;position:absolute}.inst .stage-notes .link{pointer-events:auto}.inst .toast,.inst .hint{padding:calc(9 * var(--g)) calc(16 * var(--g));background:var(--surface-strong);border:1px solid var(--line-strong);box-shadow:var(--shadow);color:var(--text);font-size:var(--fs-m);opacity:0;pointer-events:none;transition:opacity .3s var(--ease), transform .3s var(--ease);white-space:nowrap;border-radius:3px;position:absolute}.inst .toast{top:calc(18 * var(--g));font-family:var(--font-mono);font-size:var(--fs-s)}.inst .hint{white-space:normal;text-align:center;width:max-content;line-height:1.45}.inst .hint:before{content:"";border-left:1.5px solid var(--accent);border-top:1.5px solid var(--accent);width:10px;height:10px;position:absolute;top:-1px;left:-1px}.inst .hl-nav{position:absolute}.inst .keyhelp{left:calc(22 * var(--g));bottom:calc(22 * var(--g));gap:calc(6 * var(--g));padding:calc(12 * var(--g)) calc(14 * var(--g));border:1px solid var(--line-strong);background:var(--surface-strong);font-family:var(--font-mono);font-size:var(--fs-2xs);color:var(--text-2);opacity:0;transition:opacity var(--dur-travel) var(--ease-out);pointer-events:none;display:none;position:absolute}.inst .keyhelp div{gap:calc(12 * var(--g));align-items:baseline;display:flex}.inst .keyhelp kbd{color:var(--accent);font-family:inherit}.inst.is-present .keyhelp{display:grid}.inst.show-hints .keyhelp{opacity:1}.inst .panel{grid-template-columns:minmax(0,1fr);align-content:start;min-width:0;display:grid}.inst .panel>*{min-width:0}.inst .tools{align-items:center;gap:calc(6 * var(--g));display:flex}.inst .tools>*{flex:none;min-width:0}.inst .highlights{margin-top:calc(28 * var(--g))}.inst .hl-grid{grid-template-columns:repeat(3,1fr);gap:12px;display:grid}@keyframes inst-rise{0%{opacity:0;transform:translateY(calc(6 * var(--g)))}to{opacity:1;transform:none}}.inst.booting .panel>:nth-child(2){animation-delay:80ms}.inst.booting .measure>*{animation-delay:.45s}.inst.is-present{z-index:100;padding:calc(10 * var(--g)) calc(16 * var(--g)) calc(14 * var(--g));background:var(--bg-glow), var(--bg);grid-template-rows:minmax(0,1fr);position:fixed;inset:0;overflow:hidden}.inst.is-present .tb-present{display:flex}.inst.is-present .instrument{grid-template-rows:minmax(0,1fr);min-height:0}.inst.is-present .body{align-items:stretch;min-height:0}.inst.is-present .left{grid-template-rows:auto minmax(0,1fr);align-self:stretch;min-height:0}.inst.is-present .stage{height:auto;min-height:0}.inst.is-present .panel{align-content:start;overflow:auto}.inst.is-present .measure{height:auto;overflow:visible}.inst.is-present .hl-nav{display:flex}@media (width<=1180px){.inst .body{grid-template-columns:minmax(0, 1fr) calc(300 * var(--g))}}@media (width<=980px){.inst-actions .present-btn{display:none}.inst .instrument{padding:calc(12 * var(--g)) calc(10 * var(--g))}.inst .body{gap:calc(16 * var(--g));grid-template-columns:minmax(0,1fr)}.inst .left{top:var(--hdr,0px);z-index:4;padding-bottom:calc(6 * var(--g));transition:background-color var(--dur-state), box-shadow var(--dur-state);position:sticky}.inst.graph-stuck .left{background:color-mix(in srgb, var(--bg) 90%, transparent);backdrop-filter:blur(12px);box-shadow:0 12px 20px -16px var(--pl-drop2)}.inst .panel{padding:calc(16 * var(--g)) calc(14 * var(--g)) calc(18 * var(--g))}.inst .hl-grid{scroll-snap-type:x mandatory;grid-template-columns:none;grid-auto-columns:min(78%,300px);grid-auto-flow:column;padding-bottom:6px;overflow-x:auto}.inst .hl{scroll-snap-align:start}}.inst.show-hints:has(.hint.show) .keyhelp{opacity:0}.inst .stage>.stage-notes,.inst .stage>.view-buttons{transition:opacity var(--dur-state) var(--ease-out)}@container graph (width<=560px){.inst .stage>.hint:not(.at-top){bottom:calc(8 * var(--g));width:calc(100% - 16 * var(--g));max-width:none}.inst .stage:has(>.hint.show:not(.at-top))>.stage-notes:not(.top),.inst .stage:has(>.hint.show:not(.at-top))>.view-buttons{opacity:0;pointer-events:none}}.h12 .stage{touch-action:pan-y}.h12 .stage:focus-visible{outline-offset:-2px}.h12 .stage-notes{max-width:min(calc(420 * var(--u)), 60%)}.h12 .toast,.h12 .hint{left:50%;transform:translate(-50%,6px)}.h12 .toast.show,.h12 .hint.show{opacity:1;transform:translate(-50%)}.h12.booting .panel>*,.h12.booting .measure>*{animation:.42s cubic-bezier(.2,.7,.2,1) both inst-rise}.h12.booting .panel>:nth-child(3){animation-delay:.14s}.h12.booting .panel>:nth-child(4){animation-delay:.2s}.h12.is-present .left{position:static}@media (width<=980px){.h12.kbd-open .left{position:static}.h12 .toast,.h12 .hint{white-space:normal;text-align:center;width:calc(100% - 32px)}}@media (width<=980px) and (height<=640px){.h12 .left{position:static}}.h12 .c-h{color:var(--c-h)}.h12 .c-a{color:var(--c-a)}.h12 .c-dy{color:var(--c-dy-text)}.h12 .dim{color:var(--text-3)}.h12 .measure{height:calc(104 * var(--g));padding:0 calc(16 * var(--g));row-gap:calc(6 * var(--g));grid-template-rows:auto auto;align-content:center}.h12 .rd-row{align-items:baseline;column-gap:calc(22 * var(--g));white-space:nowrap;min-width:0;min-height:1.3em;line-height:1.3;display:flex}.h12 .rd{align-items:baseline;gap:.35em;display:inline-flex}.h12 .rd-lab,.h12 .rd-pre{font-family:var(--font-ui);font-size:var(--fs-s);color:var(--text-2)}.h12 .rd-pre{margin-right:calc(-12 * var(--g))}.h12 .rd-sym .katex{font-size:1em}.h12 .rd-val{font-family:var(--font-mono);color:var(--text);display:inline-block}.h12 .row-1{font-size:var(--fs-l)}.h12 .row-2{font-size:var(--fs-m)}.h12 .rd-n .rd-val,.h12 .rd-s .rd-val{min-width:7ch}.h12 .rd-prop .rd-val,.h12 .rd-dev .rd-val{min-width:7ch;color:var(--c-dy-text)}.h12 .rd-cover .rd-val{min-width:8ch;color:var(--c-a)}.h12 .rd-in .rd-val,.h12 .rd-ever .rd-val{min-width:7ch;color:var(--c-dy-text)}.h12 .rd-pair .rd-val{color:var(--c-dy-text)}@container graph (width<=860px){.h12 .rd-row{column-gap:calc(14 * var(--g))}.h12 .rd-n .rd-val,.h12 .rd-s .rd-val,.h12 .rd-prop .rd-val,.h12 .rd-dev .rd-val{min-width:6ch}}@container graph (width<=620px){.h12 .stack-label.stack-note{display:none}.h12 .measure{padding:0 calc(6 * var(--g));height:calc(128 * var(--g));row-gap:calc(4 * var(--g))}.h12 .row-1{font-size:var(--fs-s)}.h12 .row-2{font-size:var(--fs-xs)}.h12 .rd-lab,.h12 .rd-pre{font-size:var(--fs-2xs)}.h12 .rd-pre{margin-right:0}.h12 .rd-row{column-gap:calc(9 * var(--g));row-gap:calc(2 * var(--g));white-space:normal;flex-wrap:wrap}.h12 .rd{white-space:nowrap;gap:.25em}.h12 .rd-val{min-width:0!important}}.h12 .stage{--stage-min:360px;--stage-max:900px}.h12 .main-canvas{position:absolute;inset:0}.h12 .overlay{pointer-events:none;position:absolute;inset:0}.h12 .handle{z-index:3}.h12 .strip-name{z-index:2;font-family:var(--font-ui);font-size:var(--fs-xs);color:var(--text-2);white-space:nowrap;pointer-events:none;position:absolute;transform:translateY(-50%)}.h12 .stage-notes{left:calc(46 * var(--g));bottom:calc(72 * var(--g));z-index:4;gap:calc(6 * var(--g));display:grid}.h12 .hidden-note{padding:calc(5 * var(--g)) calc(10 * var(--g));font-size:var(--fs-s);color:var(--text-2);border-left:2px solid var(--accent);background:color-mix(in srgb, var(--plot-bg) 85%, transparent);margin:0;line-height:1.45}.h12 .toast,.h12 .hint{z-index:5}.h12 .hint{bottom:calc(76 * var(--g));max-width:min(calc(560 * var(--u)), 78%)}.h12 .hint.at-top{bottom:auto;top:max(calc(64 * var(--g)), calc(var(--nav-bottom,0px) + 8 * var(--g)))}.h12 .hint.placed{max-width:none;transform:translate(var(--hx,0px), calc(var(--hy,0px) + 6px));top:0;bottom:auto;left:0}.h12 .hint.placed.show{transform:translate(var(--hx,0px), var(--hy,0px))}.h12 .hl-nav{right:calc(24 * var(--g));top:calc(20 * var(--g));z-index:4;max-width:calc(70% - 24 * var(--g))}.h12 .hl-nav.idle{display:none}.h12 .keyhelp{z-index:5}.h12 .keyhelp kbd{min-width:calc(96 * var(--u))}.h12.is-present .hl-nav.idle{transition:opacity var(--dur-travel) var(--ease-out);display:flex}.h12.is-present:not(.show-hints) .hl-nav.idle{opacity:0;pointer-events:none}.h12 .ambient{pointer-events:none;position:absolute;inset:0}.h12 .stage>.mem-win{z-index:6;left:var(--mem-left,calc(52 * var(--g)));bottom:calc(46 * var(--g));width:min(calc(330 * var(--g)), 46%);position:absolute}.h12.is-present .stage>.mem-win{left:calc(52 * var(--g));width:min(calc(380 * var(--g)), 44%)}.h12.is-present.mem-open .stack-label[data-layer=dev].stack-name{opacity:0}.h12.is-present.mem-open .hint.at-top{left:auto;right:calc(24 * var(--g));max-width:34%;transform:translateY(6px)}.h12.is-present.mem-open .hint.at-top.show{transform:translate(0)}.h12.is-present.show-hints .stage>.mem-win{opacity:0;pointer-events:none}.h12 .panel>.mem-win{margin-top:calc(-4 * var(--g))}.h12.mem-open .stage-notes{left:auto;right:calc(22 * var(--g))}.h12 .mem-table{border-collapse:collapse;width:100%;font-size:var(--fs-xs)}.h12 .mem-table th{font-family:var(--font-ui);color:var(--text-2);text-align:right;padding:0 0 calc(4 * var(--g)) calc(6 * var(--g));font-weight:450}.h12 .mem-table th:first-child{text-align:left;padding-left:0}.h12 .mem-table td{white-space:nowrap;font-family:var(--font-mono);text-align:right;padding:calc(2 * var(--g)) 0 calc(2 * var(--g)) calc(6 * var(--g));color:var(--text)}.h12 .mem-table td.mem-k{text-align:left;padding-left:0}.h12 .mem-table td.mem-s{color:var(--c-dy-text)}.h12 .mem-note{margin:calc(6 * var(--g)) 0 0;font-size:var(--fs-xs);color:var(--text-2);line-height:1.35}.h12 .panel{gap:calc(14 * var(--g))}.h12 .panel>.sec+.sec{padding-top:calc(13 * var(--g));border-top:1px solid var(--line)}.h12 .sec{gap:calc(9 * var(--g));grid-template-columns:minmax(0,1fr);display:grid}.h12 .sec-read{align-items:baseline;gap:.3em;display:inline-flex}.h12 .exp-read .field{width:4.2em}.h12 .mu-read .katex{font-size:1em}.h12 .toss-read .field{width:6.2em}.h12 .seed{font-family:var(--font-mono);font-size:var(--fs-xs);color:var(--text-2);white-space:nowrap;margin-left:.4em}.h12 .p-row{min-height:calc(30 * var(--g));align-items:center;display:grid}.h12 .p-row>*{grid-area:1/1}.h12 .die-line{font-size:var(--fs-s);color:var(--text-2);visibility:hidden;margin:0}.h12.p-off .p-row .twheel{visibility:hidden}.h12.p-off .die-line{visibility:visible}.h12 .start-row{justify-content:space-between;align-items:center;gap:calc(8 * var(--g)) calc(10 * var(--g));flex-wrap:wrap;display:flex}.h12 .toss-body{justify-content:space-between;align-items:center;gap:calc(10 * var(--g));display:flex}.h12 .toss-body .pbtn{width:calc(104 * var(--g));height:calc(104 * var(--g))}@media (width<=1180px) and (width>=981px){.h12 .toss-body .pbtn{width:calc(92 * var(--g));height:calc(92 * var(--g))}}@media (width>=981px) and (height<=880px){.h12 .panel{gap:calc(8 * var(--g))}.h12 .panel>.sec+.sec{padding-top:calc(9 * var(--g))}.h12 .sec{gap:calc(7 * var(--g))}.h12 .toss-body .pbtn{width:calc(76 * var(--g));height:calc(76 * var(--g))}.h12 .measure{height:calc(96 * var(--g))}}.h12 .highlights h2{margin:0 0 12px}.h12.answers-hidden .hl-caption{display:none}.h12.is-present .highlights,.h12.is-present .tb-sys,.h12.is-present .pbar,.h12.is-present .die-line,.h12.is-present .seed{display:none!important}.h12.is-present .body{grid-template-columns:minmax(0, 1fr) calc(430 * var(--g))}.h12.is-present .rd-row{row-gap:calc(2 * var(--g));flex-wrap:wrap}.h12.is-present .rd-pre{display:none}.h12.is-present .toss-body .pbtn{width:calc(132 * var(--g));height:calc(132 * var(--g))}.h12.is-present .pbtn .pcap span{font-size:calc(10 * var(--u))}.h12.is-present .kb-label{display:none}.h12.is-present .katex{font-size:calc(15 * var(--u))}.h12 .stack-label,.h12 .strip-name{transition:opacity var(--dur-state) var(--ease-out)}.h12 .stage:has(.hint.show) .stack-label,.h12 .stage:has(.hint.show) .strip-name,.h12 .stage:has(.hl-nav:not(.idle)) .stack-label.stack-note[data-layer=prop],.h12.is-present.show-hints .stack-label{opacity:0}@media (width<=600px){.h12 .stage:has(.hint.show) .stack-label,.h12 .stage:has(.hl-nav:not(.idle)) .stack-label[data-layer=prop],.h12 .stage:has(.hl-nav:not(.idle)) .strip-name{opacity:0}}@media (width<=980px){.h12 .stage{height:min(56vh,520px)}.h12 .hl-nav{right:calc(8 * var(--g));top:calc(8 * var(--g));max-width:calc(100% - 16 * var(--g))}.h12 .hint.at-top{top:max(calc(48 * var(--g)), calc(var(--nav-bottom,0px) + 8 * var(--g)))}}