:root{--bg:#fafafa;--bg-grid:#24346e09;--surface:#fff;--surface-2:#f4f5f8;--surface-3:#e9ecf2;--ink:#161a24;--ink-2:#363d4e;--muted:#5c6474;--line:#e3e6ec;--line-strong:#cbd0da;--accent:#2a52d6;--accent-hover:#1c3ca8;--accent-ink:#fff;--accent-soft:#eaeffd;--warm:#c2410c;--warm-soft:#fdeadb;--good:#17784d;--good-soft:#def3e8;--bad:#b42323;--bad-soft:#fbe5e5;--code-bg:#f5f6f9;--v-idle:#a9b3cc;--v-compare:#e8a20c;--v-swap:#d9412f;--v-write:#8c4fd6;--v-pivot:#c2357f;--v-key:#2a52d6;--v-done:#2a9a62;--v-muted:#dfe2e8;--v-line:#8a93a8;--sec-algorithms:#2a52d6;--sec-discrete-math:#0f766e;--sec-theory:#7340c8;--sec-ml-math:#b45309;--sec-tools:#17784d;--sec-latex:#4b5567;--shadow:0 1px 2px #1018280a, 0 2px 8px -2px #10182812;--shadow-lg:0 2px 4px #1018280d, 0 14px 32px -12px #1018282e;--radius:14px;--radius-sm:9px;--serif:"Iowan Old Style", "Charter", "Bitstream Charter", "Sitka Text", Cambria, Georgia, serif;--sans:system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--mono:ui-monospace, "SF Mono", SFMono-Regular, Menlo, Consolas, "Liberation Mono", monospace;--ease:cubic-bezier(.2, .7, .2, 1);--shell:1180px;--prose:720px;color-scheme:light}:root[data-theme=dark]{--bg:#0f1218;--bg-grid:#96aae60b;--surface:#161a22;--surface-2:#1c212b;--surface-3:#252b37;--ink:#e8eaf0;--ink-2:#c9cede;--muted:#9ba3b7;--line:#2a303d;--line-strong:#3a4254;--accent:#8fa8ff;--accent-hover:#b3c3ff;--accent-ink:#0d1020;--accent-soft:#1f2849;--warm:#ff9a62;--warm-soft:#3a2418;--good:#5fd39a;--good-soft:#15302a;--bad:#ff7b7b;--bad-soft:#3a1c1f;--code-bg:#1a1f28;--v-idle:#56617d;--v-compare:#f2b53a;--v-swap:#ff6b57;--v-write:#b98cff;--v-pivot:#ff6fb1;--v-key:#8fa8ff;--v-done:#47c98a;--v-muted:#2a303d;--v-line:#6c7690;--sec-algorithms:#8fa8ff;--sec-discrete-math:#4fd1c5;--sec-theory:#c4a6ff;--sec-ml-math:#f6b26b;--sec-tools:#5fd39a;--sec-latex:#aab4c8;--shadow:0 1px 2px #0000004d, 0 4px 16px -8px #00000080;--shadow-lg:0 2px 4px #0000004d, 0 16px 36px -16px #000000b3;color-scheme:dark}*,:before,:after{box-sizing:border-box}[hidden]{display:none!important}html{-webkit-text-size-adjust:100%;scroll-padding-top:80px}@media (prefers-reduced-motion:no-preference){html{scroll-behavior:smooth}}@media (prefers-reduced-motion:reduce){*,:before,:after{transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}body{background-color:var(--bg);min-height:100vh;color:var(--ink);font:17px/1.7 var(--sans);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;flex-direction:column;margin:0;display:flex}main{flex:1}img,svg{max-width:100%}a{color:var(--accent);text-underline-offset:3px;text-decoration-thickness:1px}a:hover{color:var(--accent-hover);text-decoration-thickness:2px}button,input,select,textarea{font:inherit;color:inherit}:focus-visible{outline:2.5px solid var(--accent);outline-offset:2px;border-radius:6px}::selection{background:var(--accent-soft)}h1,h2,h3,h4{font-family:var(--serif);color:var(--ink);letter-spacing:-.01em;text-wrap:balance;margin:0 0 .55em;font-weight:600;line-height:1.2}h1{letter-spacing:-.022em;font-size:clamp(2.05rem,1.45rem + 2.6vw,3.05rem);line-height:1.12}h2{letter-spacing:-.015em;margin-top:2.2em;font-size:clamp(1.45rem,1.2rem + 1vw,1.8rem)}h3{margin-top:1.7em;font-size:1.22rem}h4{margin-top:1.4em;font-size:1.05rem}p{margin:0 0 1.05em}ul,ol{margin:0 0 1.1em;padding-left:1.4em}li{margin:.28em 0}li::marker{color:var(--muted)}hr{border:0;border-top:1px solid var(--line);margin:2.5em 0}strong{font-weight:650}small{font-size:.85em}code,kbd,pre,samp{font-family:var(--mono);font-size:.88em}:not(pre)>code{background:var(--code-bg);border:1px solid var(--line);white-space:nowrap;border-radius:6px;padding:.08em .36em}pre{background:var(--code-bg);border:1px solid var(--line);border-radius:var(--radius-sm);tab-size:2;padding:1em 1.15em;font-size:.84rem;line-height:1.55;overflow-x:auto}kbd{border:1px solid var(--line-strong);background:var(--surface);border-bottom-width:2px;border-radius:5px;padding:0 .35em}table{border-collapse:collapse;width:100%;font-size:.93rem}th,td{text-align:left;border-bottom:1px solid var(--line);vertical-align:top;padding:.5em .7em}th{color:var(--ink-2);background:var(--surface-2);font-weight:650}.table-wrap{border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--surface);margin:0 0 1.4em;overflow-x:auto}.table-wrap table{margin:0}.table-wrap tr:last-child td{border-bottom:0}.num{font-variant-numeric:tabular-nums;text-align:right}.mono{font-family:var(--mono)}.muted{color:var(--muted)}.visually-hidden{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;overflow:hidden;position:absolute!important}.shell{width:min(100% - 32px, var(--shell));margin-inline:auto}.skip-link{z-index:50;background:var(--accent);color:var(--accent-ink);border-radius:8px;padding:.5em 1em;position:absolute;top:-60px;left:12px}.skip-link:focus{top:12px}.site-header{z-index:30;background:color-mix(in srgb, var(--surface) 86%, transparent);backdrop-filter:saturate(1.5)blur(12px);border-bottom:1px solid var(--line);position:sticky;top:0}.header-row{align-items:center;gap:18px;min-height:64px;display:flex}.brand{color:var(--ink);white-space:nowrap;align-items:center;gap:11px;text-decoration:none;display:inline-flex}.brand:hover{color:var(--ink);text-decoration:none}.brand-mark{background:linear-gradient(145deg, var(--accent), color-mix(in srgb, var(--accent) 60%, #7340c8));color:#fff;width:36px;height:36px;box-shadow:0 2px 6px -2px color-mix(in srgb, var(--accent) 60%, transparent);border-radius:11px;flex-shrink:0;place-items:center;display:grid}.brand-text{line-height:1.05;display:grid}.wordmark{font:750 1.22rem/1.1 var(--sans);letter-spacing:-.03em}.wordmark b{color:var(--accent);font-weight:800}.brand-tagline{letter-spacing:.02em;color:var(--muted);margin-top:2px;font-size:.68rem;font-weight:560}.site-nav{gap:2px;margin-left:auto;display:flex}.site-nav a{color:var(--ink-2);transition:background-color .15s var(--ease), color .15s var(--ease);border-radius:8px;padding:.42em .72em;font-size:.94rem;font-weight:540;text-decoration:none;position:relative}.site-nav a:hover{background:var(--surface-2);color:var(--ink)}.site-nav a[aria-current]{color:var(--accent);background:var(--accent-soft)}.site-nav .nav-icon{display:none}.header-actions{align-items:center;gap:6px;display:flex}.icon-button{border:1px solid var(--line);background:var(--surface);width:40px;height:40px;color:var(--ink);cursor:pointer;transition:background-color .15s var(--ease), border-color .15s var(--ease);border-radius:10px;place-items:center;display:inline-grid}.icon-button:hover{background:var(--surface-2);border-color:var(--line-strong)}.search-open kbd,.menu-toggle,.menu-toggle .icon-close{display:none}.menu-toggle[aria-expanded=true] .icon-close{display:block}.menu-toggle[aria-expanded=true] .icon-menu,.theme-toggle .icon-sun{display:none}:root[data-theme=dark] .theme-toggle .icon-sun{display:block}:root[data-theme=dark] .theme-toggle .icon-moon{display:none}@media (width<=1040px){.menu-toggle{display:inline-grid}.site-nav{background:var(--surface);border-bottom:1px solid var(--line);box-shadow:var(--shadow-lg);opacity:0;visibility:hidden;pointer-events:none;transition:opacity .18s var(--ease), transform .18s var(--ease), visibility 0s linear .18s;grid-template-columns:1fr 1fr;gap:6px;padding:12px 16px 18px;display:grid;position:absolute;top:64px;left:0;right:0;transform:translateY(-6px)}.site-nav.is-open{opacity:1;visibility:visible;pointer-events:auto;transition:opacity .18s var(--ease), transform .18s var(--ease);transform:none}.site-nav a{border:1px solid var(--line);border-radius:12px;align-items:center;gap:10px;padding:.75em .85em;font-size:1rem;display:flex}.site-nav .nav-icon{color:var(--nav-colour,var(--muted));display:inline-grid}.header-actions{margin-left:auto}}@media (width<=420px){.site-nav{grid-template-columns:1fr}.brand-tagline{font-size:.62rem}}.search-dialog{border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);width:min(640px,100% - 24px);max-height:min(78vh,680px);color:var(--ink);padding:0;box-shadow:0 30px 80px -30px #00000073}.search-dialog::backdrop{backdrop-filter:blur(2px);background:#0a0e1873}.search-head{border-bottom:1px solid var(--line);align-items:center;gap:10px;padding:14px;display:flex}.search-head input{background:0 0;border:0;outline:none;flex:1;padding:6px 4px;font-size:1.1rem}.search-results{max-height:calc(min(78vh,680px) - 120px);padding:8px;overflow-y:auto}.search-results a{color:var(--ink);border-radius:10px;padding:10px 12px;text-decoration:none;display:block}.search-results a:hover,.search-results a:focus{background:var(--accent-soft);outline:none}.search-results strong{font-weight:620;display:block}.search-results span{color:var(--muted);font-size:.9rem}.search-status{color:var(--muted);margin:0;padding:6px 16px 12px;font-size:.86rem}.site-footer{border-top:1px solid var(--line);background:var(--surface);margin-top:80px}.footer-grid{grid-template-columns:1.6fr repeat(3,1fr);gap:32px;padding:44px 0 28px;display:grid}.footer-grid h2{font-size:.82rem;font-family:var(--sans);text-transform:uppercase;letter-spacing:.08em;color:var(--muted);margin:0 0 10px}.footer-grid ul{margin:0;padding:0;list-style:none}.footer-grid li{margin:0 0 6px}.footer-grid a{color:var(--ink-2);font-size:.94rem;text-decoration:none}.footer-grid a:hover{color:var(--accent);text-decoration:underline}.footer-about p{color:var(--muted);max-width:34ch;margin-top:12px;font-size:.94rem}.footer-bottom{border-top:1px solid var(--line);color:var(--muted);flex-wrap:wrap;justify-content:space-between;gap:8px 24px;padding:18px 0 28px;font-size:.88rem;display:flex}.footer-bottom p{margin:0}@media (width<=820px){.footer-grid{grid-template-columns:1fr 1fr}.footer-about{grid-column:1/-1}}.button{border:1px solid var(--accent);background:var(--accent);color:var(--accent-ink);cursor:pointer;transition:background-color .15s var(--ease), border-color .15s var(--ease), box-shadow .15s var(--ease);border-radius:10px;justify-content:center;align-items:center;gap:8px;padding:.64em 1.15em;font-size:.95rem;font-weight:600;line-height:1.2;text-decoration:none;display:inline-flex;box-shadow:0 1px 2px #10182814}.button:hover{background:var(--accent-hover);border-color:var(--accent-hover);color:var(--accent-ink);text-decoration:none}.button.secondary{background:var(--surface);color:var(--ink);border-color:var(--line-strong)}.button.secondary:hover{background:var(--surface-2);color:var(--ink)}.button.small{border-radius:8px;padding:.42em .8em;font-size:.86rem}.button[disabled]{opacity:.5;cursor:not-allowed}.field{color:var(--muted);gap:4px;font-size:.86rem;font-weight:560;display:grid}.input,.select,.textarea{border:1px solid var(--line-strong);background:var(--surface);width:100%;color:var(--ink);border-radius:9px;padding:.5em .7em;font-size:.95rem}.textarea{font-family:var(--mono);resize:vertical;font-size:.86rem;line-height:1.5}.input:focus,.select:focus,.textarea:focus{outline:2px solid var(--accent);outline-offset:0;border-color:var(--accent)}.input.mono{font-family:var(--mono)}.input[aria-invalid=true]{border-color:var(--bad)}input[type=range]{accent-color:var(--accent);width:100%}input[type=checkbox],input[type=radio]{accent-color:var(--accent);width:1.05em;height:1.05em}.check{color:var(--ink-2);cursor:pointer;align-items:center;gap:8px;font-size:.92rem;display:inline-flex}.error-text{color:var(--bad);margin:6px 0 0;font-size:.9rem}.chip{background:var(--surface-2);border:1px solid var(--line);color:var(--ink-2);white-space:nowrap;border-radius:999px;align-items:center;gap:6px;padding:.18em .62em;font-size:.8rem;font-weight:560;display:inline-flex}.chip.accent{background:var(--accent-soft);color:var(--accent);border-color:#0000}.chip.good{background:var(--good-soft);color:var(--good);border-color:#0000}.chip.bad{background:var(--bad-soft);color:var(--bad);border-color:#0000}.page-head{padding:52px 0 18px}.eyebrow{text-transform:uppercase;letter-spacing:.09em;color:var(--accent);margin-bottom:10px;font-size:.8rem;font-weight:650;display:inline-block}.lede{color:var(--ink-2);max-width:62ch;font-size:1.18rem}.breadcrumb{color:var(--muted);flex-wrap:wrap;gap:6px;margin:0 0 18px;padding:0;font-size:.88rem;list-style:none;display:flex}.breadcrumb li{margin:0}.breadcrumb li+li:before{content:"/";color:var(--line-strong);margin-right:6px}.breadcrumb a{color:var(--muted);text-decoration:none}.breadcrumb a:hover{color:var(--accent);text-decoration:underline}.meta-row{flex-wrap:wrap;gap:8px;margin-top:14px;display:flex}.meta-row .chip{white-space:normal}.article{width:min(100% - 32px, var(--prose));margin-inline:auto}.toc{border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--surface);margin:1.2em 0 2em;font-size:.93rem}.toc summary{cursor:pointer;color:var(--ink-2);padding:.7em 1em;font-weight:620;list-style-position:inside}.toc ol{columns:2 220px;column-gap:24px;margin:0;padding:0 1em .9em 2.4em}.toc li{break-inside:avoid;margin:0 0 4px}.toc a{color:var(--ink-2);text-decoration:none}.toc a:hover{color:var(--accent);text-decoration:underline}.prose>:first-child{margin-top:0}.prose h2{padding-top:.2em}.prose img{border-radius:var(--radius-sm)}.prose blockquote{border-left:3px solid var(--line-strong);color:var(--ink-2);margin:1.4em 0;padding:.2em 0 .2em 1.1em}.wide{--wide:min(var(--shell), 100vw - 40px);width:var(--wide);margin:2.2em calc((100% - var(--wide)) / 2)}@media (width<=760px){.wide{--wide:100%}}.callout{border:1px solid var(--line);border-left:4px solid var(--accent);background:var(--surface);border-radius:var(--radius-sm);margin:1.5em 0;padding:.95em 1.15em;font-size:.97rem}.callout>:last-child{margin-bottom:0}.callout .callout-title{margin-bottom:.3em;font-weight:650;display:block}.callout.warn{border-left-color:var(--warm)}.callout.good{border-left-color:var(--good)}.callout.definition{border-left-color:var(--ink);background:var(--surface-2)}.worked{border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);box-shadow:var(--shadow);margin:1.6em 0;padding:1.1em 1.3em}.worked>h3:first-child,.worked>h4:first-child{margin-top:0}.worked>:last-child{margin-bottom:0}.formula{margin:.9em 0 1.2em;padding:.3em 0;overflow:auto hidden}.katex{font-size:1.06em}.katex-display{margin:.6em 0}.cards{grid-template-columns:repeat(auto-fill,minmax(260px,1fr));gap:16px;margin:1.4em 0;padding:0;list-style:none;display:grid}.cards li{margin:0}.card{--card-colour:var(--accent);border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);height:100%;color:var(--ink);box-shadow:var(--shadow);transition:transform .2s var(--ease), border-color .2s var(--ease), box-shadow .2s var(--ease);flex-direction:column;padding:1.2em 1.25em 1.1em;text-decoration:none;display:flex;position:relative}.card:hover{color:var(--ink);border-color:color-mix(in srgb, var(--card-colour) 45%, var(--line));box-shadow:var(--shadow-lg);text-decoration:none;transform:translateY(-2px)}.card[data-section=algorithms]{--card-colour:var(--sec-algorithms)}.card[data-section=discrete-math]{--card-colour:var(--sec-discrete-math)}.card[data-section=theory]{--card-colour:var(--sec-theory)}.card[data-section=ml-math]{--card-colour:var(--sec-ml-math)}.card[data-section=tools]{--card-colour:var(--sec-tools)}.card[data-section=latex]{--card-colour:var(--sec-latex)}.card .card-kicker{text-transform:uppercase;letter-spacing:.08em;color:var(--card-colour);align-items:center;gap:7px;margin-bottom:8px;font-size:.74rem;font-weight:700;display:inline-flex}.card .card-kicker:before{content:"";background:currentColor;border-radius:50%;width:7px;height:7px}.card :is(h2,h3){margin:0 0 .4em;font-size:1.14rem}.card p{color:var(--ink-2);margin:0 0 .9em;font-size:.94rem}.card .card-foot{border-top:1px dashed var(--line);color:var(--muted);margin-top:auto;padding-top:.75em;font-size:.82rem;font-weight:560}.card .card-foot span{color:var(--accent);font-weight:650}.related{border-top:1px solid var(--line);margin-top:3em;padding-top:1.5em}.references{font-size:.93rem}.references li{margin-bottom:.55em}.steps{counter-reset:step;margin:1em 0;padding:0;list-style:none}.steps>li{counter-increment:step;border:1px solid var(--line);border-radius:var(--radius-sm);background:var(--surface);margin:0 0 8px;padding:.6em .9em .6em 2.9em;position:relative}.steps>li:before{content:counter(step);background:var(--accent-soft);width:1.6em;height:1.6em;color:var(--accent);border-radius:50%;place-items:center;font-size:.82rem;font-weight:700;display:grid;position:absolute;top:.62em;left:.75em}.steps>li>:last-child{margin-bottom:0}.steps>li[data-revealed=new]{animation:.35s reveal}@keyframes reveal{0%{opacity:0;transform:translateY(-4px)}to{opacity:1;transform:none}}@media (prefers-reduced-motion:reduce){.steps>li[data-revealed=new]{animation:none}}.hero-band{background-image:linear-gradient(var(--bg-grid) 1px, transparent 1px), linear-gradient(90deg, var(--bg-grid) 1px, transparent 1px);border-bottom:1px solid var(--line);background-size:28px 28px;background-color:var(--surface)}.hero{grid-template-columns:1.15fr 1fr;align-items:center;gap:48px;padding:64px 0 48px;display:grid}.hero-brand{border:1px solid var(--line);background:var(--surface);box-shadow:var(--shadow);border-radius:999px;align-items:center;gap:10px;margin-bottom:22px;padding:6px 14px 6px 6px;display:inline-flex}.hero-brand .brand-mark{border-radius:50%;width:30px;height:30px}.hero-brand .wordmark{font-size:1.02rem}.hero-brand span:last-child{color:var(--muted);font-size:.86rem}.hero h1{font-size:clamp(2.4rem,1.5rem + 3.6vw,3.9rem);font-family:var(--sans);letter-spacing:-.035em;margin-bottom:.35em;font-weight:780;line-height:1.04}.hero h1 span{display:inline-block}.hero h1 .t-visualise{color:var(--accent)}.hero h1 .t-understand{color:var(--sec-tools)}.hero .lede{font-size:1.2rem}.hero-actions{flex-wrap:wrap;gap:10px;margin-top:24px;display:flex}.hero-art{border:1px solid var(--line);background:var(--surface);box-shadow:var(--shadow-lg);border-radius:20px;padding:18px}@media (width<=860px){.hero{grid-template-columns:1fr;gap:28px;padding:40px 0 36px}}.entry-grid{grid-template-columns:repeat(5,minmax(0,1fr));gap:12px;margin:36px 0 0;padding:0;list-style:none;display:grid}.entry-grid li{margin:0}.entry{--card-colour:var(--accent);border:1px solid var(--line);border-radius:var(--radius);background:var(--surface);height:100%;color:var(--ink);box-shadow:var(--shadow);transition:transform .2s var(--ease), box-shadow .2s var(--ease), border-color .2s var(--ease);flex-direction:column;gap:8px;padding:16px;text-decoration:none;display:flex}.entry:hover{color:var(--ink);box-shadow:var(--shadow-lg);border-color:color-mix(in srgb, var(--card-colour) 45%, var(--line));text-decoration:none;transform:translateY(-2px)}.entry .entry-icon{width:38px;height:38px;color:var(--card-colour);background:color-mix(in srgb, var(--card-colour) 11%, var(--surface));border-radius:11px;place-items:center;display:grid}.entry strong{font-size:1.02rem}.entry span:last-child{color:var(--muted);font-size:.84rem;line-height:1.45}.entry[data-section=algorithms]{--card-colour:var(--sec-algorithms)}.entry[data-section=discrete-math]{--card-colour:var(--sec-discrete-math)}.entry[data-section=theory]{--card-colour:var(--sec-theory)}.entry[data-section=ml-math]{--card-colour:var(--sec-ml-math)}.entry[data-section=tools]{--card-colour:var(--sec-tools)}@media (width<=980px){.entry-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.entry-grid li:last-child{grid-column:1/-1}}@media (width<=480px){.entry-grid{grid-template-columns:minmax(0,1fr)}}.section-block{margin-top:64px}.section-head{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:8px 24px;display:flex}.section-head h2{margin:0}.section-head p{color:var(--muted);flex:0 0 100%;margin:.4em 0 0}.progress{z-index:40;background:var(--accent);transform-origin:0;pointer-events:none;height:3px;position:fixed;top:0;left:0;right:0;transform:scaleX(0)}