:root{color-scheme:light;--paper:#f4f1e8;--surface:#faf8f1;--ink:#233d32;--muted:#59665b;--green:#2f5542;--line:#d0d4c4;--focus:#80602a;--sage-surface:#e4e9dc;--code-surface:#eaece3;--control-edge:#7d8b7e}
*{box-sizing:border-box}html{scroll-behavior:auto}body{margin:0;background:var(--paper);color:var(--ink);font:1.05rem/1.7 system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}a{color:var(--green);text-underline-offset:.18em;text-decoration-thickness:.08em}a:hover{text-decoration-thickness:.15em}a:focus-visible,button:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--focus);outline-offset:4px;border-radius:2px}.skip-link{position:absolute;top:-8rem;left:1rem;z-index:10;background:var(--surface);padding:.7rem 1rem;border:2px solid var(--green)}.skip-link:focus{top:1rem}.site-header{max-width:82rem;margin:auto;padding:1.35rem 2rem;border-bottom:1px solid var(--line);display:flex;gap:1.5rem;align-items:center;justify-content:space-between}.brand{color:var(--ink);font:700 1.75rem Georgia,serif;text-decoration:none}.brand span{display:block;font:400 .75rem/1.5 system-ui,sans-serif;letter-spacing:.02em;color:var(--muted)}nav{display:flex;gap:.6rem 1.1rem;flex-wrap:wrap}nav a{padding:.25rem 0}nav a[aria-current=page]{font-weight:750;text-decoration-thickness:.18em}main{max-width:76rem;margin:auto;padding:2.5rem 2rem 4rem;min-height:65vh}article{max-width:72ch}h1,h2,h3,h4{line-height:1.22;color:var(--ink);scroll-margin-top:1rem}h1{font:500 clamp(2rem,5.2vw,4.2rem)/1.08 Georgia,serif;letter-spacing:-.025em;margin:1rem 0 1.5rem}h2{font:500 1.65rem/1.25 Georgia,serif;margin:2.1rem 0 .7rem}h3{font-size:1.2rem;margin-top:1.7rem}p,li{overflow-wrap:anywhere}p{max-width:75ch}li+li{margin-top:.4rem}.eyebrow{text-transform:uppercase;font-size:.75rem;font-weight:700;letter-spacing:.09em;color:var(--muted)}.hero{max-width:58rem;padding:1.2rem 0 2rem}.hero .lede{font-size:1.2rem;max-width:58ch}.button,button{display:inline-block;background:var(--green);border:2px solid var(--green);color:white;padding:.65rem 1.1rem;font:inherit;font-weight:600;cursor:pointer;border-radius:.25rem;min-height:44px}.button{text-decoration:none;margin-right:.8rem}.button:hover,button:hover{background:#233d32}.route-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;margin:1.6rem 0 2.5rem}.route{display:block;padding:1.3rem 1.5rem;background:var(--surface);border:1px solid var(--line);border-radius:.35rem;color:var(--ink);text-decoration:none}.route:hover{border-color:var(--green);box-shadow:0 2px 0 var(--green)}.route h2{margin:0 0 .6rem}.route p{margin:.5rem 0}.route span{color:var(--green);font-weight:650;text-decoration:underline}.intro{padding:1rem 0}.intro dt{font-weight:700;margin-top:1rem}.intro dd{margin:.3rem 0 1rem}.notice{background:var(--sage-surface);border-left:4px solid var(--green);padding:1rem 1.5rem;margin:2rem 0}.notice h2{margin:.4rem 0}.breadcrumbs{font-size:.9rem;color:var(--muted);margin-bottom:1.5rem}footer{max-width:76rem;margin:auto;padding:1.5rem 2rem 2.5rem;border-top:1px solid var(--line);font-size:.9rem;color:var(--muted)}label{display:block;font-weight:650;margin:.75rem 0 .3rem}input,select{width:100%;max-width:40rem;min-height:46px;border:1px solid var(--control-edge);border-radius:.2rem;background:var(--surface);color:var(--ink);padding:.6rem;font:inherit}form button{display:block;margin:1rem 0}.filters{max-width:40rem;background:var(--surface);border:1px solid var(--line);padding:1rem 1.4rem;border-radius:.3rem}.work-list{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem}.work{border-top:1px solid var(--line);padding:.8rem 0 1.2rem}.work h2{font-size:1.4rem;margin:.5rem 0}.status{font-size:.84rem;color:var(--muted);line-height:1.7}.work[hidden],.claim[hidden]{display:none}.claim{border-top:1px solid var(--line);padding:.7rem 0 1.5rem;max-width:78ch}.claim details{margin:.5rem 0}.claim summary{cursor:pointer;font-weight:650;padding:.4rem}.download-list section{border-top:1px solid var(--line);padding:.5rem 0 1.2rem}.download-list summary{cursor:pointer;padding:.4rem 0}pre{background:var(--code-surface);border:1px solid var(--line);padding:1rem;overflow:auto;border-radius:.3rem;max-width:100%;line-height:1.55;font-size:.9rem}code,kbd{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.9em;overflow-wrap:anywhere}p code,li code,td code{background:var(--code-surface);padding:.1em .25em}blockquote{margin:1.5rem 0;padding:.2rem 1.2rem;border-left:3px solid var(--green)}.table-scroll{overflow-x:auto;max-width:100%;margin:1.4rem 0}table{border-collapse:collapse;width:100%;font-size:.95rem}th{text-align:left;background:var(--sage-surface)}th,td{border:1px solid var(--line);padding:.6rem .8rem;vertical-align:top}img,svg{max-width:100%;height:auto}hr{border:0;border-top:1px solid var(--line);margin:2rem 0}.arithmatex{overflow-x:auto}#search-results{padding-left:1.5rem;max-width:78ch}#search-results li{margin:1.1rem 0}#search-results h2{font-size:1.3rem;margin:.2rem 0}#search-results p{margin:.4rem 0}#search-status,#work-count,#claim-count{color:var(--muted)}details code{white-space:normal}
@media(max-width:760px){.site-header{align-items:flex-start;flex-direction:column;padding:1rem 1.2rem;gap:.9rem}main{padding:1.4rem 1.2rem 2.5rem}.route-grid,.work-list{grid-template-columns:1fr}.route{padding:1.15rem}.hero{padding:.5rem 0 1rem}footer{padding:1.2rem}nav{gap:.5rem 1rem}h1{font-size:2.7rem}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}
.document-heading h1{font-size:clamp(1.8rem,4vw,3rem);max-width:30ch}.document-heading .eyebrow{margin-bottom:.4rem}.document-filename{font-size:.85rem;color:var(--muted)}.document-routes{border-block:1px solid var(--line);padding:.7rem 0;margin:1rem 0}.document-actions{display:flex;flex-wrap:wrap;align-items:center;gap:.7rem 1.2rem;margin:1rem 0}.reader-help{font-size:.92rem;max-width:85ch}.pdf-reader{display:block;width:100%;height:80vh;min-height:32rem;border:1px solid var(--line);background:#525659}.document-shortcut{padding:1rem;background:var(--sage-surface);margin-bottom:1.2rem}.document-provenance{margin-top:1.5rem}.document-provenance summary{cursor:pointer;padding:.5rem 0}.source-lines{white-space:pre-wrap;overflow-wrap:anywhere}.source-lines>code>span[id]{display:block;min-height:1.55em}.source-lines>code>span[id]:target{background:#fff0ad;outline:2px solid var(--focus);scroll-margin-top:1rem}.source-lines>code>span[id]>a[aria-label]{display:inline-block;min-width:4ch;margin-right:.7em;text-align:right;color:var(--muted);user-select:none}.edition-text{margin-top:1.6rem}
@media(max-width:760px){.pdf-reader{height:76vh;min-height:28rem}.document-heading h1{font-size:2rem}.document-actions .button{width:100%;text-align:center}.document-routes{gap:.5rem 1rem}}
@media(forced-colors:active){.button,button,.route,.notice{border:2px solid ButtonText}.status,.eyebrow{color:CanvasText}}
@media print{.site-header,.skip-link,footer,form{display:none}main{padding:0;max-width:none}body{background:white;color:black;font-size:11pt}.route-grid,.work-list{display:block}a{color:black}.table-scroll,pre,.arithmatex{overflow:visible}h1{font-size:28pt}.claim,section{break-inside:avoid}}

[hidden]{display:none!important}.paper-jumps{display:grid;grid-template-columns:repeat(auto-fit,minmax(9rem,1fr));gap:.5rem;margin:1.4rem 0}.paper-jumps a{border:1px solid var(--line);border-radius:.25rem;background:var(--surface);padding:.6rem .8rem;min-height:44px}.paper-jumps span{font-size:.85em;color:var(--muted)}.claim-section{margin-top:2.5rem}.claim-section h2{max-width:55ch}.claim:target{border-left:4px solid var(--focus);padding-left:1rem;background:#fff9df}.claim{scroll-margin-top:1rem}#claim-filters{scroll-margin-top:1rem}#search-more{margin:1.5rem 0}.claim-section[hidden]{display:none}

.source-claim-links{display:block;white-space:normal;font:400 .9rem/1.6 system-ui,sans-serif;background:var(--surface);border-left:3px solid var(--green);padding:.55rem .7rem;margin:1rem 0 .4rem}.source-claim-links>span{font-weight:650}.source-claim-links a{display:inline-block;padding:.25rem 0}.source-claims{max-width:80ch;border:1px solid var(--line);padding:.7rem 1rem;margin:1rem 0}.source-claims summary{cursor:pointer;font-weight:650;min-height:44px;padding:.4rem 0}#search-work{max-width:100%}#site-search{max-width:48rem}
.chapter-contents{display:block;max-width:72ch;padding:1rem 1.2rem;background:var(--surface);border:1px solid var(--line)}.chapter-contents h2{margin-top:0}.chapter-contents ol{list-style:none;padding:0}.chapter-contents a{display:inline-block;min-height:44px;padding:.4rem 0}.subsection-entry{margin-left:1.2rem}.chapter-neighbours{margin:1.5rem 0;padding:1rem 0;border-block:1px solid var(--line);justify-content:space-between}.chapter-neighbours a{min-height:44px}.readable-chapter{max-width:78ch}.readable-chapter p{line-height:1.85}.reading-block{padding:.3rem 0 .7rem;scroll-margin-top:1rem}.reading-block:target{outline:2px solid var(--focus);outline-offset:6px}.reading-block.definition,.reading-block.theorem,.reading-block.proposition,.reading-block.corollary,.reading-block.lemma{border-left:3px solid var(--green);padding:.6rem 1.2rem;background:var(--surface);margin:1.3rem 0}.reading-block.keyidea,.reading-block.interpretation{border:1px solid var(--line);padding:.6rem 1.2rem;background:var(--sage-surface)}.passage-links{font-size:.85rem;color:var(--muted)}.passage-links a{display:inline-block;padding:.4rem 0;min-height:32px}.readable-chapter figure{margin:2rem 0}.readable-chapter figcaption{font-size:.95rem}.readable-chapter h4{font-size:1.1rem}.readable-chapter div.arithmatex,.search-equation{max-width:100%;overflow-x:auto;padding:.5rem .15rem}.readable-chapter mjx-container[display=true],.search-equation mjx-container[display=true]{min-width:min-content}.readable-chapter mjx-container svg,.search-equation mjx-container svg{max-width:none}mark{background:#ffe49a;color:#1d2e26;padding:.02em .08em}.search-equation{font-size:.95rem}
@media(max-width:480px){.reading-block.definition,.reading-block.theorem,.reading-block.proposition,.reading-block.corollary,.reading-block.lemma{padding:.5rem .75rem}.chapter-contents{padding:.75rem}.chapter-neighbours{flex-direction:column}}
@media print{.chapter-neighbours,.passage-links{display:none}.readable-chapter section{break-inside:auto}.readable-chapter figure{break-inside:avoid}}
.source-formal-note{display:block;margin:.8rem 0;padding:.7rem 1rem;border-left:3px solid var(--green);background:var(--sage-surface);overflow-wrap:anywhere}.source-formal-note code{white-space:normal}.seed-axioms>li::marker{content:"S" counter(list-item) ". ";font-weight:700}.readable-chapter h5,.readable-chapter h6{font-size:1rem;line-height:1.4;margin:1.4rem 0 .5rem}
.statement-navigation{margin-top:.75rem;border-top:1px solid var(--line);padding-top:.4rem}.statement-navigation summary{cursor:pointer;min-height:44px;padding:.45rem 0;font-weight:650}.statement-navigation li{display:flex;flex-wrap:wrap;align-items:baseline;gap:0 1rem}.statement-navigation .statement-proof-link{font-size:.9rem}
.project-map{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;margin:1.5rem 0}.map-card{padding:1rem 1.2rem;border:1px solid var(--line);background:var(--surface);border-radius:.3rem}.map-card h3,.route h3{margin:.2rem 0 .7rem}.map-card p{margin:.6rem 0}.map-card a{display:inline-block;padding:.15rem 0}.project-map a:focus-visible{outline-offset:2px}@media(max-width:600px){.project-map{grid-template-columns:1fr}}@media print{.project-map{display:block}.map-card{break-inside:avoid;margin:1rem 0}}

.python-example{max-width:78ch;scroll-margin-top:1rem}.python-code{display:block;box-sizing:border-box;width:100%;max-width:100%;resize:vertical;min-height:15rem;padding:1rem;border:1px solid var(--line);border-radius:.25rem;background:var(--surface);color:var(--ink);font:14px/1.55 ui-monospace,Consolas,monospace;tab-size:4;white-space:pre;overflow:auto}.python-actions{display:flex;flex-wrap:wrap;align-items:center;gap:.7rem;margin:1rem 0}.python-results{max-width:78ch}.python-results pre{min-height:3rem;max-height:30rem;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere}button:disabled{opacity:.6;cursor:default}#python-status{padding:.8rem 1rem;background:var(--sage-surface);border-left:3px solid var(--green);max-width:78ch}[aria-label="Choose a Python example"] a{padding:.5rem .7rem;border:1px solid var(--line);border-radius:.25rem}[aria-label="Choose a Python example"] a[aria-current]{background:var(--green);color:white}@media(max-width:600px){.python-code{font-size:13px;padding:.6rem}.python-actions button{width:100%}}

.python-picker{max-width:78ch;margin:1.5rem 0;padding:1rem 1.2rem;border:1px solid var(--line);border-radius:.3rem;background:var(--surface)}.python-picker label{margin-top:0}.python-picker select{max-width:100%}.python-picker p{font-size:.95rem;margin:.65rem 0 0}.python-expected{margin:1rem 0}.python-expected summary{cursor:pointer;min-height:44px;padding:.45rem 0}.python-expected pre{white-space:pre-wrap;overflow-wrap:anywhere}.python-code:focus-visible{outline:3px solid var(--focus);outline-offset:3px}

.python-files{max-width:78ch;margin:1rem 0;padding:1rem;border:1px solid var(--line);background:var(--surface)}.python-files summary,#python-features-help>summary{cursor:pointer;min-height:44px;font-weight:650}.python-figure{max-width:100%;min-width:0;margin:1.5rem 0;padding:1rem;border:1px solid var(--line);border-radius:.3rem;background:var(--surface)}.python-figure h3{margin-top:0}.python-chart{width:100%;height:470px;min-width:0;overflow:hidden}.python-figure img{display:block;max-width:100%}.python-figure .python-actions{gap:.6rem 1rem}.python-figure summary{cursor:pointer;min-height:44px}.python-figure table{min-width:22rem}.python-figure .table-scroll{max-height:24rem}.python-results{max-width:100%}#python-output,#python-error{max-width:78ch}#python-features-help{max-width:78ch;margin:1.5rem 0;padding:1rem;border:1px solid var(--line)}@media(max-width:600px){.python-chart{height:390px}.python-figure{padding:.6rem}.python-figure .python-actions button{width:auto}.python-files{padding:.75rem}}
.python-figure{background:#fff}.python-figure h3{font-size:1.35rem;line-height:1.4;overflow-wrap:anywhere}.python-chart{height:520px}.python-chart-3d{height:640px}.python-chart-large{height:800px}.python-chart .main-svg{max-width:none;height:100%}.python-series{display:flex;flex-wrap:wrap;gap:.3rem .8rem;border:0;padding:.4rem 0 1rem;margin:0;min-width:0}.python-series legend{font-size:.95rem;color:var(--muted)}.python-series label{display:flex;align-items:center;gap:.5rem;margin:0;padding:.35rem .6rem;border:1px solid var(--line);border-radius:.3rem;min-height:44px;font-size:1rem;cursor:pointer}.python-series input{width:1.15rem;height:1.15rem;min-height:0;margin:0;accent-color:var(--green)}.python-series-swatch{display:inline-block;width:1.4rem;border-top:3px solid;flex-shrink:0}@media(max-width:600px){.python-chart{height:460px}.python-chart-3d{height:540px}.python-chart-large{height:700px}.python-series{gap:.3rem}.python-series label{padding:.3rem .45rem}.python-figure h3{font-size:1.2rem}}@media(forced-colors:active){.python-series label{border-color:CanvasText}.python-series-swatch{border-color:CanvasText!important}}

/* Quick glossary lookup leaves the complete reference available below. */
.glossary-lookup{margin:1.5rem 0;padding:1rem 1.25rem;border:1px solid var(--line);border-radius:.3rem;background:var(--surface)}
.glossary-lookup h2{margin-top:0}.glossary-actions{display:flex;flex-wrap:wrap;gap:.7rem;margin:1rem 0}.glossary-actions button{margin:0}
#glossary-form{display:grid;gap:.5rem;max-width:42rem}#glossary-form label{font-weight:650}#glossary-form input,#glossary-form select{box-sizing:border-box;width:100%;max-width:none;min-width:0;min-height:44px;font:inherit;padding:.55rem;border:1px solid var(--control-edge);border-radius:.25rem;background:var(--paper);color:inherit}#glossary-form .glossary-actions{margin:.5rem 0 0}
.glossary-aliases{font-size:.9rem;color:var(--muted)}#glossary-results .glossary-example{border-left:3px solid var(--green);padding-left:.8rem}
.glossary-return{font-size:.9rem}.glossary-return a{display:inline-block;min-height:44px;padding:.4rem 0}
#glossary-status,.glossary-subject{color:var(--muted)}#glossary-results{list-style:none;padding:0}#glossary-results li{padding:.8rem 0;border-top:1px solid var(--line)}#glossary-results h4{font-size:1.2rem;margin:0}#glossary-results h4 a{display:inline-block;min-height:44px;padding:.4rem 0}#glossary-results p{margin:.4rem 0}.glossary-subject{font-size:.9rem}
#glossary-form[hidden],#glossary-status[hidden],#glossary-matches[hidden],#glossary-results li[hidden]{display:none}
@media(max-width:540px){.glossary-lookup{padding:1rem}.glossary-actions button{flex:1 0 100%}}
@media print{.glossary-lookup{display:none}}

/* Notation is readable as a static reference. Search and math display enhance it. */
#notation-search,.notation-filter{display:grid;grid-template-columns:minmax(0,1fr);gap:.65rem;max-width:52rem;margin:2rem 0;padding:1.3rem;border:1px solid var(--line);border-radius:.6rem}
#notation-search input:not([type=checkbox]),#notation-search select,.notation-filter input,.notation-filter select{width:100%;min-width:0;min-height:2.8rem;font:inherit;padding:.55rem;border:1px solid var(--control-edge);border-radius:.25rem;background:var(--paper);color:inherit}
#notation-search label,.notation-filter label{font-weight:650}
#notation-search label[for=notation-exact]{display:flex;align-items:center;gap:.7rem;min-height:44px;cursor:pointer}
#notation-search #notation-exact{width:1.25rem;height:1.25rem;min-height:0;flex:0 0 auto;margin:0;padding:0;accent-color:var(--green)}
#notation-search button,.notation-filter button,.notation-entry button,#notation-more{min-height:2.75rem;padding:.5rem .9rem;font:inherit;cursor:pointer}
.notation-work-list{display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,20rem),1fr));gap:1rem}
.notation-work-list article{padding:1rem;border:1px solid var(--line);border-radius:.4rem}
.notation-work-list h3{margin-top:0}
.notation-entry{border:1px solid var(--line);border-radius:.35rem;margin:.7rem 0;padding:.8rem 1rem;scroll-margin-top:1rem;content-visibility:auto;contain-intrinsic-size:auto 70px}
.notation-entry[open]{content-visibility:visible}
.notation-entry summary{cursor:pointer;min-height:2.75rem;overflow-wrap:anywhere}
.notation-entry summary code{font-size:1.15rem;white-space:pre-wrap;overflow-wrap:anywhere}
.notation-entry summary>span{display:block;font-size:.9rem;margin:.4rem 0 0 1.2rem}
.notation-entry pre{max-width:100%;overflow-x:auto;white-space:pre-wrap;overflow-wrap:anywhere}
.notation-display,.notation-result-math{font-size:1.35rem;overflow-x:auto;padding:.5rem 0}
.notation-aliases,.notation-excerpt{overflow-wrap:anywhere}
.notation-passages{padding-left:1.25rem}
.notation-location-list{max-height:26rem;overflow:auto;padding:1rem 1rem 1rem 2.5rem;border:1px solid var(--line)}
.notation-location-list li{margin:.45rem 0;overflow-wrap:anywhere}
#notation-results{list-style:none;padding:0}
#notation-results>li{margin:1rem 0;padding:1.2rem;border:1px solid var(--line);border-radius:.4rem;overflow-wrap:anywhere}
#notation-results h2{font-size:1.2rem;margin:0}
[hidden].notation-entry,[hidden]#notation-more{display:none}
@media print{#notation-search,.notation-filter,.notation-entry button,#notation-more{display:none}.notation-entry{content-visibility:visible}}

/* Keep the search itself ahead of the reference inventory. */
.notation-heading h1{font-size:clamp(2.4rem,4vw,3.4rem);margin:.5rem 0 .8rem}
.notation-heading p{margin:.5rem 0}.notation-links{font-size:.95rem}
#notation-search.notation-search-clean{display:block;max-width:56rem;margin:1.3rem 0;padding:1.1rem 1.25rem;background:var(--surface)}
.notation-query-row{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:.8rem;align-items:end}
.notation-query-row>div{min-width:0}
#notation-search.notation-search-clean label{margin:0 0 .3rem}
#notation-search.notation-search-clean input:not([type=checkbox]),#notation-search.notation-search-clean select{max-width:none;background:var(--paper)}
#notation-search.notation-search-clean button{margin:0}
.notation-controls{display:flex;flex-wrap:wrap;gap:.7rem 1.1rem;align-items:end;margin-top:.85rem}
.notation-work-control{flex:1;min-width:min(100%,13rem);max-width:29rem}
#notation-options{padding:.3rem 0}
#notation-options>summary{min-height:2.3rem;cursor:pointer;padding:.3rem 0}
#notation-options[open]{flex-basis:100%;order:3;border-top:1px solid var(--line);padding-top:.65rem}
#notation-options[open] select{max-width:29rem!important}
#notation-search.notation-search-clean label[for=notation-exact]{margin-top:.5rem}
#notation-search button.notation-clear{background:transparent;color:var(--green);border-color:transparent;text-decoration:underline;text-underline-offset:.18em}
#notation-search p#notation-help{font-size:.9rem;margin:.55rem 0 0;color:var(--muted)}
#notation-search button.notation-example{display:inline;background:transparent;color:var(--green);border:0;padding:.1rem .2rem;min-height:2rem;text-decoration:underline;text-underline-offset:.18em;font:inherit}
#notation-status{font-size:.95rem;color:var(--muted);margin:1rem 0}
#notation-results{max-width:56rem}
#notation-results>li{padding:1rem 1.2rem;margin:.8rem 0;background:var(--paper)}
#notation-results h2{font-size:1.35rem;line-height:1.35}
#notation-results .notation-result-meta{font-size:.9rem;color:var(--muted);margin:.35rem 0 .6rem}
#notation-results .notation-result-math{margin:.3rem 0;padding:.3rem 0;font-size:1.2rem;overflow-y:hidden}
#notation-results .notation-excerpt{font-size:1rem;line-height:1.55;margin:.55rem 0}
#notation-results .notation-result-actions{font-size:.9rem;margin:.45rem 0}
.notation-spellings{font-size:.9rem;margin-top:.4rem}.notation-spellings summary{min-height:2.2rem;cursor:pointer;padding:.25rem 0}
.notation-spellings ul{margin:.4rem 0;padding-left:1.4rem}.notation-spellings li{overflow-wrap:anywhere}
.notation-browse{border-top:1px solid var(--line);max-width:76rem;margin:1.2rem 0;padding:.8rem 0}
.notation-browse>summary{font-size:1.1rem;font-weight:650;min-height:44px;cursor:pointer;padding:.35rem 0}
.notation-browse .notation-work-list{margin-top:.8rem}
@media(max-width:540px){#notation-search.notation-search-clean{padding:.9rem}.notation-query-row{grid-template-columns:minmax(0,1fr)}.notation-query-row>button{width:100%}.notation-work-control{max-width:none;flex-basis:100%}#notation-results>li{padding:.9rem}.notation-heading h1{font-size:2.5rem}}

/* Shared navigation stays in document flow, including when expanded. */
.site-header{align-items:flex-start}
.site-header .brand{flex-shrink:0}
.site-navigation{display:block;flex:1;min-width:0}
.site-navigation-bar{display:flex;align-items:center;justify-content:flex-end;gap:.5rem}
.site-navigation-bar>a,.site-navigation-bar>button{min-height:44px;padding:.45rem .8rem}
.site-navigation-bar>button{font-size:1rem;background:var(--surface);color:var(--green);border:1px solid var(--line)}
.site-navigation-bar>button:hover{border-color:var(--green)}
.site-navigation-bar>button[aria-expanded=true] span{display:inline-block;transform:rotate(180deg)}
.site-menu-panel{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;border-top:1px solid var(--line);margin-top:.8rem;padding-top:.8rem}
.site-nav-label{font-size:.85rem;font-weight:750;color:var(--muted);margin:0 0 .3rem}
.site-menu-panel ul{list-style:none;padding:0;margin:0}
.site-menu-panel li+li{margin-top:0}
.site-menu-panel a{display:block;min-height:44px;padding:.4rem .2rem;overflow-wrap:anywhere}
.page-contents{max-width:72ch;background:var(--surface);border:1px solid var(--line);border-radius:.3rem;margin:0 0 1.5rem;padding:.25rem .9rem}
.page-contents summary{cursor:pointer;font-weight:650;min-height:44px;padding:.45rem 0}
.page-contents nav{display:block}
.page-contents ul{list-style:none;padding:0;margin:.25rem 0 .5rem;columns:2;column-gap:1.5rem}
.page-contents li{break-inside:avoid;margin:0}
.page-contents a{display:block;padding:.4rem .2rem;min-height:44px}
h1,h2,h3,h4{overflow-wrap:anywhere}
@media(max-width:760px){
  .site-header{gap:.65rem}
  .site-navigation{width:100%}
  .site-navigation-bar{justify-content:flex-start;flex-wrap:wrap}
  .site-navigation-bar>a:first-child{padding-left:0}
  h1{font-size:clamp(2rem,7vw,2.7rem)}
}
@media(max-width:540px){.site-menu-panel{grid-template-columns:1fr 1fr}.page-contents ul{columns:1}}
@media(max-width:360px){.site-menu-panel{grid-template-columns:1fr}}
@media(forced-colors:active){.site-navigation-bar>button,.page-contents{border:1px solid ButtonText}}
@media print{.page-contents{display:none}}

/* Direct source navigation avoids stepping through every line number. */
.source-navigation{max-width:48rem;margin:1rem 0}
.source-navigation>p{margin:.5rem 0}
.source-navigation a,#source-end a{display:inline-block;min-height:44px;padding:.4rem 0}
.source-jump{padding:1rem 1.2rem;background:var(--surface);border:1px solid var(--line);border-radius:.3rem}
.source-jump[hidden]{display:none}
.source-jump label{margin-top:0}
.source-jump>div{display:flex;flex-wrap:wrap;gap:.75rem;align-items:center}
.source-jump input{width:10rem;max-width:100%;min-width:0}
.source-jump button{margin:0}
.source-jump p{margin:.6rem 0 0}
.source-lines>code>span[id]:focus{outline:2px solid var(--focus);outline-offset:-2px}
/* Inline formulas keep their full scale inside the available reading width. */
span.arithmatex{display:inline-block;max-width:100%;vertical-align:middle;overflow-x:auto;overflow-y:hidden;padding:.15em .05em}
span.arithmatex mjx-container svg{max-width:none}
span.arithmatex.math-fits{overflow:visible}
span.arithmatex.math-overflow{border-bottom:1px dashed var(--green)}
@media print{span.arithmatex{display:inline;max-width:none;overflow:visible;padding:0}span.arithmatex.math-overflow{border-bottom:0}}
article div.arithmatex{max-width:100%;overflow-x:auto;padding:.5rem .15rem}
article div.arithmatex mjx-container[display=true]{min-width:min-content}
article div.arithmatex mjx-container svg{max-width:none}
@media(forced-colors:active){.source-jump,.source-lines>code>span[id]:focus{border-color:CanvasText;outline-color:Highlight}}
@media print{.source-navigation,#source-end{display:none}}
/* Paper I's explanatory panels retain the manuscript's reading cues. */
.reading-options{max-width:78ch;margin:1.4rem 0;padding:.8rem 1.2rem;background:var(--surface);border:1px solid var(--line);border-radius:.25rem}
.reading-options label{display:flex;align-items:center;gap:.65rem;min-height:44px;margin:0;cursor:pointer}
.reading-options input{width:1.25rem;min-height:1.25rem;height:1.25rem;margin:0;flex-shrink:0;accent-color:var(--green)}
.reading-options p{font-size:.9rem;line-height:1.6;margin:.3rem 0}
@media print{.reading-options{display:none}}
.reading-block.readerroadmap,.reading-block.microexample,.reading-block.hypothesisguide,.reading-block.sectionrecap,.reading-block.warningbox,.reading-block.classicalinput{border-left:3px solid var(--green);padding:.6rem 1.2rem;margin:1.3rem 0;background:var(--surface)}
.reading-block.readerroadmap,.reading-block.microexample{background:var(--sage-surface)}
.reading-block.warningbox{border-left-style:double;border-left-width:5px}
.readable-chapter dt{font-weight:650;margin-top:1rem}
.readable-chapter dd{margin:.3rem 0 1rem 1.2rem}
.paper-conclusions{list-style:none;padding-left:0}
.paper-conclusions .conclusion-label{font-weight:650}
.paper-conclusions li>p:first-of-type{display:inline}
@media(forced-colors:active){.reading-block{border-color:CanvasText}}
.reading-navigation{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);gap:.6rem 1rem;position:relative;margin:1.25rem 0 1rem;padding:1rem 0;border-block:1px solid var(--line);align-items:center}
.reading-position{display:contents}
.reading-position>span:first-child{grid-column:1;grid-row:1;font-size:.9rem;font-weight:650;color:var(--muted)}
.reading-position>span:last-child{grid-column:3;grid-row:1;text-align:right;font-size:.9rem;color:var(--muted);font-variant-numeric:tabular-nums}
.reading-steps{grid-column:1/-1;grid-row:2;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.75rem}
.reading-navigation .reading-step{display:flex;flex-direction:column;justify-content:center;gap:.2rem;min-width:0;min-height:82px;padding:.65rem .9rem;border:1px solid var(--line);border-radius:.25rem;background:var(--surface);text-decoration:none;overflow-wrap:anywhere}
.reading-navigation .reading-step:hover{border-color:var(--green);background:var(--sage-surface)}
.reading-step-label{font-size:.8rem;font-weight:650;letter-spacing:.02em}
.reading-step-title{font-size:.95rem;line-height:1.45;text-decoration:underline;text-underline-offset:.18em}
.reading-next{text-align:right;align-items:flex-end}
.reading-menu,.reading-menu-link{grid-column:2;grid-row:1;min-width:0}
.reading-menu>summary{cursor:pointer;min-height:44px;padding:.5rem .75rem;border:1px solid var(--line);border-radius:.25rem;background:var(--surface);color:var(--green);font-size:.95rem;font-weight:600;white-space:nowrap}
.reading-menu[open]>summary{border-color:var(--green);background:var(--sage-surface)}
.reading-menu-panel{position:absolute;top:3.8rem;left:0;right:0;z-index:7;background:var(--surface);border:1px solid var(--green);border-radius:.25rem;padding:.7rem 1rem 1rem;max-height:60vh;overflow-y:auto;box-shadow:0 .4rem 1.2rem #223c2e1a}
.reading-navigation[data-reading-placement=bottom] .reading-menu-panel{top:auto;bottom:100%;margin-bottom:.4rem}
.reading-menu-panel>p{margin:.1rem 0 .4rem}
.reading-menu-panel ol{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.2rem .8rem;list-style:none;margin:0;padding:0}
.reading-menu-panel li{margin:0;min-width:0}
.reading-menu-panel a[data-reading-entry]{display:flex;gap:.65rem;align-items:baseline;min-height:44px;padding:.55rem .65rem;font-size:.9rem;line-height:1.5;border-radius:.2rem;overflow-wrap:anywhere}
.reading-menu-panel a[aria-current=page]{background:var(--sage-surface);font-weight:650;outline:1px solid var(--line)}
.reading-entry-number{flex:0 0 2ch;color:var(--muted);font-size:.8rem;font-variant-numeric:tabular-nums}
#site-search{max-width:40rem}.search-primary-fields{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem}.search-primary-fields>div{min-width:0}#site-search .search-primary-fields select{width:100%;min-width:0}.search-extra-options{margin:.8rem 0}.search-extra-options>summary{cursor:pointer;min-height:44px;padding:.5rem 0}.search-actions{display:flex;flex-wrap:wrap;gap:.75rem;margin:1rem 0}.search-actions button{margin:0}.search-actions button[type=reset]{background:var(--surface);color:var(--green);border:1px solid var(--line)}
@media(max-width:640px){.search-primary-fields{grid-template-columns:minmax(0,1fr)}}
.chapter-contents .visual-contents>li{display:grid;grid-template-columns:2ch minmax(0,1fr) auto;gap:.7rem;align-items:baseline;padding:.25rem 0;border-bottom:1px solid var(--line)}
.visual-contents>li:last-child{border-bottom:0}.visual-contents a{overflow-wrap:anywhere}.visual-contents .visual-source-link{font-size:.85rem;color:var(--muted)}
@media(min-width:960px){.chapter-contents.visual-guide-contents{max-width:none}.chapter-contents .visual-contents{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));column-gap:2rem}}
.reading-start{font-size:.9rem;margin:.5rem 0}
.reading-start a{display:inline-block;min-height:44px;padding:.45rem 0}
.reading-outline,.reading-resources{max-width:78ch;border-bottom:1px solid var(--line);margin:.25rem 0}
.reading-outline>summary,.reading-resources>summary{cursor:pointer;min-height:48px;padding:.65rem .1rem;color:var(--green);font-size:.95rem;font-weight:550}
.reading-outline .chapter-contents{margin:.4rem 0 1rem;max-width:none}
.reading-resources>div{padding:.3rem 0 1rem}
.reading-resource-groups{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:.8rem 1.5rem}
.reading-resource-groups h3{font-size:.95rem;margin:.5rem 0 .2rem}
.reading-resource-groups ul{list-style:none;margin:0;padding:0}
.reading-resource-groups li{margin:0}
.reading-resource-groups a{display:inline-block;min-height:44px;padding:.4rem 0;font-size:.9rem}
.reading-resources .reading-options{margin:.75rem 0}
.reading-outline+.reading-resources{margin-bottom:1.8rem}
@media(max-width:640px){.reading-navigation{grid-template-columns:minmax(0,1fr) auto;gap:.5rem}.reading-position>span:last-child{grid-column:2}.reading-menu,.reading-menu-link{grid-column:1/-1;grid-row:2}.reading-menu>summary{text-align:center}.reading-steps{grid-row:3;gap:.5rem}.reading-navigation .reading-step{padding:.65rem;min-height:92px}.reading-step-title{font-size:.87rem}.reading-menu-panel,.reading-navigation[data-reading-placement=bottom] .reading-menu-panel{position:static;margin:.5rem 0 0;max-height:50vh;box-shadow:none}.reading-menu-panel ol{grid-template-columns:1fr}.reading-resource-groups{grid-template-columns:1fr;gap:.4rem}.reading-resource-groups ul{display:flex;flex-wrap:wrap;gap:.2rem 1.2rem}}
@media print{.reading-navigation,.reading-start,.reading-resources{display:none}.reading-outline:not([open]){display:none}}

/* Direct page selection for bounded full-text search results. */
.search-pagination { display:flex; align-items:center; flex-wrap:wrap; gap:.7rem; margin:1rem 0; }
.search-pagination .search-page-choice { display:flex; align-items:center; gap:.4rem; margin:0; font-size:.9rem; }
.search-pagination select { width:auto; min-width:4.3rem; min-height:2.75rem; padding:.4rem; }
.search-pagination button { min-height:2.75rem; padding:.4rem .75rem; }
.search-pagination button:disabled { opacity:.5; cursor:default; }
.search-page-status { font-size:.9rem; white-space:nowrap; }

/* Retain complete bibliography URLs within the reading column on phones. */
.reading-bibliography dd { overflow-wrap:anywhere; }
.reading-bibliography h2 { overflow-wrap:anywhere; }
.readable-chapter .equation-number { display:block; text-align:right; color:var(--muted); font-size:.9rem; margin:.15rem 0 .6rem; }