:root{--dp-red: rgb(196, 18, 48);--dp-blue: rgb(0, 88, 160);--dp-teal: rgb(0, 142, 134);--dp-orange: rgb(230, 108, 20);--dp-gray: rgb(95, 95, 95);--light-gray: rgb(242, 242, 242);--soft-blue: rgb(230, 242, 255);--soft-green: rgb(232, 248, 240);--soft-red: rgb(255, 235, 235);--soft-orange: rgb(255, 243, 230);--page: rgb(252, 252, 251);--surface: rgb(255, 255, 255);--ink: rgb(28, 28, 30);--ink-soft: rgb(95, 95, 95);--line: rgb(226, 226, 224);--radius: 10px;--font-sans: ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;--font-mono: ui-monospace, SFMono-Regular, "SF Mono", Menlo, Consolas, monospace}*{box-sizing:border-box}html,body,#root{height:100%}body{margin:0;background:var(--page);color:var(--ink);font-family:var(--font-sans);font-size:16px;line-height:1.6;-webkit-text-size-adjust:100%}a{color:var(--dp-blue)}.wrap{max-width:1180px;margin:0 auto;padding:24px 20px 168px}.crumb{font-size:14px;color:var(--ink-soft);display:flex;gap:8px;align-items:center;flex-wrap:wrap}.crumb a{text-decoration:none}.crumb a:hover{text-decoration:underline}h1{font-size:26px;font-weight:600;margin:8px 0 4px;letter-spacing:-.01em}h2{font-size:19px;font-weight:600;margin:32px 0 12px}.lede{color:var(--ink-soft);margin:0 0 24px}.banner{background:var(--soft-blue);border-radius:16px;padding:12px;margin:0 0 28px;display:flex;justify-content:center}.banner img{width:100%;max-width:760px;height:auto;display:block}.weeks{display:grid;grid-template-columns:repeat(auto-fit,minmax(230px,1fr));gap:14px}.card{background:var(--surface);border:1px solid var(--line);border-radius:14px;padding:16px 18px;text-decoration:none;color:inherit;display:block;min-height:118px}a.card:hover{border-color:var(--dp-teal)}.card.muted{background:transparent;border-style:dashed;color:var(--ink-soft)}.card.ready{border-color:var(--dp-teal);border-width:2px}.card .eyebrow{font-size:13px;color:var(--ink-soft)}.card .name{font-size:15px;font-weight:500;margin-top:6px}.card .meta{font-size:13px;color:var(--dp-teal);margin-top:10px}.card.muted .meta{color:var(--ink-soft)}.classblock{border-top:1px solid var(--line);padding-top:16px;margin-top:24px}.classblock .day{font-size:13px;color:var(--ink-soft)}.classblock .title{font-size:17px;font-weight:500;margin:2px 0 12px}.topics{display:grid;grid-template-columns:repeat(auto-fit,minmax(250px,1fr));gap:12px}.empty{font-size:14px;color:var(--ink-soft);font-style:normal}.grid{display:grid;grid-template-columns:minmax(0,380px) minmax(0,1fr);grid-template-areas:"code viz" "mem exp";gap:22px}.panel{background:var(--surface);border:1px solid var(--line);border-radius:14px;padding:14px 16px;min-width:0;overflow:hidden}.panel h3{font-size:13px;font-weight:500;color:var(--ink-soft);margin:0 0 10px}.area-code{grid-area:code}.area-viz{grid-area:viz}.area-mem{grid-area:mem}.area-exp{grid-area:exp}.code{font-family:var(--font-mono);font-size:13px;line-height:1.7;margin:0;overflow-x:auto;max-width:100%}.code .ln{display:flex;gap:12px;padding:1px 6px;border-radius:5px;white-space:pre}.code .ln .num{color:var(--ink-soft);width:14px;text-align:right;flex:none}.code .ln.on{background:var(--soft-blue);color:var(--dp-blue)}.cells{display:flex;gap:6px;flex-wrap:nowrap;overflow-x:auto;padding:4px 0 2px}.cellwrap{display:flex;flex-direction:column;align-items:center;gap:4px;flex:none}.cell{width:52px;height:44px;border-radius:8px;border:1.5px solid var(--line);display:flex;align-items:center;justify-content:center;font-family:var(--font-mono);font-size:15px;background:var(--surface);transition:transform .16s ease,background .16s ease}.cell.sorted{background:var(--soft-green);border-color:var(--dp-teal)}.cell.compare{background:var(--soft-blue);border-color:var(--dp-blue)}.cell.keyed,.cell.moving{background:var(--soft-orange);border-color:var(--dp-orange)}.cell.hole{background:transparent;border-style:dashed}.cell.changed{transform:translateY(-3px)}.idx{font-size:12px;color:var(--ink-soft);font-family:var(--font-mono)}.tag{font-size:11px;color:var(--ink-soft)}.keychip{display:flex;align-items:center;gap:10px;margin-bottom:12px;min-height:48px}.keychip .cell{border-color:var(--dp-orange);background:var(--soft-orange)}.keychip span{font-size:13px;color:var(--ink-soft)}.legend{display:flex;gap:14px;flex-wrap:wrap;font-size:12px;color:var(--ink-soft);margin-top:12px}.legend i{width:10px;height:10px;border-radius:3px;display:inline-block;margin-right:5px;vertical-align:-1px;border:1.5px solid}.legend .s{background:var(--soft-green);border-color:var(--dp-teal)}.legend .c{background:var(--soft-blue);border-color:var(--dp-blue)}.legend .k{background:var(--soft-orange);border-color:var(--dp-orange)}.legend .h{background:transparent;border-color:var(--line);border-style:dashed}.frames{display:flex;flex-direction:column-reverse;gap:6px}.frame{border:1.5px solid var(--line);border-radius:8px;padding:8px 10px;font-family:var(--font-mono);font-size:13px;background:var(--surface)}.frame.active{border-color:var(--dp-orange);background:var(--soft-orange)}.frame.waiting{border-color:var(--dp-gray);background:var(--light-gray)}.frame.returning{border-color:var(--dp-teal);background:var(--soft-green)}.frame .sub{font-size:12px;color:var(--ink-soft)}.phasebar{font-size:13px;padding:6px 10px;border-radius:8px;margin-bottom:10px;display:inline-block}.phasebar.descent{background:var(--soft-blue);color:var(--dp-blue)}.phasebar.unwind{background:var(--soft-green);color:var(--dp-teal)}.phasebar.done{background:var(--light-gray);color:var(--ink-soft)}.pending{font-family:var(--font-mono);font-size:14px;margin-top:12px;color:var(--ink)}.vars{display:flex;gap:10px;flex-wrap:wrap;font-family:var(--font-mono);font-size:14px}.var{padding:3px 9px;border-radius:7px;background:var(--light-gray)}.var.changed{background:var(--soft-orange);color:#783808}.counters{margin-top:12px;font-size:13px;color:var(--ink-soft)}.machine{margin-top:12px;font-family:var(--font-mono);font-size:13px;color:var(--ink-soft)}.explain{font-size:15px;margin:0}.why{margin-top:12px;font-size:14px;color:var(--ink-soft);background:var(--light-gray);border-radius:8px;padding:10px 12px}.whybtn{margin-top:10px}.summary{font-size:14px}.summary strong{font-weight:600}.controls{display:flex;align-items:center;gap:8px;flex-wrap:wrap;background:var(--surface);border:1px solid var(--line);border-radius:14px;padding:10px 12px;margin-top:14px}button,select{font:inherit;font-size:14px;color:inherit;background:var(--surface);border:1px solid var(--line);border-radius:8px;padding:8px 14px;cursor:pointer;min-height:44px}button:hover:not(:disabled){border-color:var(--dp-teal)}button:disabled{opacity:.45;cursor:default}button.primary{background:var(--soft-blue);border-color:var(--dp-blue);color:var(--dp-blue)}button:focus-visible,select:focus-visible,a:focus-visible{outline:3px solid var(--dp-blue);outline-offset:2px}.spacer{flex:1}.count{font-family:var(--font-mono);font-size:13px;color:var(--ink-soft)}.track{position:relative;height:8px;border-radius:4px;background:var(--light-gray);margin-top:10px;overflow:hidden}.track .fill{position:absolute;inset:0 auto 0 0;background:var(--dp-teal);opacity:.55}.track .tick{position:absolute;top:0;bottom:0;width:1px;background:var(--surface)}@media (max-width: 1023px){.grid{grid-template-columns:minmax(0,1fr);grid-template-areas:"viz" "code" "mem" "exp"}}@media (max-width: 767px){.wrap{padding:16px 14px 190px}h1{font-size:22px}.grid{gap:10px}.grid{grid-template-areas:"viz" "exp" "tabs"}.area-code,.area-mem{display:none}.tabbed .area-code,.tabbed .area-mem{display:block;grid-area:tabs}.tabs{display:flex;gap:8px;margin-top:10px}.cell{width:44px;height:40px;font-size:14px}button{min-height:52px;padding:8px 16px}}@media (min-width: 768px){.tabs{display:none}}@media (prefers-reduced-motion: reduce){.cell{transition:none}.cell.changed{transform:none;box-shadow:inset 0 0 0 2px var(--dp-orange)}}.arrowband{position:relative;width:100%}.cells{position:relative}.ptr{font-size:12px;font-family:var(--font-mono);color:var(--dp-blue);min-height:18px}.divider{position:absolute;top:-4px;bottom:26px;width:0;border-left:2px dashed var(--dp-teal);transform:translate(-3px)}.vars.consts{margin-top:8px}.var.const{background:transparent;border:1px dashed var(--line);color:var(--ink-soft)}.stackregion{display:flex;flex-direction:column;gap:4px}.slot{display:flex;align-items:stretch;gap:10px;position:relative;border:1.5px solid var(--line);border-radius:8px;padding:8px 10px;min-height:58px;background:var(--surface)}.slot .addr{font-family:var(--font-mono);font-size:12px;color:var(--ink-soft);flex:none;width:88px}.slot .slotbody{min-width:0}.slot .slothead{font-family:var(--font-mono);font-size:13px}.slot .slothead em{font-style:normal;color:var(--ink-soft);font-size:12px}.slot .slotvars{display:flex;gap:12px;flex-wrap:wrap;font-family:var(--font-mono);font-size:12px;margin-top:3px}.slot .slotvars .ret{color:var(--ink-soft)}.slot.active{border-color:var(--dp-orange);background:var(--soft-orange)}.slot.waiting{border-color:var(--dp-gray);background:var(--light-gray)}.slot.returning{border-color:var(--dp-teal);background:var(--soft-green)}.slot.released{border-style:dashed;color:var(--ink-soft);background:repeating-linear-gradient(45deg,transparent,transparent 7px,var(--light-gray) 7px,var(--light-gray) 14px)}.slot.never{border-style:dashed;color:var(--ink-soft);background:transparent}.spmark{position:absolute;right:-6px;top:50%;transform:translate(100%,-50%);font-family:var(--font-mono);font-size:12px;color:var(--dp-red);white-space:nowrap}.spmark.top{position:static;transform:none;margin-top:6px}.stackregion{padding-right:78px}@media (max-width: 767px){.slot .addr{width:72px;font-size:11px}.stackregion{padding-right:62px}}.inlineval{margin-left:16px;color:var(--dp-gray);font-size:12px;opacity:.95}.code .ln.on .inlineval{color:#5a5a5c}.watch{margin-top:14px;border-top:1px solid var(--line);padding-top:12px}.watch h4{font-size:13px;font-weight:500;color:var(--ink-soft);margin:0 0 8px}.watch table{border-collapse:collapse;width:100%;font-family:var(--font-mono);font-size:13px}.watch td{padding:4px 8px;border-bottom:1px solid var(--line)}.watch tr:last-child td{border-bottom:none}.watch td.expr{color:var(--ink);white-space:nowrap}.watch td.val{text-align:right;font-weight:600}.watch tr.compare td.val{color:var(--dp-blue)}.watch tr.key td.val{color:var(--dp-orange)}.watch tr.moving td.val{color:var(--dp-teal)}@media (max-width: 767px){.inlineval{display:none}.watch td{padding:6px}}.controlbar{position:fixed;left:0;right:0;bottom:0;z-index:20;background:#fcfcfbf7;border-top:1px solid var(--line);padding:10px 20px calc(10px + env(safe-area-inset-bottom,0px));-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px)}.controlinner{max-width:1180px;margin:0 auto}.controlbar .controls{margin-top:0;border:none;background:transparent;padding:0;border-radius:0}.controlbar .track{margin-top:8px}.inlineval,.watch td.val,.slot .slotvars span,.var{font-style:italic}.watch td.expr,.var.const{font-style:normal}@media (max-width: 767px){.controlbar{padding:8px 12px calc(8px + env(safe-area-inset-bottom,0px))}.controlbar .controls{gap:6px}}.treeview{margin-top:16px;border-top:1px solid var(--line);padding-top:12px}.treelevel{display:flex;align-items:center;gap:10px;margin-bottom:6px}.treelevel .lvl{font-family:var(--font-mono);font-size:11px;color:var(--ink-soft);width:22px;flex:none}.treerow{display:flex;gap:6px;flex-wrap:wrap;min-width:0}.tnode{border:1.5px solid var(--line);border-radius:7px;padding:3px 7px;font-family:var(--font-mono);font-size:11px;background:var(--surface);display:flex;flex-direction:column;line-height:1.35}.tnode.active{border-color:var(--dp-orange);background:var(--soft-orange)}.tnode.waiting{border-color:var(--dp-gray);background:var(--light-gray)}.tnode.done{border-color:var(--dp-teal);background:var(--soft-green)}.tnode.pending{border-style:dashed;color:var(--ink-soft)}.tnode.here{outline:2px solid var(--dp-blue);outline-offset:1px}.tnode .tresult{font-size:10px;color:var(--ink-soft);font-style:italic}.lvlwork{font-size:11px;color:var(--ink-soft);font-family:var(--font-mono)}.cell.dim{opacity:.35}.cell.half-left{box-shadow:inset 0 -3px 0 var(--dp-blue)}.cell.half-right{box-shadow:inset 0 -3px 0 var(--dp-red)}.cell.sentinel{font-style:italic;color:var(--dp-orange);border-style:dashed}.threecase{display:flex;gap:8px;flex-wrap:wrap;margin-top:12px;font-size:12px;font-family:var(--font-mono)}.threecase .case{padding:4px 9px;border-radius:7px;border:1.5px solid var(--line)}.threecase .left{background:var(--soft-blue);border-color:var(--dp-blue)}.threecase .cross{background:var(--soft-orange);border-color:var(--dp-orange)}.threecase .right{background:var(--soft-red);border-color:var(--dp-red)}.threecase .win{outline:2px solid var(--dp-teal);outline-offset:1px;font-weight:600}.scanline{margin-top:10px;font-family:var(--font-mono);font-size:12px;color:var(--ink-soft);font-style:italic}.matrow{display:flex;align-items:center;gap:12px;flex-wrap:wrap}.matbox{text-align:center}.matname{font-family:var(--font-mono);font-size:12px;color:var(--ink-soft);margin-bottom:3px}.matop{font-size:18px;color:var(--ink-soft)}table.matrix{border-collapse:collapse;font-family:var(--font-mono);font-size:13px}table.matrix td{width:32px;height:30px;text-align:center;border:1px solid var(--line)}table.matrix td.q11{background:var(--soft-blue)}table.matrix td.q12{background:var(--soft-green)}table.matrix td.q21{background:var(--soft-orange)}table.matrix td.q22{background:var(--soft-red)}.striprow{display:flex;align-items:flex-start;gap:8px;margin-bottom:8px}.stripname{font-family:var(--font-mono);font-size:12px;color:var(--ink-soft);width:16px;flex:none;padding-top:12px}@media (max-width: 767px){.tnode{font-size:10px;padding:2px 5px}table.matrix td{width:26px;height:26px;font-size:12px}}.toolsection{margin-top:22px;padding-top:16px;border-top:1px dashed var(--border-strong, var(--line))}.toolhead{font-size:13px;color:var(--ink-soft);letter-spacing:.04em;text-transform:uppercase;margin-bottom:10px}.card.tool{background:var(--soft-blue);border-color:var(--dp-blue);border-style:dashed}.card.tool .eyebrow{color:var(--dp-blue);font-weight:600}.toolnote{font-size:13px;color:var(--ink-soft);margin-top:10px}.abf{display:flex;gap:8px;flex-wrap:wrap;margin-bottom:14px;font-size:12px}.abf .chip{padding:4px 9px;border-radius:7px;border:1.5px solid var(--line);font-family:var(--font-mono)}.abf .a{background:var(--soft-orange);border-color:var(--dp-orange)}.abf .b{background:var(--soft-blue);border-color:var(--dp-blue)}.abf .f{background:var(--soft-green);border-color:var(--dp-teal)}.dirbanner{font-size:12px;padding:4px 9px;border-radius:7px;display:inline-block;margin-bottom:8px}.dirbanner.down{background:var(--soft-blue);color:var(--dp-blue)}.dirbanner.up{background:var(--soft-green);color:var(--dp-teal)}.treelevel.hot{background:var(--light-gray);border-radius:8px}table.levels{border-collapse:collapse;width:100%;margin-top:14px;font-family:var(--font-mono);font-size:12px}table.levels th{text-align:left;font-weight:500;color:var(--ink-soft);border-bottom:1px solid var(--line);padding:5px 8px}table.levels td{padding:5px 8px;border-bottom:1px solid var(--line)}table.levels tr.hot td{background:var(--soft-orange)}.canvaswrap{overflow-x:auto}.bnode circle{fill:var(--surface);stroke:var(--border-strong);stroke-width:1.6}.bnode text{font-family:var(--font-mono);font-size:14px;fill:var(--ink)}.bnode.current circle{fill:var(--soft-orange);stroke:var(--dp-orange);stroke-width:2.6}.bnode.output circle{fill:var(--soft-green);stroke:var(--dp-teal);stroke-width:2}.bnode.onstack circle{fill:var(--surface);stroke:var(--dp-orange);stroke-width:2}.bnode .halo{fill:none;stroke:var(--dp-orange);stroke-width:1;opacity:.4}.bnode.unvisited circle{stroke:var(--line)}.edge{stroke:var(--dp-gray);stroke-width:1.6;opacity:.55}.edge.hot{opacity:1;stroke-width:3}.edge.hot.left,.edge.hot.right{stroke:var(--dp-blue)}.edge.hot.up{stroke:var(--dp-teal);stroke-dasharray:5 4}.nullstub line{stroke:var(--line);stroke-width:1.2;stroke-dasharray:3 3}.nullstub text{font-family:var(--font-mono);font-size:10px;fill:var(--ink-soft)}.nullstub.live line{stroke:var(--dp-red);stroke-dasharray:none}.nullstub.live text{fill:var(--dp-red);font-weight:600}.legend .cur{background:var(--soft-orange);border-color:var(--dp-orange)}.legend .stk{background:var(--surface);border-color:var(--dp-orange)}.legend .out{background:var(--soft-green);border-color:var(--dp-teal)}.legend .un{background:var(--surface);border-color:var(--line)}.outputline{margin-top:12px;font-family:var(--font-mono);font-size:14px}.outputline .olabel{font-family:var(--font-sans);font-size:12px;color:var(--ink-soft);margin-right:10px}.frames{display:flex;flex-direction:column-reverse;gap:5px}.bnode.queued circle{fill:var(--surface);stroke:var(--dp-blue);stroke-width:2;stroke-dasharray:4 3}.bnode.deleted circle{fill:none;stroke:var(--line);stroke-width:1.2;stroke-dasharray:3 3}.bnode.deleted text{fill:var(--ink-soft);opacity:.4}.nodeval{font-family:var(--font-mono);font-size:11px;fill:var(--dp-teal)}.legend .que{background:var(--surface);border-color:var(--dp-blue);border-style:dashed}.legend .del{background:transparent;border-color:var(--line);border-style:dashed}.queuestrip{display:flex;gap:5px;flex-wrap:wrap;align-items:center}.qcell{min-width:30px;padding:5px 8px;text-align:center;border-radius:6px;border:1.5px solid var(--dp-blue);background:var(--soft-blue);font-family:var(--font-mono);font-size:13px}.qcell.front{border-color:var(--dp-orange);background:var(--soft-orange);font-weight:600}.comparebox{margin-top:14px;border-top:1px solid var(--line);padding-top:12px}.cmprow{display:flex;gap:12px;align-items:baseline;font-size:12px;margin-bottom:4px}.cmprow span{color:var(--ink-soft);width:104px;flex:none}.cmprow code{font-family:var(--font-mono);font-size:13px;letter-spacing:.06em}.cmprow.live code{color:var(--dp-teal);font-weight:600}.rules{margin-top:10px;font-size:12px;color:var(--ink-soft);line-height:1.8}.rules b{font-weight:500;color:var(--ink)}.structnote{display:flex;gap:8px;flex-wrap:wrap;margin-top:12px;font-size:12px}.ptrchip{font-family:var(--font-mono);padding:3px 9px;border-radius:7px;border:1.5px dashed var(--line);color:var(--ink-soft)}.ptrchip.on{border-style:solid;border-color:var(--dp-teal);background:var(--soft-green);color:#0c5041}.ovchip{padding:3px 9px;border-radius:7px;background:var(--soft-blue);color:var(--dp-blue)}.nullstub.always line{stroke:var(--border-strong)}.nullstub.always text{fill:var(--ink-soft)}.blockedmark{font-family:var(--font-mono);font-size:11px;fill:var(--dp-red);font-weight:600}