:root{color-scheme:light;--course-bg: #fff;--course-surface: #edf4fb;--course-text: #102032;--course-muted: #4d5e70;--course-link: #175a9e;--course-line: #ccd6df;--course-focus: #175a9e;font-family:Inter,SF Pro Text,Helvetica Neue,sans-serif;font-size:17px;line-height:1.7}:root[data-theme=dark]{color-scheme:dark;--course-bg: #0e1117;--course-surface: #161b22;--course-text: #e6edf3;--course-muted: #a2b0bd;--course-link: #79bbff;--course-line: #303e4c;--course-focus: #79bbff}*{box-sizing:border-box}body{margin:0;background:var(--course-bg);color:var(--course-text)}a{color:var(--course-link);text-decoration-thickness:1px;text-underline-offset:.18em}a:hover{text-decoration-thickness:2px}button{font:inherit;color:var(--course-link);background:transparent;border:0;padding:0;text-decoration:underline;text-underline-offset:.18em;cursor:pointer}[hidden]{display:none!important}:focus-visible{outline:3px solid var(--course-focus);outline-offset:5px;border-radius:2px}::selection{background:#b7d9fa;color:#102032}html{scrollbar-color:var(--course-muted) var(--course-bg);scroll-padding-top:1.5rem}p,ul,ol{margin:0 0 1.15rem}li+li{margin-top:.45rem}h1,h2,h3{line-height:1.25;text-wrap:balance}h1{font-size:clamp(2rem,4vw,3rem);letter-spacing:-.03em;margin:0 0 .6rem;font-weight:650}h2{font-size:1.45rem;letter-spacing:-.015em;margin:2.8rem 0 .85rem;font-weight:650}h3{font-size:1.03rem;margin:0 0 .4rem;font-weight:650}.site-shell{max-width:1180px;margin-inline:auto;padding:0 3rem}.skip-link{position:absolute;inset:-100px auto auto 1rem;background:var(--course-bg);padding:.7rem 1rem;z-index:10}.skip-link:focus{top:.5rem}.course-header{display:flex;justify-content:space-between;align-items:center;gap:1.5rem;padding:1.8rem 0 1.35rem}.course-wordmark{font-weight:700;font-size:1.2rem;color:var(--course-text);text-decoration:none}.course-wordmark span{display:block;font-size:.8rem;color:var(--course-muted);font-weight:400}.header-links{display:flex;gap:1.3rem;align-items:center;font-size:.8rem}.course-nav{display:flex;gap:1.6rem;flex-wrap:wrap;border-block:1px solid var(--course-line);padding:.75rem 0;font-size:.88rem}.course-nav a{color:var(--course-muted);text-decoration:none}.course-nav a[aria-current=page]{color:var(--course-text);font-weight:650;text-decoration:underline;text-underline-offset:.95rem}main{min-height:55vh;padding:3.1rem 0 3.5rem}.overview-layout{display:grid;grid-template-columns:minmax(0,1fr) 15rem;gap:4.2rem}.course-subtitle{font-size:1.25rem;line-height:1.5;margin:0 0 .85rem;max-width:32ch;color:var(--course-muted)}.edition{font-size:.8rem;color:var(--course-muted);margin:0 0 1.8rem}.lead{font-size:1.12rem;line-height:1.65;max-width:65ch}.course-actions{display:flex;gap:1.5rem;align-items:center;flex-wrap:wrap;margin:1.75rem 0 2.5rem;font-size:.9rem}.primary-link{display:inline-block;background:var(--course-link);color:var(--course-bg);padding:.62rem 1rem;border-radius:5px;text-decoration:none;font-weight:600}.course-facts{border-top:2px solid var(--course-text);padding-top:1rem}.course-facts h2{margin:0 0 1.1rem;font-size:1rem}.course-facts dl{margin:0;font-size:.85rem}.course-facts dt{font-weight:650;margin-top:1.2rem}.course-facts dd{margin:.15rem 0 0;color:var(--course-muted)}.fine-print{font-size:.78rem;line-height:1.65;color:var(--course-muted);margin-top:1.5rem}.phase-list{list-style:none;padding:0}.phase-list li{padding:1.1rem 0;border-bottom:1px solid var(--course-line);margin:0}.phase-list li:first-child{padding-top:0}.phase-list li div{display:flex;align-items:baseline;justify-content:space-between;gap:1rem}.phase-list h3{margin:0;font-size:1rem}.phase-list span{font-size:.78rem;color:var(--course-muted);white-space:nowrap}.phase-list p{margin:.35rem 0 0;color:var(--course-muted);font-size:.9rem}.overview-section{max-width:72ch}.document-header{max-width:72ch;margin-bottom:2.6rem}.document-header>p{color:var(--course-muted);font-size:1.08rem;margin-top:.8rem}.document-tools{display:flex;align-items:center;flex-wrap:wrap;gap:.7rem 1.3rem;font-size:.8rem;color:var(--course-muted);margin-top:1.5rem}.document-layout{display:grid;grid-template-columns:12.5rem minmax(0,1fr);gap:3.5rem;align-items:start}.document-body{min-width:0;max-width:72ch;overflow-wrap:anywhere}.document-body>:first-child{margin-top:0}.contents{position:sticky;top:1.5rem;font-size:.8rem;line-height:1.5}.contents h2{font-size:.85rem;margin:0 0 .9rem}.contents ul,.contents ol{list-style:none;padding:0}.contents li+li{margin-top:.65rem}.contents a{color:var(--course-muted)}.contents a:hover{color:var(--course-link)}.lecture-contents{max-height:calc(100vh - 3rem);overflow:auto;padding-right:.4rem}.document-layout:has(.schedule-body){display:block}.schedule-body{max-width:none}.edition-note{padding:.9rem 1.1rem;border:1px solid var(--course-line);border-radius:5px;font-size:.88rem;color:var(--course-muted);margin-bottom:2.2rem}.schedule-phase+.schedule-phase{margin-top:2.5rem}.schedule-phase h2{margin-top:1.6rem}table{border-collapse:collapse;width:100%;font-size:.86rem}th,td{text-align:left;vertical-align:top;padding:.85rem .8rem;border-bottom:1px solid var(--course-line)}thead{background:var(--course-surface)}thead th{font-size:.77rem;font-weight:650}th:first-child,td:first-child{padding-left:.65rem}.schedule-table>tbody>tr>th{width:4rem;color:var(--course-muted);font-weight:500;font-variant-numeric:tabular-nums}.schedule-table h3{font-size:.96rem}.schedule-table p{margin:0;color:var(--course-muted);font-size:.86rem}.material-links{width:6.5rem;white-space:nowrap}.material-links a{display:block;padding:.1rem 0}details{margin-top:.6rem}summary{color:var(--course-link);cursor:pointer;text-decoration:underline;text-underline-offset:.18em}details[open] summary{margin-bottom:.45rem}.mobile-week{display:none}.table-scroll{overflow-x:auto;margin:1.3rem 0}code{font-family:JetBrains Mono,SFMono-Regular,monospace;font-size:.85em}:not(pre)>code{background:var(--course-surface);padding:.1em .25em;border-radius:3px}pre{background:var(--course-surface);padding:1rem 1.1rem;overflow:auto;line-height:1.6;border-radius:5px;white-space:pre;font-size:.86rem}pre code{font-size:inherit}blockquote{margin:1.3rem 0;padding:.6rem 1rem;background:var(--course-surface);color:var(--course-muted);border-radius:5px}blockquote>:last-child{margin-bottom:0}.lecture-week{font-size:.85rem!important}.lecture-section{padding:1.6rem 0 2rem;border-top:1px solid var(--course-line);scroll-margin-top:1rem}.lecture-section h2{margin-top:.7rem}.lecture-section h3{margin:1.5rem 0 .7rem;font-size:1.12rem}.lecture-section h4{margin:1.2rem 0 .6rem}.slide-position{font-size:.72rem;color:var(--course-muted);display:flex;flex-wrap:wrap;justify-content:space-between;gap:.5rem}.mermaid{overflow:auto;padding:.8rem 0}.mermaid svg{max-width:100%;height:auto}.lecture-pagination{display:flex;justify-content:space-between;flex-wrap:wrap;gap:1.2rem;border-top:1px solid var(--course-line);padding-top:1.5rem;font-size:.85rem}.course-footer{border-top:1px solid var(--course-line);padding:1.5rem 0 2rem;color:var(--course-muted);font-size:.75rem}.course-footer p{margin:0 0 .5rem}@media(max-width:900px){.site-shell{padding:0 1.5rem}.overview-layout{grid-template-columns:minmax(0,1fr) 13rem;gap:2rem}.document-layout{grid-template-columns:10rem minmax(0,1fr);gap:1.8rem}}@media(max-width:640px){:root{font-size:16px}.site-shell{padding:0 1.15rem}.course-header{align-items:flex-start;padding-top:1.3rem;gap:1rem}.header-links{flex-direction:column;align-items:flex-end;gap:.3rem;font-size:.75rem}.course-wordmark{font-size:1.1rem}.course-wordmark span{font-size:.75rem}.course-nav{gap:.55rem 1.2rem;padding:.8rem 0;font-size:.82rem}.course-nav a[aria-current=page]{text-underline-offset:.22em}main{padding-top:2rem}.overview-layout,.document-layout{display:block}.course-facts{margin-top:2.8rem}.course-facts dl{display:grid;grid-template-columns:6.5rem minmax(0,1fr);gap:.8rem 1rem}.course-facts dt,.course-facts dd{margin:0}.contents{position:static;margin-bottom:2rem;padding-bottom:1.4rem;border-bottom:1px solid var(--course-line)}.lecture-contents{max-height:none}.lecture-contents ol{columns:2;column-gap:1.3rem}.lecture-contents li{break-inside:avoid}.phase-list li div{display:block}.phase-list li span{display:block;margin-top:.15rem}.schedule-table thead{display:none}.schedule-table tbody,.schedule-table tr,.schedule-table th,.schedule-table td{display:block;width:auto!important}.schedule-table tr{border-top:1px solid var(--course-line);padding:1rem 0}.schedule-table td,.schedule-table th{border:0;padding:0}.schedule-table>tbody>tr>th{font-size:.77rem;margin-bottom:.45rem}.mobile-week{display:inline}.material-links{display:flex!important;gap:1.4rem;margin-top:.8rem}.table-scroll{margin-inline:0}.document-header{margin-bottom:2rem}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{scroll-behavior:auto!important}}@media print{:root,:root[data-theme=dark]{color-scheme:light;--course-bg: white;--course-text: black;--course-muted: #333;--course-link: #143f70;--course-line: #bbb;--course-surface: #f4f4f4;font-size:10pt}.site-shell{max-width:none;padding:0}.course-nav,.header-links,.course-actions,.document-tools,.contents,.skip-link,.slide-position a,.lecture-pagination{display:none}main{padding:1rem 0}.overview-layout,.document-layout{display:block}.course-facts{margin-top:2rem}h1{font-size:24pt}h2{break-after:avoid}a{text-decoration:none}pre{white-space:pre-wrap;overflow-wrap:anywhere}.table-scroll{overflow:visible}.lecture-section{break-inside:auto}.course-footer{margin-top:2rem}}.teaching-context{max-width:65ch;color:var(--course-muted)}.faculty-review{border-top:1px solid var(--course-line);padding-top:.3rem}.lecture-index{margin:0}.lecture-index>summary{font-weight:650;color:var(--course-text);margin-bottom:.9rem}.lecture-index>summary span{font-weight:400;color:var(--course-muted)}@media(max-width:640px){.course-nav a,.header-links a,.header-links button,.document-tools a,.document-tools button,.material-links a,.contents a,.lecture-index>summary{min-height:44px;display:inline-flex;align-items:center}.course-nav{gap:0 1.2rem;padding-block:.3rem}.header-links{gap:0}.lecture-contents ol{columns:1}.lecture-contents li+li{margin-top:0}}@media print{.edition-note{break-inside:avoid}}