:root{--ink:#111;--muted:#5d5d5d;--line:#d7d7d7;--soft:#f5f5f3;--paper:#fff;--max:920px;--side:300px}
*{box-sizing:border-box}html{scroll-behavior:auto;scroll-padding-top:18px}body{margin:0;background:var(--paper);color:var(--ink);font-family:"Noto Serif SC","Songti SC","STSong","SimSun",serif;line-height:1.82;font-size:17px}a{color:inherit;text-decoration-thickness:1px;text-underline-offset:3px}button,input{font:inherit;color:inherit}.progress{position:fixed;left:0;top:0;height:3px;background:#111;width:100%;z-index:100;transform:scaleX(0);transform-origin:left center;will-change:transform;pointer-events:none;contain:strict}.layout{display:grid;grid-template-columns:var(--side) minmax(0,var(--max));gap:52px;max-width:1320px;margin:0 auto;padding:30px 26px 90px}.sidebar{position:sticky;top:18px;height:calc(100vh - 36px);overflow:auto;border-right:1px solid var(--line);padding:5px 25px 30px 0}.brand{font-family:Georgia,"Times New Roman",serif;font-weight:700;letter-spacing:.02em;font-size:21px;margin-bottom:4px}.brand-sub{font-size:13px;color:var(--muted);line-height:1.5;margin-bottom:18px}.search{width:100%;border:1px solid #aaa;background:white;padding:10px 12px;border-radius:0;margin-bottom:10px}.search:focus{outline:2px solid #111;outline-offset:1px}.side-actions{display:flex;gap:6px;flex-wrap:wrap;margin-bottom:14px}.side-actions button,.copy-link,.pill-button{border:1px solid #999;background:#fff;padding:5px 8px;cursor:pointer}.side-actions button:hover,.copy-link:hover,.pill-button:hover{background:#111;color:#fff}.toc-title{font-size:12px;text-transform:uppercase;letter-spacing:.16em;color:var(--muted);margin:18px 0 7px}.toc{list-style:none;padding:0;margin:0;font-size:13px;line-height:1.45}.toc li{margin:0}.toc a{display:block;text-decoration:none;padding:5px 7px;border-left:2px solid transparent;color:#444;overflow-wrap:anywhere}.toc a:hover,.toc a.active{border-left-color:#111;color:#000;background:var(--soft)}.main{min-width:0}.hero{border-bottom:2px solid #111;padding:42px 0 34px;margin-bottom:34px}.eyebrow{font-family:Arial,sans-serif;text-transform:uppercase;letter-spacing:.18em;font-size:12px;color:var(--muted)}h1{font-size:42px;line-height:1.25;margin:12px 0 14px;font-weight:650;letter-spacing:.01em}h2{font-size:29px;line-height:1.35;margin:0 0 9px}h3{font-size:21px;line-height:1.45;margin:34px 0 8px}h4{font-size:18px;margin:24px 0 6px}.lead{font-size:19px;max-width:780px}.meta-grid{display:grid;grid-template-columns:repeat(3,1fr);border-top:1px solid #111;border-bottom:1px solid #111;margin-top:28px}.meta-grid div{padding:13px 12px;border-right:1px solid #bbb}.meta-grid div:last-child{border-right:0}.meta-grid b{display:block;font-family:Arial,sans-serif;font-size:12px;text-transform:uppercase;letter-spacing:.08em}.section{margin:58px 0}.section-head{border-bottom:1px solid #111;padding-bottom:10px;margin-bottom:20px}.section-head p{margin:5px 0;color:var(--muted)}.lecture-card{border-top:1px solid #111;padding:32px 0 38px;content-visibility:auto;contain-intrinsic-size:auto 1500px}.lecture-card[hidden]{display:none}.lecture-kicker{font-family:Arial,sans-serif;font-size:12px;letter-spacing:.12em;text-transform:uppercase;color:var(--muted)}.lecture-source{font-size:13px;color:var(--muted);margin:8px 0 14px}.lecture-summary{font-size:18px;margin:0 0 18px;border-left:3px solid #111;padding-left:14px}.tags{display:flex;gap:6px;flex-wrap:wrap;margin:10px 0 18px}.tag{font-family:Arial,sans-serif;font-size:12px;border:1px solid #aaa;padding:2px 7px}.lecture-tools{display:flex;justify-content:flex-end;margin-top:-32px}.lecture-body p{margin:9px 0}.lecture-body li{margin:5px 0}.lecture-body ul,.lecture-body ol{padding-left:1.45em}.box{border:1px solid #aaa;margin:18px 0;background:#fff}.box-title,details.box>summary{font-family:"Noto Sans SC","Microsoft YaHei",sans-serif;font-weight:600;padding:9px 12px;border-bottom:1px solid #bbb;cursor:default}.box-title span,details.box>summary span{display:inline-block;min-width:3.3em;margin-right:8px;font-size:12px;letter-spacing:.08em}.box-body{padding:11px 14px}.definition,.theorem{border-color:#111}.algorithm{border-style:dashed}.example{background:#fafafa}.exercise{border-left:4px double #111}.remark{border-left:4px solid #888}.proof,.supplement{background:#fafafa}details.box>summary{cursor:pointer;list-style:none}details.box>summary::-webkit-details-marker{display:none}details.box>summary:after{content:"＋";float:right;font-weight:400}details.box[open]>summary:after{content:"−"}.display-math,.math-display{overflow-x:auto;text-align:center;margin:16px 0;padding:7px 0}.math-inline{white-space:nowrap}.math-display math{font-size:1.06em}.display-math{font-family:Georgia,serif}.eq-label{float:right}.math-table{width:100%;border-collapse:collapse;margin:18px 0;font-size:15px}.math-table th,.math-table td{border:1px solid #aaa;padding:8px 10px;vertical-align:top}.math-table th{font-family:Arial,sans-serif;background:var(--soft);text-align:left}.wide{font-size:14px}pre{overflow:auto;border:1px solid #aaa;background:#f7f7f7;padding:13px;font-size:14px;line-height:1.5}code{font-family:"SFMono-Regular",Consolas,monospace}.formula-stack{display:grid;gap:12px}.formula-card{border-left:3px solid #111;padding:7px 12px;background:#fafafa}.pipeline{display:grid;grid-template-columns:repeat(2,1fr);gap:10px;margin:18px 0}.pipeline>div{border:1px solid #999;padding:11px}.pipeline p{font-size:14px;color:#444}.glossary-controls{display:flex;gap:9px;flex-wrap:wrap;margin-bottom:14px}.glossary-controls input{flex:1;min-width:230px;border:1px solid #999;padding:10px}.glossary-table{width:100%;border-collapse:collapse;font-size:14px}.glossary-table th,.glossary-table td{border-bottom:1px solid #ccc;padding:9px 8px;vertical-align:top;text-align:left}.glossary-table th{position:sticky;top:0;background:#fff;border-bottom:1px solid #111;font-family:Arial,sans-serif}.glossary-table tr[hidden]{display:none}.category{font-family:Arial,sans-serif;font-size:11px;text-transform:uppercase;letter-spacing:.06em;color:var(--muted)}.source-map{display:grid;grid-template-columns:160px 230px 1fr;border-top:1px solid #111;font-size:14px}.source-map>div{padding:9px;border-bottom:1px solid #ccc}.refs{padding-left:1.2em}.refs li{margin:9px 0}.notice{border:1px solid #111;padding:14px 16px;margin:18px 0}.small{font-size:13px;color:var(--muted)}.footer{border-top:2px solid #111;margin-top:65px;padding-top:20px;font-size:13px;color:var(--muted)}.no-results{display:none;border:1px solid #111;padding:20px;text-align:center}.no-results.show{display:block}mark{background:#ddd;color:#000}
@media(max-width:980px){.layout{display:block;padding:16px 18px 70px}.sidebar{position:relative;height:auto;max-height:62vh;overflow:auto;overscroll-behavior:contain;border-right:0;border-bottom:1px solid #111;padding:8px 0 18px;margin-bottom:18px}.toc{columns:2}.meta-grid{grid-template-columns:1fr}.meta-grid div{border-right:0;border-bottom:1px solid #bbb}.meta-grid div:last-child{border-bottom:0}h1{font-size:34px}.pipeline{grid-template-columns:1fr}.source-map{grid-template-columns:1fr}.source-map>div:nth-child(3n+1){font-weight:bold;border-bottom:0;padding-bottom:0}.source-map>div:nth-child(3n+2){border-bottom:0;padding-top:2px;padding-bottom:2px}}
@media(max-width:560px){body{font-size:16px}.toc{columns:1}h1{font-size:29px}h2{font-size:24px}.lecture-tools{margin-top:0;justify-content:flex-start}.math-table,.glossary-table{display:block;overflow-x:auto;white-space:normal}.hero{padding-top:20px}}
@media print{.sidebar,.progress,.lecture-tools,.glossary-controls,.side-actions{display:none!important}.layout{display:block;max-width:none;padding:0}.main{max-width:none}.lecture-card{page-break-before:always}.box{break-inside:avoid}details.box:not([open])>.box-body{display:block}a{text-decoration:none}.hero{margin-top:0}}

.generated-supplement{margin-top:34px;padding-top:6px;content-visibility:auto;contain-intrinsic-size:auto 1350px}
.generated-supplement>h3{border-top:1px solid var(--line);padding-top:28px}
.glossary-section{display:block}
.glossary-summary{list-style:none;cursor:pointer;position:relative;padding-right:42px}
.glossary-summary::-webkit-details-marker{display:none}
.glossary-summary:after{content:"＋";position:absolute;right:8px;top:8px;font-family:Arial,sans-serif;font-size:24px;font-weight:400}
.glossary-section[open]>.glossary-summary:after{content:"−"}
.glossary-summary:focus-visible,details.box>summary:focus-visible,button:focus-visible,a:focus-visible{outline:2px solid #111;outline-offset:2px}
button,details>summary{touch-action:manipulation}
.side-actions button[disabled]{cursor:wait;opacity:.55}
@media(max-width:560px){.side-actions{display:grid;grid-template-columns:repeat(3,minmax(0,1fr))}.side-actions button{width:100%;padding:7px 4px}.glossary-summary:after{right:2px}}
@media print{.lecture-card,.deep-section,.generated-supplement,.box-body{content-visibility:visible!important;contain:none!important}.glossary-section>.glossary-summary:after{display:none}}


/* Code and execution-output modules: collapsed by default, bounded when open. */
details.code-fold,details.output-fold{margin:14px 0}
details.code-fold>summary,details.output-fold>summary{cursor:pointer}
details.code-fold>.box-body,details.output-fold>.box-body{padding:10px 12px}
details.code-fold pre,details.output-fold pre{margin:0;max-height:min(60vh,520px);overflow:auto}

.math-display{display:block}