:root{color-scheme:light;--font-ui: Inter, "Noto Sans JP", -apple-system, BlinkMacSystemFont, sans-serif;--font-body: "Source Serif 4", "Noto Serif JP", "Hiragino Mincho ProN", "Yu Mincho", serif;--font-title: "Cormorant Garamond", "Shippori Mincho", "Hiragino Mincho ProN", "Yu Mincho", serif;--sidebar: #ecece7;--text: #2b2e2b;--heading: #1d2621;--secondary: #474c48;--soft: #f0f2ee;--code-bg: #eceeea;--code-ink: #375247;--table-head: #e7e9e5;--math: #1f3028;--header: #f4f3ef;--hover: rgba(255,255,255,.35);--diagram-filter: none;--paper: #f4f3ef;--surface: #fbfaf7;--ink: #202321;--muted: #747873;--line: #d7d7d1;--strong-line: #b9bbb5;--accent: #265b4b;--question: #a64b34;--calculation: #355e8a;--viewpoint: #44705b;--advanced: #6c5486}*{box-sizing:border-box}html{scroll-behavior:auto}body{margin:0;background:var(--paper);color:var(--ink);font-family:var(--font-ui);text-rendering:optimizeLegibility}button,input{font:inherit;color:inherit}button{cursor:pointer}:root{--pane-width: 256px}.reader-shell{min-height:100vh;display:grid;grid-template-columns:var(--pane-width) minmax(0,1fr)}.reader-shell.nav-collapsed{grid-template-columns:0 minmax(0,1fr)}.progress-line{position:fixed;inset:0 auto auto 0;z-index:100;height:2px;background:var(--accent)}.reader-header{position:fixed;inset:0 0 auto 56px;z-index:50;height:64px;display:flex;align-items:center;gap:14px;padding:0 20px;border-bottom:1px solid var(--line);background:var(--header)}.header-icon{width:40px;height:40px;display:grid;place-items:center;flex:none;border:0;border-radius:6px;background:transparent;color:var(--secondary)}.header-icon:hover{background:var(--hover)}.header-icon:focus-visible,.reader-title:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.reader-title{min-width:0;color:var(--heading);font:600 19px/1.5 var(--font-title);letter-spacing:.025em;text-decoration:none}.header-actions{display:flex;align-items:center;gap:10px;flex:none;margin-left:auto}.chapter-index{position:fixed;z-index:60;top:0;bottom:0;left:0;width:var(--pane-width);display:flex;flex-direction:column;border-right:1px solid var(--line);background:var(--sidebar)}.chapter-index[hidden]{display:none}.chapter-list{min-height:0;flex:1;overflow-y:auto;overscroll-behavior:contain}.chapter-group{border-bottom:1px solid var(--line)}.chapter-list button{width:100%;min-height:84px;display:grid;grid-template-columns:1fr;padding:14px 18px;border:0;border-bottom:1px solid var(--line);background:transparent;text-align:left}.chapter-group:last-child>button,.chapter-group>button:not(.is-active){border-bottom:0}.chapter-list button:hover{background:var(--hover)}.chapter-list button.is-active{background:var(--surface);box-shadow:inset 3px 0 0 var(--accent)}.chapter-label b,.chapter-label strong{display:block}.chapter-label b{color:var(--accent);font:500 11px/1 ui-monospace,SFMono-Regular,monospace}.chapter-label strong{margin-top:7px;color:var(--heading);font-size:12px;font-weight:500;line-height:1.6}.chapter-description{display:block;margin-top:5px;color:var(--secondary);font-size:11px;line-height:1.65}.subsection-list{margin:0;padding:9px 12px 13px 33px;list-style:none;background:var(--surface)}.subsection-list li{position:relative;margin:0}.subsection-list li:before{content:"";position:absolute;top:.9em;left:-15px;width:7px;border-top:1px solid var(--strong-line)}.subsection-list li.depth-3{margin-left:10px}.subsection-list li.depth-3:before{width:4px;left:-12px}.subsection-list a{display:block;padding:5px 5px 5px 0;color:var(--secondary);font-size:11px;line-height:1.45;text-decoration:none}.subsection-list .depth-2 a{color:var(--heading);font-weight:650}.subsection-list a:hover,.subsection-list a:focus-visible{color:var(--accent);text-decoration:underline;text-underline-offset:3px}.subsection-list a:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.article-column{grid-column:2;min-width:0;min-height:100vh;padding-top:64px;background:var(--surface)}.article-inner{width:100%;max-width:1120px;margin:0 auto;padding:56px clamp(24px,4vw,64px) 90px}.note-content{min-width:0;color:var(--text);font-family:var(--font-body);font-size:16px;line-height:2.05}.note-content h1,.note-content h2,.note-content h3,.note-content h4{font-family:var(--font-title)}.note-content h1{margin:0 0 34px;color:var(--heading);font-size:clamp(34px,3vw,48px);font-weight:500;line-height:1.3;letter-spacing:-.025em;text-wrap:balance}.note-content h2{scroll-margin-top:80px;margin:74px 0 23px;padding-top:23px;border-top:1px solid var(--line);font-size:25px;font-weight:600;line-height:1.5}.note-content h3{scroll-margin-top:80px;margin:44px 0 16px;font-size:19px;font-weight:600;line-height:1.55}.note-content h4{scroll-margin-top:80px;margin:34px 0 12px;color:var(--heading);font-size:16px;font-weight:600;line-height:1.65}.note-content p{margin:0 0 21px}.note-content>p:first-of-type{color:var(--secondary);font-size:16px}.note-content strong{color:var(--heading)}.note-content a{color:var(--accent);text-underline-offset:3px}.inline-note-link{--kind-color: var(--accent);display:inline-flex;align-items:baseline;gap:4px;margin:0 .12em;padding:0;border:0;border-bottom:1px dotted var(--kind-color);color:var(--kind-color);background:transparent;font:600 .82em/1.45 Inter,-apple-system,BlinkMacSystemFont,Yu Gothic,sans-serif;text-align:left}.inline-note-link:hover{border-bottom-style:solid}.inline-note-link span{font-size:.72em}.inline-note-anchor{display:inline}.note-content ul{list-style-type:disc}.note-content ol{list-style-type:decimal}.note-content ul,.note-content ol{margin:0 0 24px;padding-left:1.45em}.note-content li{margin:5px 0;padding-left:.25em}.note-content li::marker{color:var(--accent)}.note-content blockquote{margin:30px 0;padding:17px 20px;border-left:3px solid var(--accent);background:var(--soft);color:var(--secondary)}.note-content blockquote p:last-child{margin-bottom:0}.note-content code:not(pre code){padding:.12em .32em;border-radius:3px;background:var(--code-bg);color:var(--code-ink);font:.87em ui-monospace,SFMono-Regular,monospace}.note-content pre{overflow-x:auto;margin:28px 0;padding:18px;border:1px solid var(--line);background:var(--soft);font:12px/1.75 ui-monospace,SFMono-Regular,monospace}.note-content hr{margin:50px 0;border:0;border-top:1px solid var(--line)}.concept-figure{display:block;max-width:100%;overflow-x:auto;margin:24px 0}.concept-figure img{display:block;width:100%;min-width:600px;height:auto}.concept-figure:focus-visible{outline:2px solid var(--accent);outline-offset:4px}.note-content table{width:100%;margin:28px 0 34px;border-collapse:collapse;font-family:ui-sans-serif,system-ui,sans-serif;font-size:12px;line-height:1.6}.note-content th{background:var(--table-head);font-weight:700;text-align:left}.note-content th,.note-content td{padding:10px 12px;border:1px solid var(--line)}.note-content .katex-display{display:block;width:100%;min-width:0;overflow-x:auto;overflow-y:hidden;margin:28px 0;padding:22px 16px;border:0;background:transparent;font-size:1.04em;scrollbar-gutter:stable}.note-content .katex-display>.katex{display:block;width:100%;min-width:-moz-max-content;min-width:max-content;margin-inline:0;text-align:center}.note-content .katex-display>.katex:has(>.numbered-equation){min-width:0}.note-content .katex-display>.katex>.numbered-equation{display:grid;grid-template-columns:minmax(0,1fr) max-content;align-items:center;gap:1.5em}.numbered-equation>.equation-body{display:block;min-width:0;overflow-x:auto;overflow-y:hidden;padding-block:.25em}.note-content .katex-display>.katex>.numbered-equation>.tag{position:static;grid-column:2;margin:0;padding:0}.note-content .katex{color:var(--math)}.referenced-equation{scroll-margin-top:78px}.referenced-equation:target{outline:2px solid rgba(38,91,75,.32);outline-offset:3px}.equation-reference{position:relative;color:var(--accent);text-decoration:none;border-bottom:1px dotted currentColor}.equation-reference:hover,.equation-reference:focus-visible{border-bottom-style:solid}.equation-reference-preview{position:absolute;z-index:60;left:50%;bottom:calc(100% + 9px);width:-moz-max-content;width:max-content;max-width:min(560px,calc(100vw - 40px));overflow-x:auto;padding:13px 16px;border:1px solid var(--strong-line);background:var(--surface);box-shadow:0 10px 28px #14181524;color:var(--ink);line-height:1.4;opacity:0;visibility:hidden;transform:translate(-50%,5px);transition:opacity .13s ease,transform .13s ease,visibility 0s linear .13s;pointer-events:none;white-space:nowrap}.equation-reference:hover .equation-reference-preview,.equation-reference:focus-visible .equation-reference-preview{opacity:1;visibility:visible;transform:translate(-50%);transition-delay:90ms}.chapter-pager{display:grid;grid-template-columns:1fr 1fr;gap:16px;margin-top:70px;padding-top:20px;border-top:1px solid var(--line)}.chapter-pager button{min-width:0;padding:14px 18px;border:1px solid var(--line);border-radius:4px;background:transparent;text-align:left}.chapter-pager button span{display:flex;align-items:center;gap:7px;margin-bottom:6px;color:var(--secondary);font-size:11px}.chapter-pager button strong{display:block;color:var(--heading);font-size:12px;font-weight:500;line-height:1.6}.chapter-pager .next-chapter{text-align:right}.chapter-pager .next-chapter span{justify-content:flex-end}.chapter-pager button:hover:not(:disabled){border-color:var(--accent);color:var(--accent)}.chapter-pager button:disabled{opacity:.3;cursor:default}.screen-backdrop{display:none}@media (max-width: 1120px){:root{--pane-width: 232px}}@media (max-width: 800px){.reader-shell{display:block}.reader-header{padding:0 10px;gap:8px}.reader-title{font-size:14px;line-height:1.6}.header-actions{gap:4px}.chapter-index{z-index:80;width:min(88vw,320px)}.screen-backdrop{display:block;position:fixed;inset:0;z-index:70;border:0;background:#14181547}.article-inner{padding:38px 22px 70px}.note-content{font-size:14px;line-height:1.95}.note-content h1{font-size:31px}.note-content h2{margin-top:58px;font-size:21px}.note-content h3{font-size:17px}.chapter-pager{grid-template-columns:1fr}.chapter-pager .next-chapter{text-align:left}.chapter-pager .next-chapter span{justify-content:flex-start}.note-content .katex-display{padding:18px 10px;font-size:.93em}.equation-reference-preview{left:0;max-width:calc(100vw - 44px);transform:translateY(5px)}.equation-reference:hover .equation-reference-preview,.equation-reference:focus-visible .equation-reference-preview{transform:translate(0)}}@media print{.reader-header,.chapter-index,.progress-line{display:none}.reader-shell{display:block}.article-column{padding:0;background:#fff}.article-inner{width:100%;padding:0}.note-content .katex-display{-moz-column-break-inside:avoid;break-inside:avoid}}.reference-trigger{display:inline;padding:0;border:0;border-bottom:1px dotted currentColor;border-radius:0;background:transparent;color:var(--accent);font:inherit;line-height:inherit;text-align:inherit;cursor:pointer}.reference-trigger:hover{border-bottom-style:solid}.reference-trigger:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.reading-reference{width:min(640px,calc(100vw - 28px));max-height:min(70dvh,var(--available-height));padding:0;gap:0;overflow:hidden;border:1px solid var(--strong-line);background:var(--surface);color:var(--ink);box-shadow:0 8px 28px #14231a2e}.reading-reference-header{display:flex;flex:none;align-items:center;justify-content:space-between;gap:12px;padding:10px 14px;border-bottom:1px solid var(--line);font:600 14px/1.5 Inter,-apple-system,BlinkMacSystemFont,sans-serif}.reading-reference-header button{display:grid;place-items:center;flex:none;width:32px;height:32px;border:0;background:transparent;border-radius:4px}.reading-reference-body{min-height:0;overflow:auto;overscroll-behavior:contain;padding:14px 18px;font-size:15px;line-height:1.85}.reading-reference-body>:last-child{margin-bottom:0}.reading-reference-body .katex-display{margin:0;padding:12px 4px;border:0;background:transparent}.note-content details{scroll-margin-top:90px;margin:24px 0;padding:0 12px 0 16px;border-left:2px solid transparent;border-bottom:1px solid transparent}.note-content details[open]{padding-bottom:16px;border-left-color:var(--strong-line);border-bottom-color:var(--strong-line)}.note-content details>.disclosure-summary{display:flex;align-items:baseline;gap:10px;min-height:44px;margin-left:-16px;margin-right:-12px;padding:9px 12px;list-style:none;cursor:pointer;border-radius:3px}.note-content details>.disclosure-summary::-webkit-details-marker{display:none}.note-content details>.disclosure-summary::marker{content:""}.disclosure-summary>span{min-width:0}.disclosure-marker{flex:none;pointer-events:none;color:var(--accent)}.note-content details[open]>.disclosure-summary>.disclosure-marker{transform:rotate(90deg)}.disclosure-summary:hover{background:#265b4b0d}.disclosure-summary:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.note-content details>:last-child:not(summary){margin-bottom:0}.derivation-sequence{margin:28px 0;padding:16px;overflow-x:auto}.derivation-sequence-lines{display:grid;grid-template-columns:max-content 24px max-content;align-items:baseline;width:-moz-max-content;width:max-content;min-width:100%;row-gap:12px}.derivation-sequence-line{display:grid;grid-column:1 / -1;grid-template-columns:subgrid;align-items:baseline}.derivation-sequence-lhs{justify-self:end;white-space:nowrap}.derivation-sequence-equals{justify-self:center;font:21px/1.4 KaTeX_Main,serif}.derivation-sequence-rhs{display:flex;align-items:center;gap:8px;white-space:nowrap}.math-supplement-trigger{display:inline-grid;place-items:center;flex:none;width:24px;height:24px;padding:0;border:0;background:transparent;color:var(--accent);opacity:.38}.math-supplement-trigger:hover,.math-supplement-trigger:focus-visible,.math-supplement-trigger[data-popup-open]{opacity:1}.math-supplement-trigger:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.math-supplement{width:min(680px,calc(100vw - 32px));max-width:var(--available-width);max-height:min(78dvh,var(--available-height));overflow:auto;padding:22px 26px;gap:16px;background:var(--surface);color:var(--text);border:1px solid var(--line);border-radius:6px;outline:none;box-shadow:0 8px 28px -8px #1d2c2329,0 2px 6px #1d2c2309;font-family:Georgia,Hiragino Mincho ProN,Yu Mincho,serif;font-size:15px;line-height:1.85}.math-supplement p{margin:0}.math-supplement-equation{overflow-x:auto;padding:4px 0;color:var(--ink)}.math-supplement-prose+.math-supplement-equation{padding-top:16px;border-top:1px solid var(--line)}.math-supplement-prose .katex{font-size:1.05em}.math-supplement-prose .katex-display{margin:12px 0;overflow-x:auto}.math-supplement-prose>:first-child{margin-top:0}.math-supplement-prose>:last-child{margin-bottom:0}.reading-reference{border-color:var(--line);border-radius:6px;outline:none;box-shadow:0 8px 28px -8px #1d2c2329,0 2px 6px #1d2c2309}.reading-reference-header{border-bottom-color:var(--line);color:var(--secondary);font-weight:500}@media (max-width: 480px){.math-supplement{padding:18px 20px}}@media print{.math-supplement-trigger{display:none}}.hinted-equation{position:relative}.hinted-equation>.math-supplement-trigger{position:absolute;right:-26px;top:50%;transform:translateY(-50%)}@media (max-width: 640px){.hinted-equation>.math-supplement-trigger{right:-21px;width:20px}}.note-source-passage{scroll-margin-top:90px}.note-source-passage:target{outline:1px solid var(--strong-line);outline-offset:8px}.note-source-heading{color:var(--accent);font-size:14px}.note-source-heading>p{margin-top:0}:root[data-theme=dark]{color-scheme:dark;--paper: #171b19;--surface: #1d2320;--sidebar: #191f1c;--ink: #e2e7e1;--text: #d9dfd8;--heading: #edf0e9;--secondary: #b7c3b9;--muted: #a0ada3;--line: #37443b;--strong-line: #586f60;--accent: #92cdb1;--question: #e6a38b;--calculation: #9fbfe4;--viewpoint: #9bcaad;--advanced: #c5afe1;--soft: #252e28;--code-bg: #2c3830;--code-ink: #b7dec5;--table-head: #2b3730;--math: #e0ece3;--header: #171b19;--hover: rgba(146,205,177,.08);--diagram-filter: invert(.9) hue-rotate(180deg)}@media (prefers-color-scheme: dark){:root:not([data-theme=light]){color-scheme:dark;--paper: #171b19;--surface: #1d2320;--sidebar: #191f1c;--ink: #e2e7e1;--text: #d9dfd8;--heading: #edf0e9;--secondary: #b7c3b9;--muted: #a0ada3;--line: #37443b;--strong-line: #586f60;--accent: #92cdb1;--question: #e6a38b;--calculation: #9fbfe4;--viewpoint: #9bcaad;--advanced: #c5afe1;--soft: #252e28;--code-bg: #2c3830;--code-ink: #b7dec5;--table-head: #2b3730;--math: #e0ece3;--header: #171b19;--hover: rgba(146,205,177,.08);--diagram-filter: invert(.9) hue-rotate(180deg)}}.theme-toggle{width:40px;height:40px;display:grid;place-items:center;border:0;border-radius:6px;color:var(--secondary);background:transparent}.theme-toggle:hover{background:var(--hover)}.theme-toggle:focus-visible{outline:2px solid var(--accent);outline-offset:3px}.concept-figure img{filter:var(--diagram-filter)}.disclosure-summary:hover{background:var(--hover)}@media print{:root[data-theme],:root{color-scheme:light;--sidebar: #ecece7;--text: #2b2e2b;--heading: #1d2621;--secondary: #474c48;--soft: #f0f2ee;--code-bg: #eceeea;--code-ink: #375247;--table-head: #e7e9e5;--math: #1f3028;--header: #f4f3ef;--hover: rgba(255,255,255,.35);--diagram-filter: none;--paper: white;--surface: white;--ink: #202321;--muted: #747873;--accent: #265b4b;--line: #d7d7d1;--strong-line: #b9bbb5}.theme-toggle{display:none}}.note-source-link{display:inline-flex;align-items:center;gap:6px;margin-top:18px;font:13px/1.5 system-ui,sans-serif}:root{--blue: #355e8a}:root.dark{--blue: #a8c8e5}[hidden]{display:none!important}html{scroll-padding-top:84px}.skip{position:fixed;top:-80px;left:12px;z-index:200;padding:12px;background:var(--surface);color:var(--ink)}.skip:focus{top:8px}.header-icon,.theme-toggle{width:44px;height:44px;text-decoration:none}.chapter-link{display:block;min-height:60px;padding:14px 18px;border-bottom:1px solid var(--line);text-decoration:none}.chapter-link:hover{background:var(--hover)}.chapter-link.is-active{background:var(--surface);box-shadow:inset 3px 0 0 var(--accent)}.chapter-link .chapter-label strong{margin-top:0}.chapter-link .chapter-label b+strong{margin-top:7px}.note-page-title{margin:0 0 34px;color:var(--heading);font:500 clamp(34px,3vw,48px)/1.4 var(--font-title)}.chapter-pager>a{display:flex;flex-direction:column;gap:8px;padding:20px 0;color:var(--accent);text-decoration:none}.chapter-pager>a.next-chapter{text-align:right;align-items:flex-end}.chapter-pager>a strong{font-family:var(--font-body);font-weight:500}#reader-preview{position:fixed;z-index:120;max-height:calc(100dvh - 90px);display:flex;flex-direction:column}#reader-preview.is-supplement{width:min(680px,calc(100vw - 24px))}#reader-preview .note-source-link{flex:none;margin:0;padding:12px 18px;border-top:1px solid var(--line)}#reader-preview .note-content{font-size:15px}#reader-preview .note-content h2,#reader-preview .note-content h3{margin-top:16px}.note-content .katex-display{overflow-x:auto;overflow-y:hidden;padding:5px 0}.note-content .footnotes{margin-top:48px;border-top:1px solid var(--line);padding-top:18px;font-size:14px}.note-content iframe{max-width:100%}.note-content table{display:block;width:-moz-max-content;width:max-content;max-width:100%;overflow-x:auto}:focus-visible{outline:2px solid var(--accent);outline-offset:3px}@media (min-width: 801px){.screen-backdrop{display:none!important}}@media (max-width: 800px){.reader-shell,.reader-shell.nav-collapsed{grid-template-columns:minmax(0,1fr)}.article-column{grid-column:1}.chapter-index{width:min(340px,calc(100vw - 48px));z-index:90}.reader-title{font-size:15px}.reader-header{padding:0 10px;gap:8px}.header-actions{gap:4px}.screen-backdrop{position:fixed;inset:0;z-index:80;border:0;background:#00000059}.article-inner{padding:36px 24px 64px}}@media print{.reader-header,.contents-control,.chapter-index,.progress-line,.skip,.screen-backdrop,#reader-preview,.chapter-pager,.math-supplement-trigger{display:none!important}.reader-shell,.reader-shell.nav-collapsed{display:block}.article-column{padding-top:0;min-height:0}.article-inner{max-width:none;padding:0}.note-content{color:#202321}}@media (max-width: 800px){.screen-backdrop:not([hidden]){display:block}}.equation-reference{font:inherit;background:transparent;border:0;border-bottom:1px dotted currentColor;padding:0}.reading-actions{display:flex;flex-wrap:wrap;gap:16px;justify-content:flex-end;margin-bottom:24px}.reading-actions button{color:var(--secondary);border:0;background:transparent;font-size:12px;text-decoration:underline;text-underline-offset:4px;padding:8px 0}@media print{.reading-actions{display:none}}.contents-control{position:fixed;z-index:100;inset:0 auto auto 0;width:56px;height:64px;background:var(--header);border-bottom:1px solid var(--line)}.contents-open .contents-control{background:var(--sidebar);border-bottom-color:transparent}.contents-toggle{position:absolute;top:10px;left:10px}.contents-icon-close{display:none}.contents-open .contents-icon-close{display:contents}.contents-open .contents-icon-open{display:none}@media (min-width: 801px){.contents-open .reader-header{left:var(--pane-width)}}.contents-head{display:flex;flex:none;align-items:center;height:64px;padding:8px 18px 8px 68px;color:var(--secondary);font:500 12px/1.5 ui-sans-serif,system-ui,sans-serif}.theme-icon-light{display:none}:root[data-theme=dark] .theme-icon-dark{display:none}:root[data-theme=dark] .theme-icon-light{display:contents}.note-resources{margin-top:48px;padding-top:20px;border-top:1px solid var(--line);color:var(--secondary);font:13px/1.8 ui-sans-serif,system-ui,sans-serif}.note-resources ul{display:flex;flex-wrap:wrap;gap:8px 24px;list-style:none;margin:0;padding:0}.note-resources a{color:var(--secondary);text-underline-offset:3px}.source-citation{margin-bottom:16px}.source-citation p{margin:4px 0}