.course-crumb[data-astro-cid-th2si2xy]{flex-wrap:wrap;justify-content:space-between;gap:.4rem 1.5rem;margin-bottom:1.5rem;font-size:.92rem;display:flex}.course-crumb[data-astro-cid-th2si2xy] a[data-astro-cid-th2si2xy]{color:var(--text-muted)}.course-crumb[data-astro-cid-th2si2xy] a[data-astro-cid-th2si2xy]:hover{color:var(--accent-hover)}.crumb-lectures[data-astro-cid-th2si2xy]{gap:.6rem;display:inline-flex}.crumb-sep[data-astro-cid-th2si2xy]{color:var(--text-muted)}nav.toc{background:var(--bg-alt);border:1px solid var(--rule);border-radius:8px;margin:1.5rem 0 2.5rem;padding:1rem 1.4rem;font-size:.95rem}nav.toc .toc-title{font-family:var(--sans);text-transform:uppercase;letter-spacing:.06em;color:var(--text-muted);margin:0 0 .4rem;font-size:.8rem;font-weight:600}nav.toc ul{columns:2;column-gap:2rem;margin:0;padding:0;list-style:none}nav.toc li{break-inside:avoid;margin:.15rem 0}nav.toc a{color:var(--accent);text-decoration:none}nav.toc a:hover{color:var(--accent-hover);text-decoration:underline}@media (width<=40rem){nav.toc ul{columns:1}}nav.lecture-next{text-align:right;margin:2.5rem 0;font-size:.95rem}nav.lecture-next a{color:var(--accent);text-decoration:none}nav.lecture-next a:hover{color:var(--accent-hover);text-decoration:underline}aside.irl{background:#edf3ef;border-left:3px solid #3d8577;border-radius:0 8px 8px 0;margin:1.5em 0;padding:.85em 1.1em}aside.irl:before{content:"In real life";letter-spacing:.07em;text-transform:uppercase;color:#2f6e62;margin-bottom:.4em;font-size:.78rem;font-weight:650;display:block}aside.irl>:first-child{margin-top:0}aside.irl>:last-child{margin-bottom:0}div.theorem{border-left:3px solid var(--accent,#7a5c9e);background:#f1edf6;border-radius:0 8px 8px 0;margin:1.5em 0;padding:.85em 1.1em}div.theorem>:first-child{margin-top:0}div.theorem>:last-child{margin-bottom:0}div.example{background:#f8f4e9;border-left:3px solid #b08a3e;border-radius:0 8px 8px 0;margin:1.5em 0;padding:.85em 1.1em}div.example:before{content:"Example";letter-spacing:.07em;text-transform:uppercase;color:#8a6a2e;margin-bottom:.4em;font-size:.78rem;font-weight:650;display:block}div.example>:first-child{margin-top:0}div.example>:last-child{margin-bottom:0}div.intuition{background:#edf2f7;border-left:3px solid #4a7ba6;border-radius:0 8px 8px 0;margin:1.5em 0;padding:.85em 1.1em}div.intuition:before{content:"Intuition";letter-spacing:.07em;text-transform:uppercase;color:#3a648c;margin-bottom:.4em;font-size:.78rem;font-weight:650;display:block}div.intuition>:first-child{margin-top:0}div.intuition>:last-child{margin-bottom:0}details.proof{background:#f6ebe7;border-left:3px solid #a8695e;border-radius:0 8px 8px 0;margin:1.5em 0;padding:.6em 1.1em}details.proof>summary{cursor:pointer;color:#8a5147;font-weight:650}details.proof>summary:hover{color:#6d3f37;text-decoration:underline}details.proof[open]>summary{margin-bottom:.6em}details.proof>:last-child{margin-bottom:0}details.python{background:#f3f4e7;border-left:3px solid #7c8748;border-radius:0 8px 8px 0;margin:.6em 0;padding:.55em 1.1em}details.python>summary{cursor:pointer;font-family:var(--sans);color:#5f6a2e;font-size:.9rem;font-weight:650}details.python>summary:hover{color:#47501f;text-decoration:underline}details.python[open]>summary{margin-bottom:.6em}details.python>:last-child{margin-bottom:0}.pyrun{margin:1em 0}.pyrun-code{color:#e6edf3;white-space:pre;resize:vertical;tab-size:4;background:#0d1117;border:1px solid #30363d;border-bottom:0;border-radius:8px 8px 0 0;width:100%;margin:0;padding:.7rem .9rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.85rem;line-height:1.55;display:block;overflow-x:auto}.pyrun-code:focus{outline:2px solid var(--accent,#7a5c9e);outline-offset:-2px}.pyrun-bar{background:#161b22;border:1px solid #30363d;border-radius:0 0 8px 8px;align-items:center;gap:.6rem;padding:.4rem .6rem;display:flex}.pyrun-bar button{font-family:var(--sans);color:#c9d1d9;cursor:pointer;background:#ffffff14;border:1px solid #ffffff38;border-radius:6px;padding:.25rem .7rem;font-size:.8rem}.pyrun-bar button:hover:not(:disabled){color:#fff;background:#ffffff29}.pyrun-bar button:disabled{opacity:.5;cursor:default}.pyrun-bar button.pyrun-run{color:#7ee787}.pyrun-status{text-overflow:ellipsis;white-space:nowrap;min-width:0;font-family:var(--sans);color:#8b949e;font-size:.78rem;overflow:hidden}.pyrun-out{color:#e6edf3;white-space:pre;background:#010409;border:1px solid #30363d;border-radius:8px;margin:.5em 0 0;padding:.6rem .9rem;font-family:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace;font-size:.85rem;line-height:1.55;overflow-x:auto}.pyrun-out .pyrun-err{color:#ff7b72}main table{border-collapse:collapse;margin:1.2em 0}main .table-center table{margin-inline:auto}main th,main td{text-align:left;padding:.25em 1.1em .25em 0}main th{border-bottom:1px solid var(--rule)}.code-block{margin:1em 0;position:relative}.code-block>pre{margin:0}.code-copy{color:#b9c0c8;cursor:pointer;opacity:0;background:#ffffff14;border:1px solid #ffffff38;border-radius:6px;justify-content:center;align-items:center;padding:.3rem;transition:opacity .15s,color .15s;display:inline-flex;position:absolute;top:.5rem;right:.5rem}.code-block:hover .code-copy,.code-copy:focus-visible{opacity:1}.code-copy:hover{color:#fff;background:#ffffff29}.code-copy.copied,.code-block:hover .code-copy.copied{color:#7ee787;opacity:1}@media (hover:none){.code-copy{opacity:1}}