div.fixed.bottom-5,html.present a.fixed{display:none}.showcase-section.dense{padding-top:3rem;padding-bottom:3rem}.row-labels{display:grid;grid-auto-rows:24px;padding-top:13px}.line-label{font-size:.95rem;line-height:24px;white-space:nowrap;color:var(--color-ink-soft)}.row-labels.lg{grid-auto-rows:2.1rem;padding-top:calc(1.1rem + 1px)}.line-label.lg{font-size:1.05rem;line-height:2.1rem}.code-man{border:1px solid var(--color-line);border-radius:.75rem;background:var(--color-paper);padding:12px 20px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:15px;line-height:24px}.prob-card{border-radius:.75rem;border:1px solid #fecaca;background:#fff5f5;padding:.55rem 1rem}.prob-title{font-weight:600;font-size:1.05rem;color:#b91c1c}.prob-body{margin-top:.1rem;font-size:.95rem;color:var(--color-ink-soft)}.gain-card{align-self:center;border-radius:.75rem;border:2px solid rgba(13,71,161,.35);background:var(--color-navy-soft);padding:.55rem 1.1rem}.gain-key{font-family:var(--font-display);font-size:1.3rem;font-weight:600;color:var(--color-navy)}.gain-body{font-size:1rem;color:var(--color-ink)}.cut-tag{margin-left:.75rem;font-family:var(--font-sans);font-size:.8rem;font-weight:600;color:#b91c1c}.sci-note{font-family:var(--font-sans);font-size:.9rem;font-weight:600}.code-man.xs{padding:10px 14px;font-size:13.5px;line-height:20px}.code-man.xs:not(.lg) .band{margin:0 -14px;padding:0 14px}.code-man.xs .band+.band{border-top:1px dashed var(--color-line)}.code-man.lg{padding:1.1rem 1.75rem;font-size:1.2rem;line-height:1.75}.code-man .cl{white-space:pre}span.code-man.inline-block{padding:6px 16px;font-size:1.1rem;white-space:pre}.mark-k,.mark-a,.mark-b,.mark-d,.mark-m,.mark-bad{border-radius:4px;transition:background-color .5s ease,box-shadow .5s ease}.mark-k.on,.lit-k{background:#dbe4f5;border-radius:4px}.mark-a.on,.lit-a{background:#dbe4f5;box-shadow:inset 0 -2px 0 var(--color-navy);border-radius:4px}.mark-b.on{background:#cffafe;box-shadow:inset 0 -2px 0 var(--color-cyan-deep)}.mark-d.on{background:#a5f3fc;box-shadow:inset 0 -2px 0 var(--color-cyan-deep)}.mark-m.on,.swatch-m{background:#fef3c7;box-shadow:inset 0 -2px #d97706}.mark-bad.on,.lit-bad{background:#fef3c7;box-shadow:inset 0 -2px #d97706;border-radius:4px}.lit-v{background:#cffafe;box-shadow:inset 0 -2px 0 var(--color-cyan-deep);border-radius:4px}.lit-swap{background:#a5f3fc;box-shadow:inset 0 -3px 0 var(--color-cyan-deep);border-radius:4px;padding:0 2px}.lit-good{background:#dbe4f5;box-shadow:inset 0 -2px 0 var(--color-navy);border-radius:4px}.band{margin:0 -1.75rem;padding:0 1.75rem;transition:background-color .5s ease,box-shadow .5s ease}.code-man:not(.lg) .band{margin:0 -20px;padding:0 20px}.band.on{background:var(--color-navy-soft);box-shadow:inset 4px 0 0 var(--color-navy)}.band-tag{position:absolute;right:1rem;top:50%;translate:0 -50%;font-family:var(--font-sans);font-size:1rem;font-weight:600;color:var(--color-navy)}.pval{display:none;margin-left:1.25rem;padding:.05rem .6rem;border-radius:.4rem;background:var(--color-navy);color:#fff;font-size:1rem;vertical-align:.1rem}.showcase-section[data-step="1"] .pval.v1,.showcase-section[data-step="2"] .pval.v2,.showcase-section[data-step="3"] .pval.v3{display:inline-block}.skip1,.skip2{display:none;margin-left:1rem;font-family:var(--font-sans);font-size:.95rem;font-weight:600;color:#b45309}.showcase-section[data-step="1"] .skip1,.showcase-section[data-step="2"] .skip2{display:inline}.abs-code .cl{margin:0 -1.75rem;padding:0 1.75rem;transition:opacity .35s ease,background-color .35s ease}.fbox{padding:.35rem 1.4rem;border-radius:.6rem;background:var(--color-ink);color:#fff;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1.9rem;font-weight:600}.term{font-size:1.05rem;font-weight:600;color:var(--color-cyan-deep)}.chain{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1.15rem;line-height:1.9}.chain.big{font-size:1.3rem}.chain .cl{white-space:pre}.ch-arrow{display:inline-block;width:1.8rem;color:var(--color-ink-mute);font-family:var(--font-sans)}.ch-note{margin-left:1.8rem;font-family:var(--font-sans);font-size:.95rem;line-height:1.4;color:var(--color-ink-soft)}.vbox{position:relative;border-radius:.75rem;padding:.75rem 1.1rem;transition:opacity .5s ease}.vbox.local{background:#cffafeb3;border:2px solid var(--color-cyan-deep)}.vbox.global{background:var(--color-paper);border:2px solid rgba(13,71,161,.45)}.vbox-head{font-size:.95rem;font-weight:600;color:var(--color-ink-soft)}.vbox-rows{margin-top:.4rem;display:grid;grid-template-columns:auto 1fr;column-gap:1rem;row-gap:.2rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1.2rem}.vname{color:var(--color-ink)}.vval{color:var(--color-navy);font-weight:600}.vbox-gone{position:absolute;right:1rem;top:.7rem;font-size:.95rem;font-weight:600;color:#b45309}.frames-arrows{display:grid;grid-template-columns:auto;justify-items:center;row-gap:0;padding:0 .25rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.fa-chip{padding:0 .5rem;border-radius:.4rem;background:var(--color-navy);color:#fff;font-size:.95rem;font-weight:600;line-height:1.5}.fa-chip.back{background:var(--color-cyan-deep)}.fa-line{font-size:1.8rem;line-height:1.1;color:var(--color-ink-soft)}.read-tag{position:absolute;top:calc(100% + .25rem);left:.25rem;white-space:nowrap;font-size:.95rem;font-weight:600;color:var(--color-navy)}.vbox-gone.below{top:calc(100% + .25rem);right:.25rem;white-space:nowrap}.vbox.local:has(.vbox-gone.on){opacity:.45;border-style:dashed}.rule-row{display:flex;align-items:center;gap:1.25rem;border-radius:.75rem;border:1px solid var(--color-line);background:var(--color-paper);padding:1rem 1.75rem;font-size:1.35rem;color:var(--color-ink)}.rule-no{display:grid;place-items:center;flex:none;width:2.4rem;height:2.4rem;border-radius:999px;background:var(--color-navy);color:#fff;font-weight:600}.val-chip{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1.2rem;text-align:center;padding:.05rem .6rem;border-radius:.5rem;background:var(--color-navy-soft);border:1px solid rgba(13,71,161,.25);color:var(--color-navy);font-weight:600;white-space:pre}.val-chip.xl{font-size:1.9rem;padding:.2rem 1rem}.val-chip.grey{background:transparent;border-color:#cbd5e1;color:#94a3b8;font-weight:500}.mc-grid{display:grid;grid-template-columns:8.5rem repeat(3,1fr);column-gap:1.5rem;row-gap:.35rem;align-items:center;justify-items:center}.mc-term{justify-self:end;text-align:right;font-size:1.1rem;font-weight:600;color:var(--color-cyan-deep);line-height:1.25}.mc-term span{display:block;font-size:.9rem;font-weight:500;color:var(--color-ink-soft)}.mc-arrow{font-size:2.2rem;line-height:1;color:var(--color-navy)}.mc-box .fbox{display:inline-block;font-size:1.6rem}.val-chip.lg{font-size:1.5rem;padding:.15rem .8rem}.mc-box.on .fbox{animation:mc-work .7s ease .35s 1 both}@keyframes mc-work{0%,to{transform:scale(1)}50%{transform:scale(1.12);background:var(--color-navy)}}.val-chip.out{background:#cffafe;border-color:#0891b273;color:#0e7490}.flow-fit svg{width:100%;height:auto}.flow{display:block;overflow:visible}.flow text{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:15px;fill:var(--color-ink)}.flow .fe polyline{fill:none;stroke:var(--color-ink-mute);stroke-width:2px;stroke-linejoin:round;transition:stroke .4s ease,stroke-width .4s ease}.flow .fe .ah{fill:var(--color-ink-mute);transition:fill .4s ease}.flow .fe-label{font-family:var(--font-sans);font-size:13px;font-weight:600;fill:var(--color-ink-mute)}.flow .fe.frag-hot.on polyline{stroke:var(--color-navy);stroke-width:3.5px}.flow .fe.frag-hot.on .ah,.flow .fe.frag-hot.on .fe-label{fill:var(--color-navy)}.flow .fn-box rect{fill:var(--color-paper);stroke:#cbd5e1;stroke-width:1.5px}.flow .fn-group rect{fill:#cffafe59;stroke:var(--color-cyan-deep);stroke-width:1.5px;stroke-dasharray:6 4}.flow .fn-group-label{font-family:var(--font-sans);font-size:13px;font-weight:600;fill:#0e7490}.code-man.calls{position:relative}.arr-set{position:absolute;inset:0;pointer-events:none}.arr-svg{position:absolute;left:0;top:0;overflow:visible}.arr-line{fill:none;stroke:var(--color-navy);stroke-width:2.5;stroke-linejoin:round}.arr-head{fill:var(--color-navy)}.arr-tag{position:absolute;transform:translateY(-50%);font-family:var(--font-sans);font-size:.95rem;font-weight:600;color:var(--color-navy);white-space:nowrap}.arr-tag.left{transform:translate(-100%,-50%)}.arr-val{position:absolute;transform:translateY(-50%);padding:.05rem .55rem;border-radius:.4rem;background:var(--color-navy);color:#fff;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1rem;font-weight:600;line-height:1.5;white-space:pre}.arr-val.sm{font-size:.85rem}.lit-p1,.mark-p1.on{background:#dbe4f5;box-shadow:inset 0 -2px 0 var(--color-navy)}.lit-p2,.mark-p2.on{background:#cffafe;box-shadow:inset 0 -2px 0 var(--color-cyan-deep)}.lit-p1,.lit-p2,.mark-p1,.mark-p2{border-radius:4px;transition:background-color .5s ease,box-shadow .5s ease}.lanes{display:flex;gap:.35rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1.15rem;color:var(--color-ink)}.lane-col{display:flex;flex-direction:column}.lane-col>*{height:2.75rem;display:flex;align-items:center;justify-content:center;white-space:pre}.lane-col>.ord,.lane-col>.up{height:1.5rem;font-family:var(--font-sans);font-size:.9rem;font-weight:700}.lane-col>.up{font-size:1.2rem}.lane-col.pre>*{justify-content:flex-end}.lane-col.res{margin-left:.75rem}.lane-col.res>*{justify-content:flex-start}.lane{min-width:5.5rem;padding:0 .6rem .4rem;border-radius:.75rem}.lane.p1{background:#dbe4f599;color:var(--color-navy)}.lane.p2{background:#cffafeb3;color:var(--color-cyan-deep)}.lane-head{padding:.1rem .75rem;border-radius:.5rem;color:#fff;font-weight:600}.lane.p1 .lane-head{background:var(--color-navy)}.lane.p2 .lane-head{background:var(--color-cyan-deep)}.lane-arg{font-weight:700}.lane-miss{width:2.6rem;height:1.9rem;border:2px dashed #d97706;border-radius:.45rem;background:#fffbeb}.shape-table{display:grid;grid-template-columns:10.5rem 1fr 1fr;gap:2px;background:#cbd5e1;border:2px solid #cbd5e1;border-radius:.9rem;overflow:hidden}.st-head{display:flex;align-items:center;padding:.6rem 1.4rem;background:var(--color-cyan-soft);font-size:1.1rem;font-weight:600;color:var(--color-cyan-deep)}.st-head.side{justify-content:center;white-space:nowrap}.st-cell{padding:1.1rem 1.4rem;background:var(--color-paper)}.code-man.bare{border:none;padding:0;background:transparent}.arr-set.screen .arr-line{stroke:var(--color-ink-soft)}.arr-set.screen .arr-head{fill:var(--color-ink-soft)}.arr-set.screen .arr-tag{color:var(--color-ink-soft)}.code-man.md{padding:14px 24px;font-size:17px;line-height:28px}.screen13{margin-top:28px;min-height:112px;padding:14px 20px;border-radius:.75rem;background:var(--color-ink);color:#ffffffe6;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:17px;line-height:28px}.var13{position:absolute;transform:translateY(-50%);display:inline-flex;align-items:center;gap:.4rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1.05rem;white-space:nowrap}.none-box{padding:0 .6rem;border-radius:.5rem;border:2px solid #d97706;background:#fef3c7;color:#b45309;font-weight:600}.arr-calc{position:absolute;transform:translateY(-50%);padding:0 .5rem;border-radius:.4rem;border:2px solid var(--color-navy);background:var(--color-paper);color:var(--color-navy);font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1rem;font-weight:600;line-height:1.5;white-space:pre}.wait6{border-radius:4px;outline:2px dashed transparent;outline-offset:3px;transition:outline-color .35s ease}.trace-row{transition:background-color .4s ease,border-color .4s ease}.trace-code .cl{margin:0 -10px;padding:0 10px;border-radius:4px;transition:opacity .35s ease,background-color .35s ease}.repl{border:1px solid var(--color-line);border-radius:.75rem;background:var(--color-paper);padding:1.25rem 1.75rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:1.5rem;line-height:1.6}.repl .in{color:var(--color-ink);white-space:pre}.repl .ps{color:var(--color-cyan-deep);margin-right:.5rem}.repl .out{color:var(--color-navy);font-weight:600;margin-bottom:.35rem}
