:root{color-scheme:light;--paper:#f7f6f0;--ink:#24333c;--blue:#234c6e;--teal:#217577;--line:#d6ddd9;--muted:#58656b}
*{box-sizing:border-box}html{scroll-padding-top:1.5rem}body{margin:0;background:var(--paper);color:var(--ink);font:19px/1.68 Georgia,"Times New Roman",serif}a{color:#135f83;text-underline-offset:.18em;text-decoration-thickness:1px}a:hover{color:var(--teal)}a:focus-visible,button:focus-visible,input:focus-visible,summary:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--teal);outline-offset:4px}p{margin:1rem 0}code{font-size:.83em;overflow-wrap:anywhere}h1,h2,h3,h4{font-family:system-ui,sans-serif;line-height:1.23;color:var(--blue);text-wrap:balance}h1{font-size:2.35rem;margin:0 0 1.8rem;max-width:32ch}h2{font-size:1.5rem;margin:2.8rem 0 1rem}h3{font-size:1.15rem;margin:2rem 0 .7rem}h4{font-size:1rem;margin:1.8rem 0 .6rem}li{margin:.3rem 0}section[id],div[id],span[id],mtr[id]{scroll-margin-top:1.5rem}section:target>h1,section:target>h2,section:target>h3,.numbered-equation:target,.bibliography-entry:target{background:#fff0bf}
.masthead{max-width:1280px;margin:auto;padding:2rem 3rem 1.6rem;border-bottom:1px solid var(--line);display:grid;grid-template-columns:1fr auto;gap:.8rem 2rem}.brand{font:650 1.05rem/1.28 system-ui,sans-serif;text-decoration:none;color:var(--blue)}.edition-label{margin:0;align-self:center;font:12px/1.4 system-ui,sans-serif;text-transform:uppercase;letter-spacing:.13em;color:var(--muted)}nav{display:flex;flex-wrap:wrap;gap:.6rem 1.6rem;font:14px/1.5 system-ui,sans-serif}.masthead nav{grid-column:1/-1}.reading-layout{max-width:1280px;margin:auto;display:grid;grid-template-columns:minmax(0,1fr);gap:2.5rem;padding:2.5rem 3rem 4rem}.reading-layout main{min-width:0;max-width:900px;width:100%;margin:auto}.page-contents{font:14px/1.55 system-ui,sans-serif;border-bottom:1px solid var(--line);padding-bottom:1rem;width:100%;max-width:900px;margin:auto}.page-contents summary{cursor:pointer;font-weight:650;color:var(--blue)}.page-contents ol{list-style:none;padding-left:0;columns:2;column-gap:2rem}.page-contents li{break-inside:avoid;margin:.5rem 0}.page-contents .depth-3{padding-left:1rem;font-size:13px}.skip-link{position:absolute;top:-5rem;left:1rem;padding:.5rem 1rem;background:white;z-index:10}.skip-link:focus{top:1rem}
.edition-intro{padding:1rem 0 2.5rem;border-bottom:1px solid var(--line)}.edition-intro h1{font-size:clamp(2.5rem,5.2vw,4rem);letter-spacing:-.045em;line-height:1.08;max-width:21ch}.eyebrow,.part-number{font:12px/1.4 system-ui,sans-serif;letter-spacing:.16em;text-transform:uppercase;color:var(--teal)}.subtitle{font-style:italic;font-size:1.25rem;color:var(--muted);max-width:40ch}.lede{font-size:1.2rem;max-width:65ch}.edition-actions{display:flex;gap:1rem 1.5rem;flex-wrap:wrap;align-items:center;font:15px/1.5 system-ui,sans-serif;margin-top:2rem}.primary-link{padding:.8rem 1.1rem;background:var(--blue);border-radius:3px;color:white;text-decoration:none}.primary-link:hover{color:white;background:var(--teal)}.contents-part{border-top:1px solid var(--line);padding:1.4rem 0 1rem}.contents-part h3{font-size:1.3rem;margin:.5rem 0 .8rem}.contents-part>p:not(.part-number){font-size:1rem;color:var(--muted)}.contents-part ol{list-style:none;padding:0}.contents-part li{padding:.3rem 0}.contents-end,.edition-note{border-top:1px solid var(--line);margin-top:1rem;padding-top:1rem}.edition-note p{font-size:.95rem;color:var(--muted)}.edition-search{padding:1rem 0 2rem}.edition-search h2{margin-top:1.5rem}.edition-search label{display:block;font:14px/1.5 system-ui,sans-serif;margin-bottom:.6rem}.search-controls{display:flex;gap:.6rem}.search-controls input{min-width:0;flex:1;padding:.75rem .8rem;background:white;border:1px solid #96a5a9;border-radius:3px;font:16px/1.4 system-ui,sans-serif}.search-controls button{padding:.7rem 1rem;border:1px solid var(--blue);border-radius:3px;background:var(--blue);color:white;font:15px/1.4 system-ui,sans-serif;cursor:pointer}.search-controls button[type=reset]{background:transparent;color:var(--blue)}.search-controls button:disabled{opacity:.45;cursor:default}#edition-search-status{font:13px/1.5 system-ui,sans-serif;color:var(--muted)}#edition-search-results{list-style:none;padding:0}#edition-search-results li{border-top:1px solid var(--line);padding:.8rem 0}#edition-search-results li>p{font-size:.95rem;margin:.3rem 0}.edition-search-source{font:12px/1.5 system-ui,sans-serif!important;color:var(--teal)}
.byline{margin:1.4rem 0 1.7rem;font:16px/1.6 system-ui,sans-serif}.byline span{display:block}.byline .author{font-weight:650;color:var(--blue)}.byline .affiliation{font-size:14px;color:var(--muted)}
.abstract{font-size:1rem;border-left:3px solid var(--line);padding:.1rem 1.2rem 1rem;margin-bottom:2.6rem}.abstract h2{font-size:1rem;margin:.8rem 0}.theorem,.proposition,.lemma,.corollary,.definition,.remark,.question{border-left:3px solid var(--teal);padding:.4rem 1.25rem;background:#edf2ed;margin:1.8rem 0}.question{background:#f2eee3;border-color:#af6c23}.proof{padding:0 .2rem}.numbered-equation{display:flex;align-items:center;gap:1rem;width:100%;margin:1.3rem 0;overflow-x:auto}.numbered-equation>math{flex:1;min-width:max-content}.equation-number{font-style:normal;white-space:nowrap;font-size:.9em}.aligned-equations{display:block;overflow-x:auto;max-width:100%;margin:1.3rem 0}.aligned-equations math{min-width:max-content}.align-number{padding-left:2rem!important}math[display=block]{display:block;overflow-x:auto;max-width:100%;padding:.5rem 0}figure{margin:2.2rem 0;padding:1rem;background:white;border:1px solid var(--line)}figure img{display:block;width:100%;height:auto}figure p{margin:0}figcaption{font-size:.92rem;line-height:1.5;margin-top:1rem}figcaption math{font-size:1em}.table-scroll{overflow-x:auto;margin:1.6rem 0}table{border-collapse:collapse;width:100%;font:14px/1.6 system-ui,sans-serif}th,td{border-bottom:1px solid var(--line);padding:.65rem .8rem;vertical-align:top;min-width:100px}th{text-align:left;background:#e7eee8}td p:first-child,th p:first-child{margin-top:0}td p:last-child,th p:last-child{margin-bottom:0}.bibliography-entry{font-size:1rem;overflow-wrap:anywhere;padding:.2rem 0}.bibliography-entry+.bibliography-entry{border-top:1px solid var(--line)}.chapter-nav{display:grid;grid-template-columns:1fr 1fr;gap:2rem;margin-top:4rem;padding-top:1.5rem;border-top:1px solid var(--line)}.chapter-nav a{max-width:36ch}.chapter-nav a:last-child{text-align:right;justify-self:end}.chapter-nav span{display:block;font-size:11px;letter-spacing:.1em;text-transform:uppercase;color:var(--muted);margin-bottom:.4rem}.evidence-group{border-top:1px solid var(--line);margin-top:2rem;padding-top:.2rem}.evidence-group ul{padding-left:1.2rem;font:14px/1.6 system-ui,sans-serif;overflow-wrap:anywhere}.evidence-limit{border-left:3px solid #af6c23;padding-left:1rem;font-size:1rem;color:var(--muted)}.file-size{font-size:11px;white-space:nowrap;color:var(--muted)}footer{max-width:1280px;margin:auto;padding:1.7rem 3rem 2.5rem;border-top:1px solid var(--line);font:13px/1.65 system-ui,sans-serif;color:var(--muted)}footer p{max-width:100ch}
@media(min-width:1250px){.reading-layout:has(.page-contents){grid-template-columns:240px minmax(0,1fr)}.page-contents{position:sticky;top:1.5rem;align-self:start;max-height:calc(100vh - 3rem);overflow-y:auto;border-bottom:0}.page-contents ol{columns:1}}
@media(max-width:700px){body{font-size:17px}.masthead{padding:1.5rem 1.1rem;gap:.9rem}.reading-layout{padding:2rem 1.1rem 3rem;gap:1.5rem}.edition-label{font-size:10px;max-width:12ch}h1{font-size:1.9rem}h2{font-size:1.35rem}.page-contents ol{columns:1}.search-controls{flex-wrap:wrap}.search-controls input{flex-basis:100%}.edition-intro h1{font-size:2.6rem}.numbered-equation{gap:.5rem}figure{padding:.6rem}.chapter-nav{gap:1rem;font-size:13px}footer{padding:1.5rem 1.1rem}.table-scroll{font-size:.9rem}}
@media print{body{background:white;font-size:11pt}.masthead,.reading-layout,footer{max-width:none;padding:1rem}.masthead nav,.page-contents,.chapter-nav,.edition-search,.skip-link{display:none}.reading-layout{display:block!important}a{color:inherit}.table-scroll{overflow:visible}figure,.proposition,.theorem{break-inside:avoid}}