:root{--bg: #fafaf8;--surface: #ffffff;--surface2: #f1f1ee;--text: #1b1e24;--muted: #575d68;--line: #d8d9d3;--accent: #1f4e8c;--accent-ink: #ffffff;--accent-soft: #e8eef6;--take: #1b7a46;--take-soft: #e6f1ea;--skip: #a33636;--skip-soft: #f5e9e9;--warn: #8a6a1c;--warn-soft: #f4edd8;--radius: 6px;--serif: Charter, "Bitstream Charter", "Sitka Text", Cambria, Georgia, "Times New Roman", serif}@media(prefers-color-scheme:dark){:root{--bg: #15171b;--surface: #1d2025;--surface2: #262a30;--text: #e6e7ea;--muted: #9ba1ab;--line: #373c44;--accent: #8db2e3;--accent-ink: #131820;--accent-soft: #253141;--take: #5cb287;--take-soft: #1e332a;--skip: #d78c8c;--skip-soft: #392424;--warn: #cfae61;--warn-soft: #342c18}}*{box-sizing:border-box}html,body{margin:0;padding:0}body{background:var(--bg);color:var(--text);font-family:ui-sans-serif,system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;font-size:16.5px;line-height:1.55;-webkit-font-smoothing:antialiased}h1,h2,h3{font-family:var(--serif);font-weight:700;line-height:1.18;letter-spacing:-.005em;margin:0 0 .5em}a{color:var(--accent);text-decoration:none}a:hover{text-decoration:underline}code,kbd,.formula,.pseudocode{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}kbd{background:var(--surface2);border:1px solid var(--line);border-bottom-width:2px;border-radius:4px;padding:0 6px;font-size:.85em}.site-header{display:flex;align-items:baseline;justify-content:space-between;gap:16px;padding:20px clamp(16px,4vw,40px) 12px;border-bottom:1px solid var(--line);background:var(--bg)}.brand{font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-weight:600;font-size:1.02rem;color:var(--text);letter-spacing:-.01em}.brand:hover{text-decoration:none;color:var(--accent)}.brand-sub{font-family:ui-sans-serif,system-ui,-apple-system,Segoe UI,Roboto,sans-serif;color:var(--muted);font-weight:450;font-size:.82rem;letter-spacing:.01em;margin-left:12px}.nav-links{display:flex;gap:26px}.nav-links a{color:var(--muted);padding:0 0 3px;font-weight:500;border-bottom:2px solid transparent}.nav-links a:hover{color:var(--text);text-decoration:none;border-bottom-color:var(--line)}.nav-links a.on{color:var(--text);border-bottom-color:var(--accent)}.container{max-width:1240px;margin:0 auto;padding:0 clamp(16px,4vw,40px)}.page{padding-bottom:80px}.page-head{padding:40px 0 8px;max-width:900px}.lede{color:var(--muted);font-size:1.08rem}.hero{padding:72px 0 26px;max-width:860px}.eyebrow{text-transform:uppercase;letter-spacing:.13em;font-size:.76rem;font-weight:650;color:var(--muted);margin:0 0 16px}.hero h1{font-size:clamp(2.3rem,5vw,3.4rem);margin-bottom:18px}.hero .lede{font-size:1.16rem}.cta-row{display:flex;gap:10px;flex-wrap:wrap;margin-top:26px}.btn{display:inline-block;padding:11px 22px;border-radius:var(--radius);font-weight:600;border:1px solid var(--line)}.btn:hover{text-decoration:none}.btn-primary{background:var(--accent);color:var(--accent-ink);border-color:var(--accent)}.btn-primary:hover{filter:brightness(1.08)}.btn-ghost{background:var(--surface);color:var(--text)}.btn-ghost:hover{background:var(--surface2)}.cards3{display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:16px;margin:34px 0}.algo-card{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:22px 24px 18px}.algo-card h3{font-size:1.22rem}.algo-card p{color:var(--muted);min-height:6.5em}.use-strip{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:26px 30px}.use-strip h2{font-size:1.4rem}.use-strip li{margin:8px 0;color:var(--muted)}.use-strip strong{color:var(--text)}.site-footer{margin-top:48px;color:var(--muted);font-size:.9rem;border-top:1px solid var(--line);padding-top:20px}.kw{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:20px;margin:24px 0}.kw--embed{margin:10px 0;padding:14px}.kw-bar{display:flex;flex-wrap:wrap;gap:12px;align-items:center;justify-content:space-between}.kw-preset,.speed-select{background:var(--surface);color:var(--text);border:1px solid var(--line);border-radius:4px;padding:8px 11px;font-size:.94rem;font-weight:500}.tabs{display:flex;gap:0;border:1px solid var(--line);border-radius:4px;overflow:hidden;flex-wrap:wrap}.tab{border:none;background:var(--surface);color:var(--muted);font-weight:550;font-size:.93rem;padding:8px 15px;cursor:pointer;border-right:1px solid var(--line)}.tab:last-child{border-right:none}.tab.active{background:var(--accent);color:var(--accent-ink)}.kw-desc{color:var(--muted);margin:12px 2px 4px;font-size:.96rem}.dp-wrap{overflow-x:auto;margin-top:12px;padding-bottom:4px}.dp-table{border-collapse:separate;border-spacing:3px;min-width:640px}.dp-table th{font-weight:600;color:var(--muted);font-size:.85rem}.corner{text-align:left;font-size:.78rem!important;min-width:150px}.corner-sub{display:block;font-weight:450}.colhead{min-width:46px;padding:4px 2px;border-radius:4px}.colhead.hl{background:var(--accent-soft);color:var(--accent)}.rowhead{text-align:left;padding:2px 10px 2px 8px;border-radius:4px;white-space:nowrap}.rowhead.focus{background:var(--accent-soft)}.rowhead.focus .rh-name,.rowhead.focus .rowhead-none{color:var(--accent)}.rowhead-item{display:flex;align-items:center}.rh-text{display:flex;flex-direction:column;line-height:1.25}.rh-name{font-weight:600;color:var(--text);font-size:.92rem}.rh-meta{font-size:.78rem;color:var(--muted);font-weight:450}.rowhead-none{color:var(--muted);font-style:italic;font-size:.9rem}td.cell{width:46px;height:44px;min-width:46px;text-align:center;border-radius:4px;font-variant-numeric:tabular-nums;font-weight:600;font-size:1rem;background:var(--surface2);color:var(--text);border:2px solid transparent;transition:background-color .15s ease,border-color .15s ease}td.cell.unfilled{background:transparent;border:1px dashed var(--line)}td.cell.src-skip{border-color:var(--accent);border-style:dashed}td.cell.src-take{border-color:var(--take);border-style:dashed;background:var(--take-soft)}td.cell.cur{background:var(--accent);color:var(--accent-ink);border-color:var(--accent)}td.cell.trace-visited{background:var(--surface2);border-color:color-mix(in srgb,var(--take) 45%,transparent)}td.cell.trace-taken{background:var(--take);color:#fff;border-color:var(--take)}td.cell.best{border-color:var(--accent);border-style:solid;box-shadow:0 0 0 2px var(--accent-soft)}.legend{display:flex;gap:10px;flex-wrap:wrap;margin-top:10px}.legend-chip{font-size:.8rem;color:var(--muted);padding:3px 10px 3px 24px;border-radius:4px;background:var(--surface2);position:relative}.legend-chip:before{content:"";position:absolute;left:8px;top:50%;transform:translateY(-50%);width:10px;height:10px;border-radius:2px}.lc-cur:before{background:var(--accent)}.lc-skip:before{border:2px dashed var(--accent);background:transparent}.lc-take:before{border:2px dashed var(--take);background:var(--take-soft)}.lc-taken:before{background:var(--take)}.lc-visited:before{border:2px solid color-mix(in srgb,var(--take) 45%,transparent);background:transparent}.gboard{margin-top:14px}.capbar{margin:6px 0 16px}.capbar-labels{display:flex;justify-content:space-between;align-items:center;font-size:.95rem;color:var(--muted);margin-bottom:6px}.capbar-labels strong{color:var(--text)}.value-pill{background:var(--take-soft);color:var(--take);font-weight:700;padding:3px 12px;border-radius:4px;font-variant-numeric:tabular-nums}.capbar-track{height:12px;background:var(--surface2);border:1px solid var(--line);border-radius:3px;overflow:hidden}.capbar-fill{height:100%;background:var(--accent);transition:width .25s ease}.items-strip{display:flex;gap:12px;flex-wrap:wrap}.item-card{position:relative;display:flex;flex-direction:column;align-items:flex-start;gap:2px;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:12px 16px 10px;min-width:150px;transition:border-color .15s ease,opacity .15s ease}.item-card .badge{position:absolute;top:-9px;right:-9px;width:22px;height:22px;display:grid;place-items:center;border-radius:4px;font-size:.8rem;font-weight:800;background:var(--surface);border:1px solid var(--line)}.item-card.inkit{border-color:var(--take);background:var(--take-soft)}.item-card.inkit .badge{background:var(--take);color:#fff;border-color:var(--take)}.item-card.out{opacity:.55}.item-card.out .badge{background:var(--skip-soft);color:var(--skip);border-color:var(--skip)}.item-card.outr{opacity:.6;border-style:dashed;border-color:var(--skip)}.item-card.outr .badge{background:var(--skip);color:#fff;border-color:var(--skip)}.item-card.focus{border-color:var(--accent);box-shadow:0 0 0 2px var(--accent-soft)}.ic-name{font-weight:600;font-size:.95rem}.ic-meta{color:var(--muted);font-size:.8rem}.ratio-chip{margin-top:6px;font-size:.74rem;font-weight:650;color:var(--accent);background:var(--accent-soft);border-radius:3px;padding:2px 8px;font-variant-numeric:tabular-nums}.kit-line{margin-top:14px;font-size:.96rem;background:var(--surface2);border-radius:4px;padding:10px 14px}.kit-label{font-weight:650;color:var(--muted);text-transform:uppercase;font-size:.72rem;letter-spacing:.08em;margin-right:6px}.explain{margin-top:16px;border:1px solid var(--line);border-left:3px solid var(--accent);background:var(--surface2);border-radius:4px;padding:12px 16px;min-height:86px}.explain-head{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin-bottom:4px}.explain-badge{color:var(--accent);border:1px solid var(--accent);font-size:.7rem;font-weight:700;letter-spacing:.07em;text-transform:uppercase;padding:2px 9px;border-radius:3px}.formula{font-size:.85rem;color:var(--muted)}.explain-count{margin-left:auto;color:var(--muted);font-size:.82rem;font-variant-numeric:tabular-nums}.explain-text{margin:2px 0 0;font-size:1rem}.controls{display:flex;align-items:center;gap:8px;flex-wrap:wrap;margin-top:14px}.ctrl-btn{background:var(--surface);color:var(--text);border:1px solid var(--line);border-radius:4px;font-size:.93rem;font-weight:550;padding:8px 15px;cursor:pointer}.ctrl-btn:hover:not(:disabled){background:var(--surface2)}.ctrl-btn:disabled{opacity:.45;cursor:default}.ctrl-primary{background:var(--accent);color:var(--accent-ink);border-color:var(--accent)}.ctrl-primary:hover:not(:disabled){filter:brightness(1.08);background:var(--accent)}.trace-btn{border-color:var(--take);color:var(--take);font-weight:600}.scrubber{flex:1;min-width:140px;accent-color:var(--accent)}.stepcount{color:var(--muted);font-variant-numeric:tabular-nums;font-size:.9rem;white-space:nowrap}.kbd-hint{color:var(--muted);font-size:.85rem;margin:12px 2px 0}.deck{min-height:100dvh}.slide{display:none}.slide.active{display:flex;min-height:100dvh;align-items:center;justify-content:center;padding:48px clamp(16px,5vw,64px) 72px}.slide-inner{max-width:1120px;width:100%}.slide h1{font-size:clamp(2.3rem,5.5vw,3.9rem);margin:12px 0 20px}.slide h2{font-size:clamp(1.8rem,4vw,2.7rem);margin-bottom:26px}.slide h3{font-size:1.4rem;margin-top:30px}.slide-eyebrow{text-transform:uppercase;letter-spacing:.13em;font-size:.82rem;font-weight:650;color:var(--muted)}.slide-sub{font-size:1.3rem;color:var(--muted);max-width:62ch;font-family:var(--serif)}.slide-team{font-size:1.05rem;margin-top:28px}.slide-list{font-size:1.18rem;line-height:1.62;padding-left:1.2em}.slide-list li{margin:13px 0}.slide-note{color:var(--muted);font-size:1.02rem;margin-top:12px}.bigurl{font-size:clamp(1.3rem,3vw,1.9rem);font-weight:700;color:var(--accent);margin:18px 0 8px;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace}.qr-img{width:168px;height:168px;display:block;border:1px solid var(--line);border-radius:6px;padding:10px;background:#fff;margin:8px 0 16px}.pseudocode{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:18px 22px;font-size:1.02rem;line-height:1.7;overflow-x:auto}.slide-table{border-collapse:collapse;margin:18px 0;font-size:1.12rem}.slide-table th,.slide-table td{border:1px solid var(--line);padding:8px 20px;text-align:left}.slide-table th{background:var(--surface2);font-size:.9rem;text-transform:uppercase;letter-spacing:.05em;color:var(--muted)}.slide-table td{background:var(--surface);font-variant-numeric:tabular-nums}.todo{background:var(--warn-soft);color:var(--warn);font-weight:650;font-size:.85em;padding:2px 9px;border-radius:3px;border:1px dashed var(--warn)}.deck-nav{position:fixed;right:18px;bottom:16px;display:flex;align-items:center;gap:8px;background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);padding:6px 10px;z-index:30}.deck-exit{text-decoration:none}.kw--embed .kw-desc{margin-top:8px;font-size:.9rem}.kw--embed td.cell{width:40px;height:38px;min-width:40px;font-size:.9rem}.kw--embed .explain{min-height:72px}.kw--embed .explain-text{font-size:.95rem}.kw-instance{font-weight:650;font-size:.98rem}.h-sm{font-size:1.3rem;margin-bottom:14px}.home-split{margin:40px 0}.cols2{display:grid;grid-template-columns:1fr 1fr;gap:clamp(20px,4vw,52px);align-items:start}@media(max-width:860px){.cols2{grid-template-columns:1fr}}.table-note{color:var(--muted);font-size:.92rem}.statcol{display:flex;flex-direction:column;gap:10px}.stat{display:flex;gap:22px;align-items:baseline;border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);padding:14px 20px}a.stat{color:inherit}a.stat:hover{text-decoration:none;border-color:var(--accent)}.stat-num{font-family:var(--serif);font-size:2.3rem;font-weight:700;color:var(--accent);min-width:62px;text-align:right;font-variant-numeric:tabular-nums;line-height:1}.stat-text{color:var(--muted);font-size:.95rem}.stat-text strong{color:var(--text)}.stat-label{color:var(--muted);font-size:.78rem;text-transform:uppercase;letter-spacing:.09em;font-weight:600}.statrow{display:flex;gap:14px;flex-wrap:wrap;margin:8px 0 26px}.statrow .stat{flex-direction:column;align-items:flex-start;gap:6px;padding:18px 30px 14px}.statrow .stat-num{font-size:3rem;text-align:left;min-width:0}.slide{position:relative}.slide-kicker{text-transform:uppercase;letter-spacing:.15em;font-size:.8rem;font-weight:700;color:var(--accent);margin:0 0 12px}.slide-footer{position:absolute;left:clamp(16px,5vw,64px);right:clamp(16px,5vw,64px);bottom:18px;display:flex;justify-content:space-between;color:var(--muted);font-size:.8rem;letter-spacing:.02em;border-top:1px solid var(--line);padding-top:10px;padding-right:250px}@media print{.slide-footer{padding-right:0}}.pull{border-left:3px solid var(--accent);padding:4px 22px;font-family:var(--serif);font-size:1.45rem;line-height:1.4;color:var(--text);margin:28px 0 0}.refs{margin-top:10px}.ref{padding:16px 0;border-bottom:1px solid var(--line)}.ref:last-child{border-bottom:none}.ref-name{display:block;font-family:var(--serif);font-weight:700;font-size:1.3rem;margin-bottom:3px}.ref-meta{color:var(--muted);font-size:1.05rem}.slide-table.compact{font-size:.96rem;margin:4px 0 10px}.slide-table.compact th,.slide-table.compact td{padding:6px 14px}@media print{.deck-nav,.site-header{display:none!important}.slide{display:block!important;min-height:auto;padding:24px;page-break-after:always}body{background:#fff}}@media(max-width:700px){body{font-size:15.5px}.kw{padding:14px}.controls{gap:6px}.ctrl-btn{padding:8px 12px}}.byline{color:var(--text);font-size:1rem;font-weight:550;margin:14px 0 0}.cover-sm{width:26px;height:36px;object-fit:cover;border:1px solid var(--line);border-radius:2px;flex:none}.item-cell{display:flex;align-items:center;gap:10px}.rh-cover{width:24px;height:32px;object-fit:cover;border:1px solid var(--line);border-radius:2px;margin-right:8px;flex:none}.ic-cover{width:52px;height:70px;object-fit:cover;border:1px solid var(--line);border-radius:3px;align-self:center;margin-bottom:4px}.deck{background:#d5d8dc;--bg: #fafaf8;--surface: #ffffff;--surface2: #f1f1ee;--text: #1b1e24;--muted: #575d68;--line: #d8d9d3;--accent: #1f4e8c;--accent-ink: #ffffff;--accent-soft: #e8eef6;--take: #1b7a46;--take-soft: #e6f1ea;--skip: #a33636;--skip-soft: #f5e9e9;--warn: #8a6a1c;--warn-soft: #f4edd8;color:var(--text)}.deck h1,.deck h2,.deck h3{font-family:ui-sans-serif,system-ui,-apple-system,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;letter-spacing:-.01em}.slide.active{padding:20px 16px 68px}.slide-canvas{position:relative;background:#fff;width:min(1280px,96vw,calc((100dvh - 150px) * 16 / 9));aspect-ratio:16 / 9;border:1px solid #b9bdc2;border-radius:4px;box-shadow:0 2px 14px #00000038;padding:clamp(20px,3vw,40px) clamp(24px,3.4vw,48px) 44px;overflow:auto}.slide-inner{max-width:none}.slide-inner.title-slide{height:100%;display:flex;flex-direction:column;align-items:center;justify-content:center;text-align:center}.slide h1{font-size:clamp(1.9rem,3.2vw,2.8rem);color:var(--accent);margin:12px 0 14px}.slide h2{font-size:clamp(1.4rem,2.4vw,2rem);color:var(--accent);border-bottom:1px solid var(--line);padding-bottom:8px;margin-bottom:18px}.slide h3{font-size:1.12rem;margin-top:18px}.slide-kicker{color:var(--muted);font-size:.72rem;margin-bottom:8px;letter-spacing:.14em}.slide-eyebrow{color:var(--muted);font-size:.78rem}.slide-sub{font-family:inherit;font-size:1.15rem;max-width:66ch}.slide-team{font-size:1.05rem;font-weight:600;margin:26px 0 2px}.slide-team-sub{color:var(--muted);font-size:.95rem;margin:0 0 6px}.slide-list{font-size:1.04rem;line-height:1.55}.slide-list li{margin:9px 0}.slide-note{font-size:.92rem}.pull{border-left:3px solid var(--line);font-family:inherit;font-style:italic;font-size:1.15rem;color:var(--muted);padding:2px 16px;margin:18px 0 0}.ref{padding:11px 0}.ref-name{font-family:inherit;font-size:1.12rem}.ref-meta{font-size:.98rem}.statrow .stat-num{font-family:inherit;font-size:2.4rem}.bigurl{font-size:1.35rem;margin:14px 0 6px}.deck .qr-img{width:150px;height:150px}.deck .pseudocode{font-size:.92rem;line-height:1.6;padding:14px 18px;box-shadow:none}.deck .slide-table{font-size:.95rem}.deck .slide-table th,.deck .slide-table td{padding:6px 13px}.slide-footer{position:absolute;left:clamp(24px,3.4vw,48px);right:clamp(24px,3.4vw,48px);bottom:12px;display:flex;justify-content:space-between;color:var(--muted);font-size:.72rem;letter-spacing:.02em;border-top:none;padding:0}.deck-bar{position:fixed;left:0;right:0;bottom:0;height:44px;background:#f1f3f4;border-top:1px solid #c4c7cc;display:flex;align-items:center;gap:14px;padding:0 14px;z-index:30;color:#3c4043}.deck-exit{color:#3c4043;font-size:.85rem;font-weight:550;padding:5px 12px;border:1px solid #c4c7cc;border-radius:4px;background:#fff}.deck-exit:hover{text-decoration:none;background:#e8eaed}.deck-title{flex:1;font-size:.82rem;color:#5f6368;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.deck-ctrls{display:flex;align-items:center;gap:4px}.deck-btn{width:32px;height:32px;border:none;border-radius:50%;background:transparent;color:#3c4043;font-size:20px;line-height:1;cursor:pointer}.deck-btn:hover:not(:disabled){background:#e2e3e5}.deck-btn:disabled{opacity:.35;cursor:default}.deck-count{font-size:.82rem;color:#3c4043;font-variant-numeric:tabular-nums;min-width:48px;text-align:center}.charts-row{margin-top:14px}.chart{margin:0}.chart svg{width:100%;height:auto;display:block}.chart-title{font-size:.92rem;font-weight:650;margin:0 0 2px}.chart-legend{display:flex;gap:14px;flex-wrap:wrap;font-size:.78rem;color:var(--muted);margin:2px 0 6px}.chart-key{display:inline-flex;align-items:center;gap:5px}.chart-swatch{width:10px;height:10px;border-radius:2px;flex:none}.chart-cap{color:var(--muted);font-size:.76rem;margin:4px 0 0;line-height:1.4}.kw--embed .kw-desc{display:none}.kw--embed .item-card{min-width:126px;padding:10px 12px 8px}.kw--embed .ic-cover{width:40px;height:54px}.kw--embed .ic-name{font-size:.85rem}.kw--embed .ic-meta{font-size:.75rem}.kw--embed .ratio-chip{font-size:.68rem;padding:1px 7px}.kw--embed .capbar{margin:4px 0 10px}.kw--embed .items-strip{gap:8px}.kw--embed .kit-line{font-size:.85rem;padding:8px 12px;margin-top:10px}.kw--embed .explain{min-height:62px;margin-top:10px;padding:10px 14px}.kw--embed .explain-text{font-size:.9rem}.kw--embed .controls{margin-top:10px}.kw--embed .ctrl-btn{padding:6px 12px;font-size:.88rem}@media print{.deck{background:#fff}.deck-bar{display:none!important}.slide{display:block!important;page-break-after:always;padding:0}.slide-canvas{width:100%;aspect-ratio:auto;min-height:92vh;border:none;box-shadow:none;border-radius:0;overflow:visible}}