@font-face{font-family:Martian;src:url(/_astro/MartianMono_wdth_wght_.Diap2Vfn.ttf)format("truetype");font-weight:100 800;font-stretch:75% 112.5%;font-display:swap}:root{color-scheme:light;--paper:#f3f0e9;--ink:#171722;--muted:#565363;--line:#ccc7c0;--blue:#3455db;--violet:#7050ba;--red:#bc3447;--tint:#e4e8fa;--body:1.32813rem;--reading-measure:42em}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:24px}body{background:var(--paper);color:var(--ink);font:350 var(--body)/1.7 Martian, monospace;margin:0}::selection{background:var(--tint);color:var(--ink)}a{color:var(--blue);text-underline-offset:.22em;text-decoration-thickness:1px}a:hover{color:var(--violet)}:focus-visible{outline:2px solid var(--blue);outline-offset:5px}img,svg{max-width:100%;height:auto}img{display:block}button,input{font:inherit}input{min-width:0;max-width:100%}h1,h2,h3{letter-spacing:-.04em;text-wrap:balance;overflow-wrap:anywhere;font-weight:500;line-height:1.3}h1{margin:12px 0 24px;font-size:clamp(2rem,3.5vw,3.35rem);font-weight:600;line-height:1.2}h2{margin:40px 0 16px;font-size:clamp(1.5rem,2.3vw,2rem)}h3{margin:32px 0 12px;font-size:1.3rem}p{margin:0 0 24px}ul,ol{padding-left:1.5em}li{margin-block:8px}small{font-size:.875rem}hr{border:0;border-top:1px solid var(--line);margin:32px 0}.wrap{max-width:1600px;margin-inline:auto;padding-inline:clamp(20px,3.4vw,48px)}.skip{background:var(--paper);z-index:10;padding:12px;position:absolute;top:-100px;left:20px}.skip:focus{top:12px}.site-header{border-bottom:1px solid var(--line);justify-content:space-between;align-items:center;gap:24px;padding-block:26px;display:flex}.wordmark{color:var(--ink);white-space:nowrap;font-weight:600;text-decoration:none}.desktop-nav{align-items:center;gap:24px;display:flex}.desktop-nav a,.mobile-menu a,.mobile-menu summary{color:var(--ink);font-size:var(--body);align-items:center;min-height:44px;text-decoration:none;display:flex}.desktop-nav a[aria-current],.mobile-menu a[aria-current]{color:var(--blue);text-decoration:underline}.mobile-menu{border:0;margin:0;display:none}.site-footer{border-top:1px solid var(--line);color:var(--muted);flex-wrap:wrap;justify-content:space-between;gap:16px 32px;margin-top:80px;padding-block:28px 40px;font-size:.875rem;display:flex}.site-footer p{margin:0}.site-footer nav{flex-wrap:wrap;gap:24px;display:flex}.eyebrow{color:var(--blue);text-transform:uppercase;letter-spacing:.08em;margin-bottom:16px;font-size:.875rem}.meta,figcaption{color:var(--muted);font-size:.875rem}.lead{max-width:var(--reading-measure)}.muted{color:var(--muted)}.page-heading{padding-block:64px 32px}.page-heading h1{max-width:16.8em}.page-heading p:last-child{margin-bottom:0}.section{border-top:1px solid var(--line);padding-block:40px}.section-heading{flex-wrap:wrap;justify-content:space-between;align-items:baseline;gap:16px;margin-bottom:24px;display:flex}.section-heading h2{margin:0}.text-link{align-items:center;gap:16px;min-height:44px;display:inline-flex}.list-row{border-top:1px solid var(--line);grid-template-columns:40px minmax(0,1fr) auto;gap:24px;padding-block:32px;display:grid}.list-row h2,.list-row h3{margin:0 0 12px}.list-row h2 a,.list-row h3 a{color:var(--ink);text-decoration:none}.list-row h2 a:hover,.list-row h3 a:hover{color:var(--blue);text-decoration:underline}.list-row p{max-width:var(--reading-measure);margin-bottom:12px}.list-number{color:var(--muted);padding-top:6px;font-size:1rem}.row-meta{color:var(--muted);max-width:16.8em;padding-top:6px;font-size:.875rem}.breadcrumb{overflow-wrap:anywhere;margin-bottom:24px;font-size:.875rem}.breadcrumb ol{flex-wrap:wrap;gap:8px 12px;margin:0;padding:0;list-style:none;display:flex}.breadcrumb li{margin:0}.breadcrumb li+li:before{content:"/";color:var(--muted);padding-right:12px}.breadcrumb a{text-decoration:none}.sample-label{color:var(--muted);margin-bottom:16px;font-size:.875rem;display:inline-block}.curriculum-list{counter-reset:modules;padding:0;list-style:none}.curriculum-list>li{counter-increment:modules;margin-block:32px}.curriculum-list h2{border-bottom:1px solid var(--line);color:var(--muted);padding-bottom:16px;font-size:1.15rem}.curriculum-list h2:before{content:counter(modules, decimal-leading-zero) " / "}.curriculum-list ol{padding:0;list-style:none}.curriculum-list li li{border-bottom:1px solid var(--line);margin:0}.curriculum-list a{justify-content:space-between;gap:24px;padding:14px 0;text-decoration:none;display:flex}.curriculum-list a:hover{text-decoration:underline}.course-intro{max-width:56em}.prerequisites{border-block:1px solid var(--line);margin-top:24px;padding-block:24px}.prerequisites h2{margin-top:0}.article-grid{grid-template-columns:minmax(0, var(--reading-measure)) 190px;justify-content:center;align-items:start;gap:40px;padding-top:40px;display:grid}.article-grid.with-course{grid-template-columns:210px minmax(0, var(--reading-measure)) 170px;gap:32px}.reading{overflow-wrap:anywhere;min-width:0}.reading>header{margin-bottom:40px}.reading h2,.reading h3{scroll-margin-top:24px}.prose p,.prose ul,.prose ol{max-width:var(--reading-measure)}.prose img{margin:24px auto}.learning-flow{margin:32px 0}.learning-flow ol{grid-template-columns:repeat(3,minmax(0,1fr));gap:24px;padding:0;list-style:none;display:grid}.learning-flow li{border:1px solid var(--muted);margin:0;padding:20px 16px;font-size:1rem}.learning-flow strong{color:var(--blue);margin-bottom:12px;font-weight:500;display:block}.learning-flow span{color:var(--muted);font-size:.875rem}.teaching-figure{border:1px solid var(--line);margin:32px 0;padding:clamp(12px,2vw,24px);font-size:1rem;line-height:1.6}.teaching-figure p{margin:8px 0}.teaching-figure ul,.teaching-figure ol{max-width:none}.teaching-figure figcaption{margin-top:20px}.trace-steps{margin:0;padding:0;list-style:none}.trace-steps>li{border-left:3px solid var(--line);margin:0 0 16px;padding:8px 0 8px 16px}.trace-steps>li>strong{color:var(--blue)}.parallel-step,.state-comparison{grid-template-columns:repeat(2,minmax(0,1fr));gap:16px;display:grid}.state-comparison{border-top:1px solid var(--line);padding-top:16px}.tree-root{border:2px solid var(--blue);text-align:center;padding:16px}.diagram-label{text-align:center;padding:12px 0}.tree-branches{grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;padding:0;list-style:none;display:grid}.tree-branches>li{border:1px solid var(--muted);margin:0;padding:12px}.tree-branches>.chosen-branch{border:2px solid var(--blue);background:var(--tint)}.tree-keys{font-weight:500}@media (width<=699px){.parallel-step,.state-comparison,.tree-branches{grid-template-columns:minmax(0,1fr)}}.prose blockquote,.callout{border-left:3px solid var(--blue);background:var(--tint);margin:24px 0;padding:20px 24px}.prose blockquote p:last-child,.callout p:last-child{margin-bottom:0}.prose a{overflow-wrap:anywhere}code{font-family:Martian,monospace;font-size:1rem}:not(pre)>code{background:#e9e5de;border-radius:2px;padding:.15em .3em}pre{min-width:max-content;margin:0;padding:24px;font-size:1rem;line-height:1.7}.astro-code{background-color:#f9f7f2!important}.reading-region{max-width:100%;margin:24px 0;overflow-x:auto}.reading-region>table{min-width:100%}table{border-collapse:collapse;font-size:1rem}th,td{text-align:left;border-bottom:1px solid var(--line);vertical-align:top;padding:12px 20px}th{font-weight:500}.katex-display{padding:4px;margin:16px 0!important}details{border:1px solid var(--muted);margin:24px 0}summary{cursor:pointer;min-height:44px;padding:12px 16px;font-size:1rem;font-weight:450}details[open]>:not(summary){margin-inline:20px}.prose details[open]{padding-bottom:12px}.rail{scrollbar-width:thin;min-width:0;max-height:calc(100vh - 48px);padding:6px;font-size:1rem;position:sticky;top:24px;overflow-y:auto}.rail-title{margin:0 0 24px;font-size:1rem;line-height:1.6}.rail-title a{color:var(--ink);text-decoration:none}.outline-group{margin-bottom:24px}.outline-group>p{color:var(--muted);margin-bottom:8px;font-size:.875rem}.outline-group ol,.toc-list{margin:0;padding:0;list-style:none}.outline-group li,.toc-list li{margin:4px 0}.outline-group a,.toc-list a{color:var(--muted);border-left:3px solid #0000;padding:8px 12px;text-decoration:none;display:block}.outline-group a:hover,.toc-list a:hover{color:var(--blue);text-decoration:underline}.outline-group a[aria-current]{color:var(--blue);background:var(--tint);border-color:var(--blue);font-weight:500}.toc-list a{border-color:var(--line);padding:6px 12px;font-size:.875rem}.toc-list .depth-3{padding-left:12px}.mobile-outline,.mobile-toc{display:none}.pager{border-top:1px solid var(--line);grid-template-columns:1fr 1fr;gap:24px;margin-top:48px;padding-top:24px;font-size:1rem;display:grid}.pager a{min-width:0;text-decoration:none}.pager a:hover{text-decoration:underline}.pager span{color:var(--muted);margin-bottom:4px;font-size:.875rem;display:block}.pager .next{text-align:right}.hero{grid-template-columns:1.1fr 1fr;align-items:center;gap:48px;padding-block:56px 64px;display:grid}.hero h1{max-width:11.2em;font-size:clamp(2.25rem,4.5vw,4rem)}.hero p{max-width:25.2em}.hero-art{justify-self:center;width:100%;max-width:440px;margin:0}.hero-art img{mix-blend-mode:multiply}.hero-art figcaption{text-align:center;margin-top:12px}.projects{grid-template-columns:repeat(3,minmax(0,1fr));gap:32px;display:grid}.projects h3{margin-top:12px}.split{grid-template-columns:1fr 2fr;gap:48px;display:grid}.split h2{margin-top:0}.palette{grid-template-columns:repeat(auto-fit,minmax(145px,1fr));gap:24px;padding:0;list-style:none;display:grid}.swatch{border:1px solid var(--muted);height:90px;margin-bottom:12px}.palette code,.palette span{display:block}.brand-figure{margin:32px 0 48px}.brand-figure img{border:1px solid var(--line);width:100%}.brand-figure figcaption{margin-top:12px}.brand-examples{max-width:var(--reading-measure)}.search-page{max-width:1000px;margin-inline:auto}.search-page #search{--pagefind-ui-scale:1;--pagefind-ui-primary:var(--blue);--pagefind-ui-text:var(--ink);--pagefind-ui-background:var(--paper);--pagefind-ui-border:var(--muted);--pagefind-ui-border-radius:0;--pagefind-ui-font:Martian, monospace}.search-status{font-size:1rem}@media (width<=1279px){.article-grid{grid-template-columns:minmax(0, var(--reading-measure))}.article-grid.with-course{grid-template-columns:200px minmax(0, var(--reading-measure))}.toc-rail{display:none}.mobile-toc{margin:0 0 24px;display:block}}@media (width<=1023px){.desktop-nav{display:none}.mobile-menu{display:block;position:static}.mobile-menu summary{gap:8px;padding:0;font-weight:350}.mobile-menu summary:after{content:"+"}.mobile-menu[open] summary:after{content:"−"}.site-header{align-items:flex-start;padding-block:20px;position:relative}.wordmark{align-items:center;min-height:44px;display:flex}.mobile-menu nav{background:var(--paper);border-bottom:1px solid var(--muted);z-index:5;padding:16px 0;position:absolute;top:100%;left:0;right:0}.mobile-menu[open]>nav{margin:0}.mobile-menu a{padding:8px 20px}.article-grid.with-course{grid-template-columns:minmax(0, var(--reading-measure))}.course-rail{display:none}.mobile-outline{margin:0 0 12px;display:block}.projects{grid-template-columns:1fr}.projects article+article{border-top:1px solid var(--line);padding-top:24px}.list-row{grid-template-columns:32px minmax(0,1fr);gap:16px}.row-meta{grid-column:2;padding:0}}@media (width<=699px){.learning-flow ol{grid-template-columns:1fr;gap:12px}.page-heading{padding-block:40px 24px}.hero{grid-template-columns:1fr;gap:32px;padding-block:40px}.hero-art{max-width:300px}.split{grid-template-columns:1fr;gap:16px}.article-grid,.article-grid.with-course{padding-top:24px}.pager{grid-template-columns:1fr}.pager .next{text-align:left}.list-row{display:block}.list-number{margin-bottom:12px}.row-meta{margin-top:16px}.site-footer{margin-top:48px}pre{padding:16px}}@media (prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@media print{body{background:#fff;font-size:12pt}.site-header,.site-footer,.rail,.mobile-outline,.mobile-toc,.pager{display:none}.article-grid,.article-grid.with-course{display:block}.reading-region{overflow:visible}pre{white-space:pre-wrap;min-width:0}}