.wip-banner{position:fixed;top:0;left:var(--sidebar-width);z-index:150;background:#fff8e1;border-bottom:1px solid #ffe082;padding:.35rem 1rem;font-size:.75rem;color:#5d4037;line-height:1.4}[data-theme=dark] .wip-banner{background:var(--bg);border-bottom-color:var(--border);color:var(--text-secondary)}*,:after,:before{box-sizing:border-box;margin:0;padding:0}*{max-width:100%}audio,canvas,embed,iframe,img,object,svg,video{max-width:100%;height:auto}:root{--text:#1a1a1a;--text-secondary:#555;--bg:#fafaf8;--bg-sidebar:#f0efeb;--border:#ddd;--accent:#2c5aa0;--accent-light:#e8f0fe;--content-width:42rem;--sidebar-width:260px;--font-body:Georgia,"Times New Roman",serif;--font-serif:Georgia,"Times New Roman",serif;--font-sans:-apple-system,BlinkMacSystemFont,"Segoe UI",Helvetica,Arial,sans-serif;--font-mono:"SF Mono","Fira Code",monospace}html{font-size:17px;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}body,html{-webkit-text-size-adjust:100%;max-width:100vw;overflow-x:hidden!important;width:100%;position:relative}body{font-family:var(--font-body);color:var(--text);line-height:1.72;display:flex;min-height:100vh;margin:0}body:after{content:"";position:fixed;inset:0;z-index:10000;pointer-events:none;opacity:.04;background-image:url(/images/noise-grain.png);background-repeat:repeat}[data-theme=dark] body:after{opacity:.035}.sidebar{position:fixed;top:0;left:0;width:var(--sidebar-width);height:100vh;background:var(--bg-sidebar);overflow-y:auto;padding:2rem 1.25rem;z-index:100;transition:transform .25s ease}.sidebar-toggle{display:none;position:fixed;top:1rem;left:1rem;z-index:200;background:var(--bg);border:1px solid var(--border);border-radius:6px;width:40px;height:40px;font-size:1.2rem;cursor:pointer;line-height:1;color:var(--text)}.sidebar-overlay{display:none}.toc-home{font-family:var(--font-serif);font-size:.95rem;font-weight:600;color:var(--text);text-decoration:none;display:block;margin-bottom:1.25rem;line-height:1.3}.toc-home:hover{color:var(--accent)}.toc ul{list-style:none}.toc li{margin-bottom:.35rem}.toc a{font-family:var(--font-sans);font-size:.85rem;color:var(--text-secondary);text-decoration:none;display:block;padding:.25rem .5rem;border-radius:4px;transition:background .15s,color .15s}.toc a:hover{background:rgba(0,0,0,.05);color:var(--text)}.toc li.active a{color:var(--text);background:none;font-weight:600}.toc-chapter-row{display:flex;align-items:center;gap:0}.toc-chapter-row a{flex:1 1}.toc-expand{background:none;border:none;cursor:pointer;color:var(--text-secondary);font-size:.7rem;padding:.25rem .4rem;border-radius:3px;flex-shrink:0}.toc-expand:hover{background:rgba(0,0,0,.05)}.toc-sections{list-style:none;margin:.15rem 0 .3rem;padding:0}.toc-sections li{margin-bottom:.1rem}.toc-sections a{font-family:var(--font-sans);font-size:.75rem;color:var(--text-secondary);text-decoration:none;display:block;padding:.15rem .5rem .15rem 1.2rem;border-radius:3px;line-height:1.35;opacity:.85}.toc-sections a:hover{background:rgba(0,0,0,.04);color:var(--text);opacity:1}.toc-sections .toc-subsection a{padding-left:1.8rem;font-size:.7rem}.toc-sections li.toc-active a{color:var(--text);font-weight:600;opacity:1}.toc-pdf{margin-top:1.5rem;padding-top:1rem;border-top:1px solid var(--border)}.toc-pdf a{font-family:var(--font-sans);font-size:.8rem;color:var(--text-secondary);text-decoration:none;display:flex;flex-direction:column;align-items:center;gap:.5rem}.toc-pdf a:hover{color:var(--accent)}.toc-pdf-cover{width:100%;max-width:180px;border:1px solid var(--border);border-radius:4px;box-shadow:0 2px 8px rgba(0,0,0,.1);transition:box-shadow .2s,transform .2s}.toc-pdf a:hover .toc-pdf-cover{box-shadow:0 4px 16px rgba(0,0,0,.15);transform:translateY(-1px)}.toc-socials{display:flex;justify-content:center;gap:.75rem;margin-top:1rem}.toc-socials a{color:var(--text-secondary);opacity:.6;transition:opacity .15s,color .15s}.toc-socials a:hover{color:var(--text);opacity:1}.toc-legal{display:flex;justify-content:center;gap:.4rem;margin-top:.6rem;font-family:var(--font-sans);font-size:.7rem;opacity:.5}.toc-legal,.toc-legal a{color:var(--text-secondary)}.toc-legal a{text-decoration:none}.toc-legal a:hover{text-decoration:underline;opacity:1}.main-content{margin-left:var(--sidebar-width);flex:1 1;min-height:100vh;max-width:100%;display:flex;justify-content:center;padding:calc(3rem + 28px) 2rem 3rem}.landing,.main-content{width:100%;box-sizing:border-box;overflow-x:hidden}.landing{max-width:var(--content-width)}.landing-header{text-align:center;margin-bottom:3rem;padding-top:4rem}.landing-header h1{font-size:2.5rem;font-weight:400;letter-spacing:-.02em;margin-bottom:.5rem}.landing-subtitle{font-size:1.1rem;color:var(--text-secondary);font-style:italic}.landing-rule{width:60%;max-width:200px;height:1px;background:var(--border);margin:2rem auto 0}.landing-body{margin-bottom:3rem}.landing-body p{margin-bottom:1.25rem}.landing-nav{display:flex;gap:1rem;margin-top:2rem;flex-wrap:wrap}.landing-pdf,.landing-start{font-family:var(--font-sans);font-size:.95rem;padding:.65rem 1.5rem;border-radius:6px;text-decoration:none;transition:background .15s,color .15s}.landing-start{background:var(--text);color:white}.landing-start:hover{background:#333}.landing-pdf{background:transparent;color:var(--text-secondary);border:1px solid var(--border)}.landing-pdf:hover{background:rgba(0,0,0,.03);color:var(--text)}.landing-toc{padding-top:2rem}.landing-toc h2{font-size:1.2rem;font-weight:400;margin-bottom:1rem}.landing-toc ol{padding-left:1.5rem}.landing-toc li{margin-bottom:.5rem}.landing-toc a{color:var(--accent);text-decoration:none}.landing-toc a:hover{text-decoration:underline}.chapter{max-width:var(--content-width);width:100%;box-sizing:border-box;overflow-x:hidden}.chapter-header{margin-bottom:2.5rem;padding-bottom:1.5rem}.chapter-subtitle{font-size:.85rem;font-family:var(--font-sans);text-transform:uppercase;letter-spacing:.04em;margin-bottom:.4rem}.chapter-title{font-size:1.8rem;font-weight:400;line-height:1.3}.chapter-content{overflow-wrap:break-word;word-wrap:break-word;max-width:100%;-webkit-touch-callout:none}.chapter-content h1{font-size:1.6rem;font-weight:400;margin:2.5rem 0 1rem;padding-top:1rem;border-top:1px solid #eee}.chapter-content h2{font-size:1.3rem;font-weight:400;margin:2rem 0 .75rem}.chapter-content h3{font-size:1.1rem;font-weight:600;margin:1.5rem 0 .5rem}.chapter-content h4{font-size:1rem;font-weight:600;margin:1.25rem 0 .5rem}.chapter-content p{margin-bottom:1.1rem;text-align:justify;-webkit-hyphens:auto;hyphens:auto;overflow-wrap:break-word;word-wrap:break-word}.chapter-content blockquote{margin:1.5rem 0;padding:0 0 0 1.25rem;border-left:3px solid var(--border);color:var(--text-secondary);overflow-wrap:break-word;word-wrap:break-word;max-width:100%}.chapter-content ol,.chapter-content ul{margin:1rem 0;padding-left:1.75rem}.chapter-content li{margin-bottom:.5rem}.chapter-content a{color:var(--accent);text-decoration:none}.chapter-content a:hover{text-decoration:underline}.chapter-content table{width:100%;max-width:100%;border-collapse:collapse;margin:1.5rem 0;font-size:.9rem;display:block;overflow-x:auto}.chapter-content td,.chapter-content th{padding:.5rem .75rem;text-align:left}.chapter-content th{font-weight:600;font-size:.8rem;text-transform:uppercase;letter-spacing:.03em}.chapter-content img{max-width:100%;height:auto;border-radius:4px;margin:1rem 0}.chapter-content figure{margin:2rem 0;text-align:center}.chapter-content figcaption{font-size:.85rem;color:var(--text-secondary);margin-top:.5rem;line-height:1.5;text-align:left}.chapter-content figure.multi{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));grid-gap:.75rem;gap:.75rem}.chapter-content figure.multi figcaption{grid-column:1/-1}.math.display{margin:1.5rem 0}.katex-display,.math.display{overflow-x:auto;padding:.5rem 0}.katex-display{overflow-y:hidden}.env-logos{margin:2rem 0;padding:1.25rem 1.5rem;background:#fafafa;border-left:2px solid #ccc;font-style:italic;color:var(--text-secondary)}.env-connection,.env-empirical,.env-experiment,.env-historical,.env-openquestion,.env-sidebar,.env-software,.env-todo-empirical,.env-warningbox{margin:1.75rem 0;padding:1rem 1.25rem;border-radius:6px;border-left:4px solid;font-size:.92rem}.env-title{font-size:.8rem;font-weight:600;text-transform:uppercase;letter-spacing:.04em;margin-bottom:.6rem}.env-sidebar{background:#f0f5ff;border-left-color:#6b8ec9}.env-sidebar .env-title{color:#3b5998}.env-connection{background:#f0f9f0;border-left-color:#6ab06a;font-size:.85rem}.env-connection .env-title{color:#3a7a3a}.env-historical{background:#f5f5f5;border-left-color:#999}.env-historical .env-title{color:#666}.env-empirical{background:#fff8f0;border-left-color:#d4932a}.env-empirical .env-title{color:#b07520}.env-todo-empirical{background:#fffce8;border-left-color:#c9b833}.env-todo-empirical .env-title{color:#8a7f1a}.env-openquestion{background:#f8f0ff;border-left-color:#9966cc}.env-openquestion .env-title{color:#7744aa}.env-warningbox{background:#fff0f0;border-left-color:#cc4444}.env-warningbox .env-title{color:#aa2222}.env-experiment{background:#f0fafa;border-left-color:#4a9e9e}.env-experiment .env-title{color:#2a7a7a}.env-software{background:#f0fbff;border-left-color:#4a9ecc}.env-software .env-title{color:#2a7aaa}.env-theorem{margin:1.5rem 0;padding:1rem 1.25rem;border-left:3px solid;border-radius:0 4px 4px 0}.env-definition{background:#f5f8ff;border-left-color:#4a6fa5}.env-proposition,.env-theorem{background:#f5f5f0;border-left-color:#8a7a5a}.env-hypothesis{background:#faf5ff;border-left-color:#8a5aaa}.env-example{background:#f5faf5;border-left-color:#5a8a5a}.env-remark{background:#fafafa;border-left-color:#888}.env-conjecture{background:#fff8f0;border-left-color:#aa8a5a}.env-axiom,.env-corollary,.env-lemma{background:#f8f8f5;border-left-color:#6a6a5a}.env-proof{margin:1rem 0 1.5rem;padding:.75rem 1rem;background:#fcfcfc;border-left:2px solid #ddd;font-size:.93rem}.qed{float:right;color:#999}.margin-note{display:block;font-size:.82rem;color:#666;line-height:1.5;margin:.5rem 0;padding:.5rem .75rem;background:#f8f7f4;border-radius:4px;border-left:2px solid #ddd}.env-keyresult{background:#f0f5ff;border-left:3px solid #4a7acc}.env-keyresult,.env-phenomenal{margin:1rem 0;padding:.75rem 1rem;border-radius:0 4px 4px 0;font-size:.85rem}.env-phenomenal{background:#f8f0ff;border-left:3px solid #9966cc}.env-warning-margin{margin:1rem 0;padding:.75rem 1rem;background:#fff0f0;border-left:3px solid #cc4444;border-radius:0 4px 4px 0;font-size:.85rem}.wide-breath{max-width:38rem;margin:2rem auto;line-height:1.85}.wide-margin{max-width:var(--content-width)}.env-normimp{margin:1rem 0;padding:.75rem 1.25rem;background:#f5f5f0;border-left:3px solid #8a7a5a;font-style:italic}.small-caps{font-feature-settings:"smcp";font-variant:small-caps}.tikz-placeholder{margin:1.5rem 0;padding:2rem;background:#f5f5f5;border:1px dashed #ccc;border-radius:6px;text-align:center;color:var(--text-secondary)}.chapter-nav{display:flex;justify-content:space-between;margin:4rem 0 2rem;padding-top:2rem;border-top:1px solid var(--border);font-family:var(--font-sans);font-size:.9rem}.chapter-nav a{color:var(--accent);text-decoration:none;display:flex;align-items:center;gap:.5rem}.chapter-nav a:hover{text-decoration:underline}.chapter-nav-arrow{font-size:1.2rem}@media (max-width:900px){:root{--sidebar-width:0px}html{font-size:16px}.sidebar{transform:translateX(-100%);width:280px}.sidebar-open{transform:translateX(0)}.sidebar-toggle{display:flex;align-items:center;justify-content:center}.sidebar-overlay{display:block;position:fixed;inset:0;background:rgba(0,0,0,.3);z-index:50}.main-content{margin-left:0;padding:4rem .5rem 1.5rem;max-width:100vw;overflow-x:hidden}.chapter,.landing{max-width:100%}.chapter-content p{text-align:left;-webkit-hyphens:none;hyphens:none;word-break:break-word}.chapter-content blockquote{padding:0 0 0 .75rem}.audio-player{padding-left:3.5rem}.landing-header{padding-top:1rem}.landing-header h1{font-size:1.8rem}.env-connection,.env-empirical,.env-experiment,.env-historical,.env-openquestion,.env-sidebar,.env-software,.env-todo-empirical,.env-warningbox{max-width:100%;overflow-x:auto}}.audio-player{position:-webkit-sticky;position:sticky;top:0;z-index:50;border-radius:8px;padding:.75rem 1rem 0;margin-bottom:1.5rem;box-shadow:0 2px 8px rgba(0,0,0,.06);font-family:var(--font-sans);max-width:100%;overflow:visible}.audio-player-top{display:flex;align-items:center;gap:.75rem}.audio-play-btn{flex-shrink:0;width:36px;height:36px;border-radius:50%;border:none;background:var(--text);color:white;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:background .15s}.audio-play-btn:hover{background:#333}.audio-info{flex:1 1;min-width:0}.audio-section-title{font-size:.85rem;font-weight:500;color:var(--text);white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.audio-time{font-size:.72rem;color:var(--text-secondary);font-feature-settings:"tnum";font-variant-numeric:tabular-nums}.audio-controls-right{display:flex;align-items:center;gap:.25rem;flex-shrink:0}.audio-next-btn,.audio-prev-btn{background:none;border:none;cursor:pointer;color:var(--text-secondary);padding:.35rem;border-radius:4px;display:flex;align-items:center;justify-content:center}.audio-next-btn:hover,.audio-prev-btn:hover{background:rgba(0,0,0,.05);color:var(--text)}.audio-next-btn:disabled,.audio-prev-btn:disabled{opacity:.3;cursor:default}.audio-dropdown-wrap{position:relative}.audio-dropdown-btn{font-family:var(--font-sans);font-size:.75rem;background:none;border:1px solid var(--border);border-radius:4px;padding:.25rem .5rem;cursor:pointer;color:var(--text-secondary);display:flex;align-items:center;white-space:nowrap}.audio-dropdown-btn:hover{background:rgba(0,0,0,.03);color:var(--text)}.audio-dropdown-menu{position:absolute;top:100%;right:0;margin-top:4px;background:white;border:1px solid var(--border);border-radius:6px;box-shadow:0 4px 16px rgba(0,0,0,.12);max-height:300px;overflow-y:auto;min-width:220px;z-index:60}.audio-dropdown-item{display:block;width:100%;text-align:left;background:none;border:none;padding:.5rem .75rem;font-family:var(--font-sans);font-size:.8rem;color:var(--text);cursor:pointer;line-height:1.35}.audio-dropdown-item:hover{background:rgba(0,0,0,.04)}.audio-dropdown-item.active{color:var(--accent);font-weight:500;background:var(--accent-light)}.audio-dropdown-num{color:var(--text-secondary);margin-right:.35rem;font-size:.75rem}.audio-progress{height:4px;background:#e5e5e5;border-radius:2px;cursor:pointer;margin-top:.6rem;margin-bottom:.75rem;position:relative}.audio-progress-bar{height:100%;background:var(--text);border-radius:2px;transition:width .1s linear}.audio-progress:hover{height:6px;margin-top:calc(.6rem - 1px)}.audio-progress:hover .audio-progress-bar{background:var(--accent)}@media (max-width:600px){html{font-size:16px}.main-content{padding:3.5rem .5rem 1rem;overflow-x:hidden}.chapter-title{font-size:1.4rem}.chapter-content h1{font-size:1.3rem}.chapter-content h2{font-size:1.15rem}.chapter-nav{flex-direction:column;gap:1rem}.landing-header h1{font-size:1.5rem}.landing-subtitle{font-size:.95rem}}.reading-progress{position:fixed;top:0;left:0;height:3px;background:var(--accent);z-index:1000;transition:width .1s linear}.reader-toolbar{position:fixed;top:1rem;right:1rem;z-index:200;display:flex;gap:2px;border:1px solid var(--border);border-radius:8px;padding:4px;box-shadow:0 2px 8px rgba(0,0,0,.08);font-family:var(--font-sans)}.reader-toolbar-btn{background:none;border:none;cursor:pointer;font-size:.85rem;color:var(--text-secondary);padding:.3rem .45rem;border-radius:5px;line-height:1;transition:background .15s,color .15s;display:flex;gap:1px}.reader-toolbar-btn:hover{background:rgba(0,0,0,.06)}.reader-toolbar-btn:disabled{opacity:.3;cursor:default}.reader-toolbar-btn-small{font-size:.7rem;padding:.2rem .35rem}.copy-picker{position:relative;display:flex;align-items:center}.copy-dropdown-arrow{padding:.3rem .2rem!important;margin-left:-2px}.copy-picker-menu{position:absolute;top:calc(100% + 6px);right:0;background:var(--bg);border:1px solid var(--border);border-radius:8px;box-shadow:0 4px 16px rgba(0,0,0,.12);min-width:200px;z-index:210;padding:4px}.copy-picker-option{display:flex;align-items:center;gap:8px;width:100%;text-align:left;background:none;border:none;padding:.45rem .6rem;font-size:.8rem;color:var(--text);cursor:pointer;border-radius:5px;font-family:var(--font-sans);line-height:1.3}.copy-picker-option:hover{background:rgba(0,0,0,.04)}.copy-all-icon{position:relative;display:flex;align-items:center;flex-shrink:0}.copy-all-badge{position:absolute;bottom:-3px;right:-6px;font-size:.4rem;font-weight:700;font-feature-settings:"smcp","c2sc";font-variant:all-small-caps;line-height:1;color:var(--text-secondary)}[data-theme=dark] .copy-picker-menu{background:var(--bg);border-color:var(--border);box-shadow:0 4px 16px rgba(0,0,0,.3)}[data-theme=dark] .copy-picker-option:hover{background:rgba(255,255,255,.05)}.search-overlay{position:fixed;inset:0;z-index:500;background:rgba(0,0,0,.2);display:flex;align-items:flex-start;justify-content:center;padding-top:min(20vh,120px);animation:searchFadeIn .15s ease}@keyframes searchFadeIn{0%{opacity:0}to{opacity:1}}.search-container{width:90%;max-width:540px;background:var(--bg);border:1px solid var(--border);border-radius:12px;box-shadow:0 12px 48px rgba(0,0,0,.12);overflow:hidden;animation:searchSlideIn .2s ease}@keyframes searchSlideIn{0%{opacity:0;transform:translateY(-8px) scale(.98)}to{opacity:1;transform:translateY(0) scale(1)}}.search-input-wrap{display:flex;align-items:center;padding:14px 16px;gap:10px;border-bottom:1px solid var(--border)}.search-input-icon{flex-shrink:0;color:var(--text-secondary);opacity:.6}.search-input{flex:1 1;border:none;background:none;font-size:1rem;font-family:var(--font-sans);color:var(--text);outline:none}.search-input::placeholder{color:var(--text-secondary);opacity:.5}.search-close{flex-shrink:0;background:none;border:none;cursor:pointer;color:var(--text-secondary);padding:4px;border-radius:6px;display:flex;align-items:center;transition:background .15s}.search-close:hover{background:rgba(0,0,0,.06)}.search-results{max-height:50vh;overflow-y:auto}.search-empty{padding:2rem;text-align:center;color:var(--text-secondary);font-size:.85rem;font-family:var(--font-sans)}.search-result{display:block;width:100%;text-align:left;background:none;border:none;cursor:pointer;padding:10px 16px;border-bottom:1px solid var(--border);transition:background .1s;font-family:var(--font-sans)}.search-result.is-active,.search-result:hover{background:rgba(0,0,0,.04)}.search-result:last-child{border-bottom:none}.search-result-chapter{font-size:.7rem;font-weight:600;text-transform:uppercase;letter-spacing:.04em;color:var(--text-secondary);margin-bottom:2px;display:flex;align-items:center;gap:6px}.search-result-badge{display:inline-block;font-size:.7rem;font-weight:400;color:var(--text-secondary);opacity:.65;text-transform:none;letter-spacing:0}.search-mark{background:rgba(255,213,79,.45);font-weight:600}.search-mark,mark.page-search-hit{color:inherit;padding:0 1px;border-radius:2px}mark.page-search-hit{background:rgba(255,213,79,.55);box-shadow:0 0 0 1px rgba(255,165,0,.35)}.search-banner{position:fixed;bottom:24px;left:50%;transform:translateX(-50%);display:flex;align-items:center;gap:12px;background:var(--text);color:var(--bg);padding:8px 8px 8px 14px;border-radius:999px;box-shadow:0 4px 18px rgba(0,0,0,.18);font-family:var(--font-sans);font-size:.82rem;z-index:400;animation:searchBannerIn .25s ease}@keyframes searchBannerIn{0%{opacity:0;transform:translate(-50%,8px)}to{opacity:1;transform:translate(-50%)}}.search-banner-close{background:rgba(255,255,255,.18);color:inherit;border:none;width:22px;height:22px;border-radius:50%;cursor:pointer;font-size:1.1rem;line-height:1;display:inline-flex;align-items:center;justify-content:center}.search-banner-close:hover{background:rgba(255,255,255,.3)}[data-theme=dark] mark.page-search-hit{background:rgba(255,213,79,.32);color:#fff3c4;box-shadow:0 0 0 1px rgba(255,213,79,.45)}.search-section-divider{font-size:.65rem;font-weight:600;text-transform:uppercase;letter-spacing:.06em;color:var(--text-secondary);padding:8px 16px 4px;background:rgba(0,0,0,.02);border-bottom:1px solid var(--border);font-family:var(--font-sans)}.search-semantic-indicator{display:inline-flex;align-items:center;margin-right:4px;color:var(--text-secondary)}.search-spinner{width:12px;height:12px;border:1.5px solid;border-top:1.5px solid transparent;border-radius:50%;display:inline-block;animation:searchSpin .7s linear infinite;opacity:.6}@keyframes searchSpin{to{transform:rotate(1turn)}}.search-result-heading{font-size:.85rem;font-weight:500;color:var(--text);margin-bottom:3px}.search-result-snippet{font-size:.78rem;color:var(--text-secondary);line-height:1.4;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}[data-theme=dark] .search-overlay{background:rgba(0,0,0,.5)}[data-theme=dark] .search-container{background:var(--bg);border-color:var(--border);box-shadow:0 12px 48px rgba(0,0,0,.4)}[data-theme=dark] .search-input-wrap{border-bottom-color:var(--border)}[data-theme=dark] .search-close:hover{background:rgba(255,255,255,.08)}[data-theme=dark] .search-result.is-active,[data-theme=dark] .search-result:hover{background:rgba(255,255,255,.06)}[data-theme=dark] .search-mark{background:rgba(255,213,79,.25);color:#fff3c4}[data-theme=dark] .search-section-divider{background:rgba(255,255,255,.03);border-bottom-color:var(--border)}[data-theme=dark] .search-result{border-bottom-color:var(--border)}@media (max-width:900px){.search-overlay{padding-top:0;align-items:stretch}.search-container{width:100%;max-width:none;border-radius:0;height:100%;display:flex;flex-direction:column}.search-input-wrap{padding:16px}.search-input{font-size:1.1rem}.search-results{max-height:none;flex:1 1;overflow-y:auto}}.highlight-popover{position:fixed;transform:translateX(-50%);background:var(--text);color:var(--bg);border-radius:0;padding:0;display:flex;gap:0;z-index:300;box-shadow:0 2px 0 rgba(0,0,0,.15);font-family:var(--font-sans)}.highlight-popover button{background:none;border:none;color:var(--bg);font-size:.72rem;letter-spacing:.03em;text-transform:lowercase;padding:.4rem .7rem;cursor:pointer;border-radius:0;font-family:var(--font-sans)}.highlight-popover button:hover{background:var(--bg);color:var(--text)}.highlight-popover.highlight-popover-bar{position:fixed;left:0;right:0;bottom:0;top:auto;width:100%;transform:none;display:flex;align-items:stretch;padding-bottom:env(safe-area-inset-bottom,0);box-shadow:0 -2px 12px rgba(0,0,0,.25);animation:highlight-bar-in .18s ease-out}.highlight-popover.highlight-popover-bar button{flex:1 1;font-size:.9rem;text-transform:none;padding:.95rem .5rem;min-height:48px}.highlight-popover.highlight-popover-bar button:active{background:var(--bg);color:var(--text)}.highlight-popover.highlight-popover-bar .highlight-popover-dismiss{flex:0 0 3rem;opacity:.7}@keyframes highlight-bar-in{0%{transform:translateY(100%)}to{transform:translateY(0)}}mark.user-highlight{background:transparent;color:inherit;cursor:pointer;border-radius:0;padding:0;box-shadow:inset 0 -1px 0 var(--text);-webkit-text-decoration-skip:ink;text-decoration-skip-ink:auto}mark.share-target{background:var(--accent-light);color:inherit;box-shadow:inset 0 -2px 0 var(--accent);animation:flash-highlight 3s ease forwards;scroll-margin-block:40vh}.app-page{max-width:var(--content-width);width:100%;padding-top:1rem}.app-page h1{font-size:1.6rem;font-weight:400}.app-page h1,.tabs{margin-bottom:1.5rem}.tabs{display:flex;gap:0;border-bottom:1px solid var(--border)}.tabs button{font-family:var(--font-sans);font-size:.85rem;background:none;padding:.5rem 1rem;cursor:pointer;color:var(--text-secondary);border:none;border-bottom:2px solid transparent;transition:color .15s,border-color .15s}.tabs button:hover{color:var(--text)}.tabs button.active{color:var(--accent);border-bottom-color:var(--accent)}.toast{position:fixed;bottom:2rem;left:50%;transform:translateX(-50%);background:var(--text);color:var(--bg);padding:.5rem 1.25rem;border-radius:6px;font-family:var(--font-sans);font-size:.8rem;z-index:500;animation:toast-in .3s ease;box-shadow:0 4px 12px rgba(0,0,0,.2)}@keyframes toast-in{0%{opacity:0;transform:translateX(-50%) translateY(10px)}to{opacity:1;transform:translateX(-50%) translateY(0)}}@keyframes flash-highlight{0%{background:var(--accent-light);box-shadow:inset 0 -3px 0 var(--text)}50%{background:var(--accent-light);box-shadow:inset 0 -3px 0 var(--text)}to{background:transparent;box-shadow:inset 0 -1px 0 var(--text)}}.tikz-diagram{margin:2rem 0;text-align:center}.diagram-svg,.experiment-map-modal{--d-fg:#2a2a2a;--d-muted:#7a7a7a;--d-line:#4a4a4a;--d-red:#b03a2e;--d-blue:#2471a3;--d-green:#1e8449;--d-orange:#ca6f1e;--d-yellow:#b7950b;--d-cyan:#148f77;--d-violet:#7d3c98;--d-teal:#117a65;--d-purple:#6c3483;--d-pink:#9b2c5e;--d-red-bg:#f8e6e4;--d-green-bg:#e4f8ec;--d-yellow-bg:#fdf6e0;--d-blue-bg:#e4eef8;--d-neutral-bg:#e8e8e8}.diagram-svg{width:100%;height:auto;max-width:720px;margin:0 auto;display:block;font-family:var(--font-sans,-apple-system,BlinkMacSystemFont,"Inter","Helvetica Neue",Arial,sans-serif)}.diagram-svg path,.diagram-svg rect{shape-rendering:crispEdges}[data-theme=dark] .diagram-svg,[data-theme=dark] .experiment-map-modal{--d-fg:#d4d4d4;--d-muted:#8a8a8a;--d-line:#aaa;--d-red:#e74c3c;--d-blue:#5dade2;--d-green:#2ecc71;--d-orange:#e67e22;--d-yellow:#f4d03f;--d-cyan:#1abc9c;--d-violet:#bb8fce;--d-teal:#48c9b0;--d-purple:#a569bd;--d-pink:#f472b6;--d-red-bg:#2a0f0f;--d-green-bg:#0f2a1a;--d-yellow-bg:#2a1f0f;--d-blue-bg:#0f1a2a;--d-neutral-bg:#1a1a24}.diagram-svg text{fill:var(--d-fg)}.diagram-svg .interactive{cursor:default;transition:opacity .25s ease}.diagram-svg.has-focus .interactive:not(.focused){opacity:.25}.diagram-svg{pointer-events:none;--d-muted:#8a8a8a;--d-line:#333333;--d-blue:#555555;--d-green:#454545;--d-orange:#666666;--d-yellow:#8c8c8c;--d-cyan:#5a5a5a;--d-violet:#4a4a4a;--d-teal:#565656;--d-purple:#404040;--d-pink:#6e6e6e;--d-blue-bg:#ededed;--d-green-bg:#efefef;--d-yellow-bg:#f0f0f0;--d-neutral-bg:#e9e9e9}.diagram-svg,.diagram-svg *{animation:none!important;transition:none!important}.diagram-svg.has-focus .interactive:not(.focused){opacity:1}[data-theme=dark] .diagram-svg{--d-muted:#8a8a8a;--d-line:#aaaaaa;--d-blue:#9a9a9a;--d-green:#888888;--d-orange:#9a9a9a;--d-yellow:#b0b0b0;--d-cyan:#909090;--d-violet:#8a8a8a;--d-teal:#909090;--d-purple:#808080;--d-pink:#a0a0a0;--d-blue-bg:#1c1c1c;--d-green-bg:#1a1a1a;--d-yellow-bg:#1e1e1e;--d-neutral-bg:#1a1a1a}@keyframes fade-in{0%{opacity:0}to{opacity:1}}.experiment-map{font-family:var(--font-mono,monospace);max-width:none}.experiment-map-modal-backdrop{position:fixed;inset:0;z-index:1000;background:rgba(0,0,0,.4);display:flex;align-items:center;justify-content:center;animation:fade-in .15s ease}.experiment-map-modal{background:var(--bg);border:1px solid var(--border,#ddd);border-radius:12px;max-width:480px;width:90%;padding:1.5rem 1.75rem;position:relative;box-shadow:0 20px 60px rgba(0,0,0,.2);animation:experiment-map-modal-enter .2s ease}@keyframes experiment-map-modal-enter{0%{opacity:0;transform:translateY(8px) scale(.97)}to{opacity:1;transform:translateY(0) scale(1)}}.experiment-map-modal-close{position:absolute;top:.75rem;right:.75rem;background:none;border:none;font-size:1.25rem;line-height:1;cursor:pointer;color:var(--text-secondary,#888);padding:.25rem .5rem;border-radius:4px}.experiment-map-modal-close:hover{background:rgba(128,128,128,.15)}.experiment-map-modal-header h3{margin:.25rem 0 0;font-size:1.1rem;font-family:var(--font-body,Georgia,serif);color:var(--text,#222)}.experiment-map-modal-subtitle{margin:.25rem 0 0;font-size:.85rem;color:var(--text-secondary,#888);font-style:italic}.experiment-map-modal-status{display:inline-block;font-size:.7rem;font-weight:600;text-transform:uppercase;letter-spacing:.05em;padding:.15rem .5rem;border-radius:3px}.experiment-map-modal-status[data-status=positive]{color:var(--d-green);background:color-mix(in srgb,var(--d-green) 12%,transparent)}.experiment-map-modal-status[data-status=mixed]{color:var(--d-yellow);background:color-mix(in srgb,var(--d-yellow) 12%,transparent)}.experiment-map-modal-status[data-status=negative]{color:var(--d-red);background:color-mix(in srgb,var(--d-red) 12%,transparent)}.experiment-map-modal-status[data-status=null]{color:var(--d-muted);background:color-mix(in srgb,var(--d-muted) 12%,transparent)}.experiment-map-modal-status[data-status=planned],.experiment-map-modal-status[data-status=running]{color:var(--d-blue);background:color-mix(in srgb,var(--d-blue) 12%,transparent)}.experiment-map-modal-status[data-status=foundation]{color:var(--d-violet);background:color-mix(in srgb,var(--d-violet) 12%,transparent)}.experiment-map-modal-desc{margin:.75rem 0;font-size:.9rem;line-height:1.55;color:var(--text,#222);font-family:var(--font-body,Georgia,serif)}.experiment-map-modal-link{display:inline-block;margin-top:.25rem;font-size:.85rem;color:var(--accent,#4a7eb5);text-decoration:none;font-weight:500}.experiment-map-modal-link:hover{text-decoration:underline}.code-ref-link,.study-ref-link{-webkit-appearance:none;-moz-appearance:none;appearance:none;border:0;background:transparent;color:var(--accent,#2c5aa0);cursor:pointer;display:inline;font:inherit;padding:0;text-decoration:underline;text-decoration-thickness:.06em;text-underline-offset:.16em}.code-ref-link code{color:inherit;cursor:pointer;font-size:.88em}.code-ref-link:focus-visible,.code-ref-link:hover,.study-ref-link:focus-visible,.study-ref-link:hover{color:color-mix(in srgb,var(--accent,#2c5aa0) 70%,var(--text,#222));text-decoration-thickness:.1em}.code-ref-link:focus-visible,.study-ref-link:focus-visible{outline:2px solid var(--accent,#2c5aa0);outline-offset:2px}.study-ref-modal-backdrop{position:fixed;inset:0;z-index:1100;background:rgba(0,0,0,.42);display:flex;align-items:center;justify-content:center;padding:1.25rem;animation:fade-in .15s ease}.study-ref-modal{background:var(--bg,#fff);border:1px solid var(--border,#ddd);border-radius:8px;box-shadow:0 20px 60px rgba(0,0,0,.22);max-height:min(760px,88vh);max-width:760px;overflow:hidden;position:relative;width:min(100%,760px);animation:experiment-map-modal-enter .2s ease}.study-ref-modal-close{position:absolute;top:.75rem;right:.75rem;background:transparent;border:0;border-radius:4px;color:var(--text-secondary,#888);cursor:pointer;font-size:1.35rem;line-height:1;padding:.25rem .5rem}.study-ref-modal-close:focus-visible,.study-ref-modal-close:hover{background:rgba(128,128,128,.15)}.study-ref-modal-header{border-bottom:1px solid var(--border,#ddd);padding:1.2rem 3.25rem 1rem 1.35rem}.study-ref-modal-header p{color:var(--text-secondary,#777);font-family:var(--font-sans,sans-serif);font-size:.72rem;font-weight:700;letter-spacing:.08em;margin:0 0 .35rem;text-transform:uppercase}.study-ref-modal-header h2{color:var(--text,#222);font-size:1.25rem;line-height:1.25;margin:0}.study-ref-modal-body{max-height:calc(min(760px, 88vh) - 88px);overflow:auto;padding:.4rem 1.35rem 1.35rem}.study-ref-record{border-bottom:1px solid var(--border,#ddd);padding:1rem 0 1.1rem}.study-ref-record:last-child{border-bottom:0}.study-ref-record-kicker{color:var(--text-secondary,#777);display:flex;font-family:var(--font-sans,sans-serif);font-size:.72rem;font-weight:700;gap:.65rem;letter-spacing:.06em;text-transform:uppercase}.study-ref-record h3{color:var(--text,#222);font-size:1.05rem;margin:.2rem 0 .8rem}.study-ref-record dl{display:grid;grid-gap:.65rem;gap:.65rem;margin:0}.study-ref-record dt{color:var(--text-secondary,#777);font-family:var(--font-sans,sans-serif);font-size:.72rem;font-weight:700;letter-spacing:.06em;margin-bottom:.12rem;text-transform:uppercase}.study-ref-record dd{color:var(--text,#222);font-size:.94rem;line-height:1.48;margin:0}.study-ref-record details{margin-top:.8rem}.study-ref-record summary{color:var(--accent,#2c5aa0);cursor:pointer;font-family:var(--font-sans,sans-serif);font-size:.86rem;font-weight:650}.study-ref-record ul{margin:.5rem 0 0;padding-left:1.1rem}.study-ref-record li{font-size:.84rem;margin:.18rem 0}.code-ref-modal-backdrop{position:fixed;inset:0;z-index:1200;background:rgba(0,0,0,.5);display:flex;align-items:center;justify-content:center;padding:1.25rem;animation:fade-in .15s ease}.code-ref-modal{background:var(--bg,#fff);border:1px solid var(--border,#ddd);border-radius:8px;box-shadow:0 22px 70px rgba(0,0,0,.28);display:flex;flex-direction:column;max-height:min(820px,90vh);max-width:980px;overflow:hidden;width:min(100%,980px);animation:experiment-map-modal-enter .2s ease}.code-ref-modal-header{align-items:flex-start;border-bottom:1px solid var(--border,#ddd);display:flex;gap:1rem;justify-content:space-between;padding:1.05rem 1.1rem .9rem 1.25rem}.code-ref-modal-header p{color:var(--text-secondary,#777);font-size:.7rem;font-weight:700;letter-spacing:.08em;text-transform:uppercase}.code-ref-modal-header h2,.code-ref-modal-header p{font-family:var(--font-sans,sans-serif);margin:0 0 .25rem}.code-ref-modal-header h2{color:var(--text,#222);font-size:1.05rem;line-height:1.25}.code-ref-modal-header span{color:var(--text-secondary,#777);display:block;font-family:var(--font-mono,monospace);font-size:.73rem;line-height:1.35;overflow-wrap:anywhere}.code-ref-modal-actions{display:flex;flex-shrink:0;gap:.35rem}.code-ref-github,.code-ref-modal-close{align-items:center;background:transparent;border:1px solid transparent;border-radius:6px;color:var(--text-secondary,#777);cursor:pointer;display:inline-flex;height:2rem;justify-content:center;line-height:1;padding:0;text-decoration:none;width:2rem}.code-ref-github svg{height:1.1rem;width:1.1rem}.code-ref-modal-close{font-size:1.35rem}.code-ref-github:focus-visible,.code-ref-github:hover,.code-ref-modal-close:focus-visible,.code-ref-modal-close:hover{background:rgba(128,128,128,.15);color:var(--text,#222)}.code-ref-modal-meta{align-items:center;border-bottom:1px solid var(--border,#ddd);display:flex;flex-wrap:wrap;gap:.45rem;padding:.55rem 1.25rem}.code-ref-modal-meta span{border:1px solid var(--border,#ddd);border-radius:999px;color:var(--text-secondary,#777);font-family:var(--font-sans,sans-serif);font-size:.68rem;font-weight:650;line-height:1;padding:.22rem .48rem;text-transform:uppercase}.code-ref-modal-body{flex:1 1;min-height:0;overflow:auto}.code-ref-modal-state{color:var(--text-secondary,#777);font-family:var(--font-sans,sans-serif);font-size:.9rem;margin:0;padding:1.25rem}.code-ref-modal-error{color:#a33}.code-ref-pre{background:color-mix(in srgb,var(--bg,#fff) 92%,var(--text,#222));color:var(--text,#222);font-family:var(--font-mono,monospace);font-size:.74rem;line-height:1.55;margin:0;min-height:100%;overflow:auto;padding:1rem 1.25rem 1.3rem;white-space:pre}.code-ref-pre code{color:inherit;font:inherit}[data-theme=dark]{--text:#e0e0e0;--text-secondary:#a0a0a0;--bg:#1a1a1e;--bg-sidebar:#222226;--border:#3a3a3e;--accent:#6b9edd;--accent-light:#2a3a52}[data-theme=dark] body{color-scheme:dark}[data-theme=dark] .toc a:hover{background:rgba(255,255,255,.06)}[data-theme=dark] .toc li.active a{color:var(--text);background:none}[data-theme=dark] .toc-pdf-cover{border-color:var(--border)}[data-theme=dark] .sidebar-toggle{background:var(--bg);border-color:var(--border);color:var(--text)}[data-theme=dark] .landing-start{background:#e0e0e0;color:#1a1a1e}[data-theme=dark] .landing-start:hover{background:#ccc}[data-theme=dark] .landing-pdf{border-color:var(--border);color:var(--text-secondary)}[data-theme=dark] .landing-pdf:hover{background:rgba(255,255,255,.04)}[data-theme=dark] .chapter-content h1{border-top-color:#333}[data-theme=dark] .chapter-content blockquote{border-left-color:#555}[data-theme=dark] .chapter-content td,[data-theme=dark] .chapter-content th{border-bottom-color:#3a3a3e}[data-theme=dark] .env-logos{background:#222;border-left-color:#555}[data-theme=dark] .env-sidebar{background:#1e2430;border-left-color:#4a6fa5}[data-theme=dark] .env-sidebar .env-title{color:#7aa3d4}[data-theme=dark] .env-connection{background:#1e2a1e;border-left-color:#4a8a4a}[data-theme=dark] .env-connection .env-title{color:#6ab06a}[data-theme=dark] .env-historical{background:#252525;border-left-color:#666}[data-theme=dark] .env-historical .env-title{color:#999}[data-theme=dark] .env-empirical{background:#2a2218;border-left-color:#b07520}[data-theme=dark] .env-empirical .env-title{color:#d4932a}[data-theme=dark] .env-todo-empirical{background:#28261a;border-left-color:#998a22}[data-theme=dark] .env-todo-empirical .env-title{color:#c9b833}[data-theme=dark] .env-openquestion{background:#261e30;border-left-color:#7744aa}[data-theme=dark] .env-openquestion .env-title{color:#b088dd}[data-theme=dark] .env-warningbox{background:#2a1a1a;border-left-color:#aa3333}[data-theme=dark] .env-warningbox .env-title{color:#dd5555}[data-theme=dark] .env-experiment{background:#1a2828;border-left-color:#3a8888}[data-theme=dark] .env-experiment .env-title{color:#5ababa}[data-theme=dark] .env-software{background:#1a2530;border-left-color:#3a7aaa}[data-theme=dark] .env-software .env-title{color:#5a9acc}[data-theme=dark] .env-definition{background:#1e2230;border-left-color:#4a6fa5}[data-theme=dark] .env-proposition,[data-theme=dark] .env-theorem{background:#252420;border-left-color:#8a7a5a}[data-theme=dark] .env-hypothesis{background:#241e2a;border-left-color:#8a5aaa}[data-theme=dark] .env-example{background:#1e2a1e;border-left-color:#5a8a5a}[data-theme=dark] .env-remark{background:#232323;border-left-color:#666}[data-theme=dark] .env-conjecture{background:#2a2418;border-left-color:#aa8a5a}[data-theme=dark] .env-axiom,[data-theme=dark] .env-corollary,[data-theme=dark] .env-lemma{background:#242422;border-left-color:#6a6a5a}[data-theme=dark] .env-proof{background:#222;border-left-color:#444}[data-theme=dark] .margin-note{background:#252520;border-left-color:#444;color:#999}[data-theme=dark] .env-keyresult{background:#1e2430;border-left-color:#4a7acc}[data-theme=dark] .env-phenomenal{background:#261e30;border-left-color:#9966cc}[data-theme=dark] .env-warning-margin{background:#2a1a1a;border-left-color:#cc4444}[data-theme=dark] .env-normimp{background:#252420;border-left-color:#8a7a5a}[data-theme=dark] .tikz-placeholder{background:#252525;border-color:#444}[data-theme=dark] .audio-player{background:var(--bg);border-color:var(--border);box-shadow:0 2px 8px rgba(0,0,0,.2)}[data-theme=dark] .audio-play-btn{background:#e0e0e0;color:#1a1a1e}[data-theme=dark] .audio-play-btn:hover{background:#ccc}[data-theme=dark] .audio-progress{background:#333}[data-theme=dark] .audio-progress-bar{background:var(--text)}[data-theme=dark] .audio-dropdown-menu{background:var(--bg);border-color:var(--border);box-shadow:0 4px 16px rgba(0,0,0,.3)}[data-theme=dark] .audio-dropdown-item:hover{background:rgba(255,255,255,.05)}[data-theme=dark] .audio-dropdown-item.active{background:var(--accent-light)}[data-theme=dark] .reader-toolbar{background:var(--bg);border-color:var(--border);box-shadow:0 2px 8px rgba(0,0,0,.25)}[data-theme=dark] .reader-toolbar-btn:hover{background:rgba(255,255,255,.08)}[data-theme=dark] .highlight-popover{background:var(--text);color:var(--bg)}[data-theme=dark] .highlight-popover button{color:var(--bg)}[data-theme=dark] .highlight-popover button:hover{background:var(--bg);color:var(--text)}[data-theme=dark] mark.user-highlight{background:transparent;box-shadow:inset 0 -1px 0 var(--text)}[data-theme=dark] .katex{color:var(--text)}@media (max-width:900px){.reader-toolbar{top:auto;bottom:1rem;right:.5rem}}.mobile-header{display:none}@media (max-width:900px){.mobile-header{display:block;position:fixed;top:0;left:0;right:0;z-index:200}.reader-toolbar,.sidebar-toggle{display:none!important}.wip-banner{position:fixed;top:calc(52px + env(safe-area-inset-top, 0px));left:0;right:0;z-index:150;font-size:.68rem;padding:.25rem .75rem}.mobile-header-bar{display:flex;align-items:center;height:calc(52px + env(safe-area-inset-top, 0px));padding:env(safe-area-inset-top,0) 4px 0;background:var(--bg);border-bottom:1px solid var(--border)}.mobile-header-btn{background:none;border:none;cursor:pointer;color:var(--text);padding:10px;border-radius:10px;display:flex;align-items:center;justify-content:center;-webkit-tap-highlight-color:transparent;transition:background .15s}.mobile-header-btn:active{background:rgba(0,0,0,.06)}.mobile-header-play{opacity:.6}.mobile-header-center{flex:1 1}.mobile-header-right{display:flex;align-items:center;position:relative}.mobile-header-menu{position:fixed;top:calc(52px + env(safe-area-inset-top, 0px) + 4px);right:8px;width:260px;max-width:calc(100vw - 16px);max-height:calc(100vh - 72px);overflow-y:auto;background:var(--bg);border-radius:14px;border:1px solid var(--border);box-shadow:0 8px 40px rgba(0,0,0,.08);padding:6px 0;font-family:var(--font-sans);z-index:210}.mobile-menu-item{display:flex;align-items:center;gap:12px;width:100%;padding:10px 16px;background:none;border:none;cursor:pointer;font-family:var(--font-sans);font-size:.85rem;color:var(--text);text-align:left;-webkit-tap-highlight-color:transparent;transition:background .1s}.mobile-menu-item:active{background:rgba(0,0,0,.05)}.mobile-menu-icon{width:18px;text-align:center;flex-shrink:0;font-size:.9rem;display:flex;align-items:center;justify-content:center;color:var(--text-secondary)}.sidebar{padding-top:calc(60px + env(safe-area-inset-top, 0px))}.audio-player{position:fixed;top:calc(52px + env(safe-area-inset-top, 0px));left:0;right:0;z-index:190;border-radius:0;margin:0;border-left:none;border-right:none;border-top:none;padding-left:1rem;background:var(--bg);box-shadow:0 1px 8px rgba(0,0,0,.06);transform:translateY(-100%);opacity:0;pointer-events:none;transition:transform .3s ease,opacity .3s ease}.audio-player.audio-started{transform:translateY(0);opacity:1;pointer-events:auto}.main-content{padding-top:calc(84px + env(safe-area-inset-top, 0px))}body[data-audio-started=true] .main-content{padding-top:calc(164px + env(safe-area-inset-top, 0px));transition:padding-top .3s ease}[data-theme=dark] .mobile-header-bar{background:var(--bg);border-bottom-color:var(--border)}[data-theme=dark] .mobile-header-btn:active{background:rgba(255,255,255,.08)}[data-theme=dark] .mobile-header-menu{background:var(--bg);border-color:var(--border);box-shadow:0 8px 40px rgba(0,0,0,.4)}[data-theme=dark] .mobile-menu-item:active{background:rgba(255,255,255,.06)}[data-theme=dark] .audio-player{background:var(--bg)}}p[id]{position:relative;scroll-margin-top:80px}p[id]:hover:before{content:"#";position:absolute;left:-1.4em;color:var(--accent,#4a7acc);opacity:.35;font-family:var(--font-sans,system-ui);font-size:.85em;line-height:inherit;cursor:pointer}[id]:target{animation:ref-flash 2s ease-out}@keyframes ref-flash{0%{background-color:rgba(74,122,204,.15)}to{background-color:transparent}}li[id],section [id]{scroll-margin-top:80px}.footnote-number{text-decoration:none;color:var(--accent,#4a7acc)}.footnote-sup{font-size:.75em;vertical-align:super;line-height:0}.footnote-aside{display:none}.footnote-list-section{margin-top:3rem;padding-top:1.5rem;border-top:1px solid var(--border,#e0e0e0)}.footnote-list-section:empty{display:none}.footnote-list-section ol{font-size:.88em;color:var(--text-secondary,#666);padding-left:1.5em;margin:0}.footnote-list-section ol li{margin-bottom:.5em}.footnote-list-section ol li:target{animation:ref-flash 2s ease-out}.footnote-backref{text-decoration:none;color:var(--accent,#4a7acc);font-size:.85em;margin-left:.3em}[data-theme=dark] .footnote-list-section{border-top-color:var(--border,#333)}[data-theme=dark] .footnote-list-section ol{color:var(--text-secondary,#aaa)}:root{--text:#111;--text-secondary:#5f5f5f;--bg:#fff;--bg-sidebar:#f0f0f0;--border:#111;--accent:#111;--accent-light:#ededed;--content-width:45rem;--right-sidebar-width:var(--sidebar-width);--font-sans:ui-monospace,"SF Mono",Menlo,Consolas,monospace}[data-theme=dark]{--text:#e9e9e9;--text-secondary:#9a9a9a;--bg:#0a0a0a;--bg-sidebar:#111;--border:#e9e9e9;--accent:#e9e9e9;--accent-light:#1a1a1a}body{background:var(--bg);line-height:1.58}body:after{display:none}.audio-dropdown-btn,.audio-dropdown-menu,.audio-play-btn,.audio-player,.button,.env-axiom,.env-conjecture,.env-connection,.env-corollary,.env-definition,.env-empirical,.env-example,.env-experiment,.env-historical,.env-hypothesis,.env-keyresult,.env-lemma,.env-normimp,.env-openquestion,.env-phenomenal,.env-proof,.env-proposition,.env-remark,.env-sidebar,.env-software,.env-theorem,.env-todo-empirical,.env-warning-margin,.env-warningbox,.landing-pdf,.landing-start,.margin-note,.reader-toolbar-btn,.toc-pdf-cover,button,input,select,textarea{border-radius:0!important;box-shadow:none!important}.wip-banner{left:0;right:0;min-height:3.15rem;display:grid;grid-template-columns:var(--sidebar-width) minmax(0,1fr) var(--right-sidebar-width);background:var(--bg);border-bottom:1px solid var(--border);color:var(--text-secondary);font-size:.58rem;letter-spacing:.04em;text-transform:lowercase;text-align:center;padding:0;pointer-events:none}.wip-banner,.wip-banner-brand{align-items:center;font-family:var(--font-sans)}.wip-banner-brand{align-self:stretch;display:flex;padding:0 .8rem;border-right:1px solid var(--border);color:var(--text);font-size:.68rem;font-weight:800;letter-spacing:.02em;line-height:1.1;text-align:left;text-decoration:none;pointer-events:auto}.wip-banner-text{display:block;justify-self:center;max-width:min(34rem,calc(100vw - var(--sidebar-width) - var(--right-sidebar-width) - 2rem));overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.reading-progress{height:2px;background:var(--text)}.sidebar{background:var(--bg);border-right:1px solid var(--border);top:3.15rem;height:calc(100vh - 3.15rem);overflow:hidden;padding:.75rem 0 .75rem .8rem}.toc{height:100%;display:flex;min-height:0;flex-direction:column}.toc-scroll{flex:1 1 auto;min-height:0;overflow-y:auto;padding-right:0}.toc-sidebar-footer{padding-right:.8rem}.toc-home{display:none}.chapter-content figcaption,.chapter-subtitle,.landing-figure figcaption,.landing-meta,.toc a,.toc-legal,.toc-pdf a,.toc-sections a{font-family:var(--font-sans)}.toc a,.toc-sections a{border-radius:0;padding:.16rem .3rem;font-size:.62rem;line-height:1.28}.toc a:hover,.toc li.active>.toc-chapter-row>a,.toc-sections li.toc-active>a{background:transparent;color:var(--text);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:.15em}.toc li.active .toc-sections{background:color-mix(in srgb,var(--text) 5%,transparent)}.toc li.active .toc-sections a{color:var(--text)}[data-theme=dark] .toc li.active .toc-sections{background:color-mix(in srgb,var(--text) 8%,transparent)}.toc-expand{width:1.25rem;min-width:1.25rem;height:1.25rem;padding:0;border:0;border-radius:0;font-size:.72rem;line-height:1;display:inline-flex;align-items:center;justify-content:center}.toc-expand,.toc-expand:hover{background:transparent;color:var(--text)}.toc-pdf{border-top:0;margin:0;padding:0}.toc-pdf-cover{display:none}.main-content{background:var(--bg);margin-right:var(--right-sidebar-width);padding:calc(1.2rem + 3.15rem) clamp(.7rem,2vw,1.4rem) 1.2rem}.chapter,.landing{border:1px solid var(--border);padding:clamp(.9rem,2.5vw,1.4rem);background:var(--bg)}.landing-header{text-align:left;margin-bottom:1.1rem;padding-top:0;border-bottom:1px solid var(--border);padding-bottom:.8rem}.chapter-title,.landing-header h1{font-size:clamp(1.85rem,7vw,3rem);line-height:.95;font-weight:900;letter-spacing:0;text-transform:lowercase}.landing-subtitle{max-width:42rem;margin-top:.35rem;color:var(--text);font-family:var(--font-sans);font-size:.72rem;font-style:normal;letter-spacing:.02em;text-transform:lowercase}.landing-meta{margin-top:.45rem;color:var(--text-secondary);font-size:.62rem;letter-spacing:.03em;text-transform:lowercase}.landing-rule{display:none}.chapter-content p,.landing-body p{text-align:left;-webkit-hyphens:none;hyphens:none}.landing-figure{margin:0 0 1rem}.chapter-content figure img,.landing-figure img{display:block;width:100%;border:1px solid var(--border);border-radius:0;background:#fff;margin:0}.chapter-content figcaption,.landing-figure figcaption{margin-top:.35rem;color:var(--text-secondary);font-size:.62rem;line-height:1.35}.landing-nav{gap:0}.audio-dropdown-btn,.audio-next-btn,.audio-prev-btn,.landing-pdf,.landing-start{border:1px solid var(--border);background:var(--bg);color:var(--text);font-family:var(--font-sans);font-size:.62rem;font-weight:700;letter-spacing:.03em;text-transform:lowercase}.landing-pdf,.landing-start{padding:.45rem .7rem;margin-right:-1px}.audio-dropdown-btn:hover,.audio-next-btn:hover,.audio-prev-btn:hover,.landing-pdf:hover,.landing-start:hover{background:var(--text);color:var(--bg);text-decoration:none}.reader-toolbar-btn{font-family:var(--font-sans);font-size:.62rem;font-weight:700;letter-spacing:.03em;text-transform:lowercase}.reader-toolbar-btn:hover{text-decoration:none}.landing-toc{border-top:1px solid var(--border);padding-top:1rem}.landing-toc h2{font-family:var(--font-sans);font-size:.68rem;font-weight:700;letter-spacing:.06em;text-transform:lowercase}.chapter-content a,.chapter-nav a,.footnote-backref,.footnote-number,.landing-toc a{color:var(--text);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:.12em}.chapter-header{margin-bottom:1.2rem;padding-bottom:.75rem;border-bottom:1px solid var(--border)}.chapter-subtitle{color:var(--text-secondary);font-size:.62rem;font-weight:500;letter-spacing:.05em;text-transform:lowercase}.chapter-content h1,.chapter-content h2,.chapter-content h3,.chapter-content h4{border:0;color:var(--text);font-family:var(--font-sans);font-weight:800;letter-spacing:0;line-height:1.15;text-transform:lowercase}.chapter-content h1{border-top:1px solid var(--border);margin-top:1.7rem;padding-top:.75rem;font-size:1.45rem}.chapter-content h2{font-size:1.05rem}.chapter-content h3,.chapter-content h4{font-size:.88rem}.chapter-content blockquote{border-left:2px solid var(--border);color:var(--text)}.chapter-content table{border:1px solid var(--border)}.chapter-content td,.chapter-content th{border-bottom:1px solid var(--border);border:1px solid var(--border)}.chapter-content th{font-family:var(--font-sans);font-size:.62rem;letter-spacing:.04em}.env-axiom,.env-conjecture,.env-connection,.env-corollary,.env-definition,.env-empirical,.env-example,.env-experiment,.env-historical,.env-hypothesis,.env-keyresult,.env-lemma,.env-normimp,.env-openquestion,.env-phenomenal,.env-proof,.env-proposition,.env-remark,.env-sidebar,.env-software,.env-theorem,.env-todo-empirical,.env-warning-margin,.env-warningbox,.margin-note{background:var(--bg);border-left:1px solid var(--border);border:1px solid var(--border);color:var(--text)}.env-title{color:var(--text)!important;font-family:var(--font-sans);font-size:.62rem;letter-spacing:.05em;text-transform:lowercase}.audio-player{background:var(--bg);border:1px solid var(--border)}.audio-play-btn,.audio-progress-bar{background:var(--text);color:var(--bg)}.audio-progress{border-radius:0;background:var(--accent-light)}.reader-toolbar{top:0;right:0;width:var(--right-sidebar-width);height:3.15rem;min-height:3.15rem;gap:.1rem;border:0;border-bottom:1px solid var(--border);border-left:1px solid var(--border);background:var(--bg);box-shadow:none;z-index:300;pointer-events:auto}.reader-toolbar,.reader-toolbar-btn{align-items:center;justify-content:center;padding:0}.reader-toolbar-btn{width:1.85rem;height:1.85rem;margin:0;border:0;background:transparent;color:var(--text);display:inline-flex}.reader-toolbar-btn:hover{background:transparent;color:var(--text);opacity:.6}.reader-toolbar-btn.is-active{background:var(--text);color:var(--bg);opacity:1}.reader-toolbar-btn.is-active:hover{background:var(--text);color:var(--bg);opacity:.82}.copy-dropdown-arrow{width:1.1rem;margin-left:-.35rem}.toc-sidebar-footer{flex:0 0 auto;margin-top:.75rem;padding-top:.65rem;border-top:1px solid var(--border)}.toc-sidebar-footer .toc-pdf a{display:inline-flex;align-items:center;color:var(--text);font-size:.62rem;font-weight:700;letter-spacing:.03em;text-transform:lowercase}.toc-sidebar-footer .toc-socials{justify-content:flex-start;gap:.55rem;margin-top:.65rem}.toc-sidebar-footer .toc-socials a{display:inline-flex;width:1.1rem;height:1.1rem;align-items:center;justify-content:center;color:var(--text-secondary);padding:0}.toc-sidebar-footer .toc-legal{justify-content:flex-start;margin-top:.55rem;font-size:.56rem;opacity:1}.diagram-svg{--d-fg:#111;--d-muted:#5f5f5f;--d-line:#111;--d-red:#111;--d-blue:#111;--d-green:#111;--d-orange:#111;--d-yellow:#111;--d-cyan:#111;--d-violet:#111;--d-teal:#111;--d-purple:#111;--d-pink:#111;--d-red-bg:#eee;--d-green-bg:#eee;--d-yellow-bg:#eee;--d-blue-bg:#eee;--d-neutral-bg:#eee}[data-theme=dark] .diagram-svg{--d-fg:#e9e9e9;--d-muted:#9a9a9a;--d-line:#e9e9e9;--d-red-bg:#171717;--d-green-bg:#171717;--d-yellow-bg:#171717;--d-blue-bg:#171717;--d-neutral-bg:#171717}@media (max-width:900px){.wip-banner{left:0;display:flex;justify-content:center;min-height:auto;padding:.25rem .75rem}.wip-banner-brand{display:none}.wip-banner-text{white-space:normal;max-width:none}.main-content{padding-top:3.8rem}.chapter,.landing{border-left:0;border-right:0;padding:.8rem}}.reader-layout{display:grid;grid-template-columns:minmax(0,var(--content-width));align-items:start;width:100%;max-width:var(--content-width);box-sizing:border-box}.reader-layout>.chapter{max-width:100%;min-width:0}@media (max-width:1280px){.main-content{margin-right:0}.reader-layout{grid-template-columns:minmax(0,1fr);max-width:var(--content-width)}}@media (max-width:900px){.reader-toolbar{display:none}}.display-settings{position:relative;display:inline-flex}.display-settings-dot{position:absolute;right:2px;bottom:2px;width:5px;height:5px;border-radius:50%;pointer-events:none}.display-panel{position:absolute;top:calc(100% + 6px);right:0;z-index:400;width:17rem;padding:.5rem .75rem .75rem;background:var(--bg);border:1px solid var(--border);box-shadow:0 6px 24px rgba(0,0,0,.14);font-family:var(--font-sans);font-size:.78rem;color:var(--text)}.display-panel-head{display:flex;align-items:center;justify-content:space-between;padding-bottom:.4rem;margin-bottom:.5rem;border-bottom:1px solid var(--border);font-size:.66rem;letter-spacing:.08em;text-transform:uppercase;color:var(--text-secondary)}.display-panel-close{background:none;border:none;color:var(--text-secondary);cursor:pointer;font-size:.8rem;line-height:1;padding:.2rem}.display-row{display:flex;align-items:center;justify-content:space-between;gap:.75rem;padding:.3rem 0}.display-row-stack{flex-direction:column;align-items:stretch;gap:.3rem}.display-label{color:var(--text-secondary);white-space:nowrap}.display-segmented{display:flex;border:1px solid var(--border)}.display-segmented button{display:flex;align-items:center;gap:.3rem;background:none;border:none;border-left:1px solid var(--border);color:var(--text-secondary);font-family:inherit;font-size:.72rem;padding:.3rem .5rem;cursor:pointer}.display-segmented button:first-child{border-left:none}.display-segmented button.is-active{background:var(--text);color:var(--bg)}.display-segmented button svg{flex:none}.display-fonts{display:flex;flex-wrap:wrap;gap:.25rem}.display-fonts button{flex:1 1 auto;background:none;border:1px solid var(--border);color:var(--text);font-size:.8rem;padding:.3rem .5rem;cursor:pointer}.display-fonts button.is-active{background:var(--text);color:var(--bg)}.display-stepper{display:flex;align-items:center;gap:.4rem}.display-stepper button{width:1.9rem;height:1.6rem;background:none;border:1px solid var(--border);color:var(--text);font-family:var(--font-body);cursor:pointer}.display-stepper button:disabled{opacity:.35;cursor:default}.display-stepper-track{display:flex;align-items:center;gap:3px}.display-stepper-track span{width:4px;height:4px;border-radius:50%;background:var(--border)}.display-stepper-track span.is-active{background:var(--text);transform:scale(1.5)}.display-accents{display:flex;gap:.3rem}.display-accent{width:1.35rem;height:1.35rem;padding:2px;background:none;border:1px solid transparent;border-radius:50%;cursor:pointer;display:inline-flex}.display-accent span{flex:1 1;border-radius:50%}.display-accent.is-active{border-color:var(--text)}.display-sheet-backdrop{position:fixed;inset:0;z-index:400;background:rgba(0,0,0,.35)}.display-panel.display-panel-sheet{position:fixed;top:auto;left:0;right:0;bottom:0;z-index:401;width:100%;border:none;border-top:1px solid var(--border);padding:.75rem 1rem calc(1rem + env(safe-area-inset-bottom, 0px));font-size:.9rem;animation:display-sheet-in .2s ease-out}.display-panel-sheet .display-row{padding:.5rem 0}.display-panel-sheet .display-segmented button{padding:.55rem .7rem;font-size:.82rem}.display-panel-sheet .display-fonts button{padding:.55rem .5rem}.display-panel-sheet .display-stepper button{width:2.5rem;height:2.2rem}.display-panel-sheet .display-accent{width:1.9rem;height:1.9rem}@keyframes display-sheet-in{0%{transform:translateY(100%)}to{transform:translateY(0)}}.reader-toolbar,[data-theme=dark] .reader-toolbar{background:transparent;border:0;border-radius:0;padding:0;box-shadow:none;outline:0}