:root{color-scheme:light dark;--paper:#f7f5ef;--ink:#222e28;--muted:#5f6a60;--accent:#245442;--line:#d8ded2;--wash:#edf0e7;--code:#eef0e9;--serif:"Iowan Old Style", "Palatino Linotype", "Book Antiqua", Georgia, serif;--sans:-apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--mono:"SFMono-Regular", Consolas, "Liberation Mono", monospace}@media(prefers-color-scheme:dark){:root:not([data-theme=light]){--paper:#171c1a;--ink:#e6e9df;--muted:#aab5aa;--accent:#a7cfb8;--line:#37423a;--wash:#202a23;--code:#202723}}:root[data-theme=dark]{--paper:#171c1a;--ink:#e6e9df;--muted:#aab5aa;--accent:#a7cfb8;--line:#37423a;--wash:#202a23;--code:#202723}:root[data-theme=light]{color-scheme:light}:root[data-theme=dark]{color-scheme:dark}*{box-sizing:border-box}html{scroll-padding-top:2rem}body{margin:0;background:var(--paper);color:var(--ink);font:16px/1.65 var(--sans);-webkit-font-smoothing:antialiased}a{color:inherit;text-decoration-color:var(--line);text-underline-offset:.2em}a:hover{color:var(--accent);text-decoration-color:initial}a,button{-webkit-tap-highlight-color:transparent}:focus-visible{outline:2px solid var(--accent);outline-offset:5px}::selection{background:var(--accent);color:var(--paper)}.shell{width:min(1100px,calc(100% - 96px));margin-inline:auto}.site-header{display:flex;justify-content:space-between;align-items:center;min-height:124px;border-bottom:1px solid var(--line);gap:2rem}.wordmark{display:flex;gap:14px;align-items:center;text-decoration:none;line-height:1.4;font-size:16px;font-weight:550}.monogram{font:42px/1 var(--serif);color:var(--accent)}.wordmark-sub{display:block;font-size:12px;font-weight:400;color:var(--muted);letter-spacing:.07em}.site-header nav{display:flex;align-items:center;gap:28px;font-size:13px}.site-header nav>a{text-decoration:none;padding-block:12px}.framing-note{margin-block:22px 0;padding:12px 16px;border-left:2px solid var(--accent);background:var(--wash);color:var(--ink);font-size:13px;font-weight:550}.theme-toggle{color:var(--muted);background:0 0;border:1px solid var(--line);border-radius:50%;width:40px;height:40px;padding:0;cursor:pointer}.theme-toggle:hover{color:var(--accent);border-color:var(--accent)}.theme-toggle[hidden]{display:none}.theme-symbol{font-size:21px;line-height:1}.theme-label{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%)}.skip-link{position:absolute;left:24px;top:-100px;z-index:10;background:var(--paper);padding:8px 16px}.skip-link:focus{top:12px}.eyebrow{display:flex;align-items:center;gap:10px;color:var(--muted);font-size:11px;text-transform:uppercase;letter-spacing:.12em;line-height:1.6;font-weight:550}.tiny-rule{display:inline-block;width:27px;border-top:1px solid var(--accent)}h1,h2,h3,p{margin-top:0}h1,h2,h3{font-family:var(--serif);font-weight:400}h1{font-size:clamp(43px,5.6vw,72px);line-height:1.08;letter-spacing:-.035em}h2{font-size:32px;line-height:1.2;letter-spacing:-.02em}h3{font-size:24px;line-height:1.3;letter-spacing:-.01em}.hero{padding:66px 0 54px}.hero h1{margin:26px 0 30px;max-width:1e3px}.hero h1 em{color:var(--accent);font-weight:400}.hero-bottom{display:flex;justify-content:space-between;align-items:flex-end;gap:40px}.hero-copy{max-width:640px;color:var(--muted);font-size:16px;line-height:1.8}.hero-copy p{margin-bottom:14px}.hero-copy p:last-child{margin-bottom:0}.hero-note{flex-shrink:0;display:flex;gap:17px;align-items:center;padding:16px 0 2px 26px;border-left:1px solid var(--line);font:19px/1.45 var(--serif)}.note-mark{font-size:42px;color:var(--accent)}.note-detail{display:block;font:11px/1.5 var(--sans);color:var(--muted);margin-top:3px}.results-section{border-top:1px solid var(--line);padding-top:32px}.section-heading{display:flex;justify-content:space-between;align-items:baseline;gap:16px;margin-bottom:33px}.section-heading h2{margin:0}.section-meta{color:var(--muted);font-size:11px;letter-spacing:.08em;text-transform:uppercase}.result-group{margin-bottom:38px}.group-heading{display:flex;align-items:baseline;gap:15px;padding:0 0 13px;border-bottom:1px solid var(--line)}.group-number{font:italic 16px var(--serif);color:var(--accent);width:28px}.group-heading h3{flex:1;margin:0}.group-count{font-size:11px;color:var(--muted)}.result-list{list-style:none;margin:0;padding:0}.result-list li{border-bottom:1px solid var(--line)}.result-link{display:flex;align-items:center;gap:15px;padding:20px 13px 20px 0;text-decoration:none;transition:background .15s}.result-link:hover{background:var(--wash)}.entry-number{width:28px;flex-shrink:0;color:var(--muted);font:11px var(--mono);align-self:flex-start;padding-top:8px}.result-text{flex:1;min-width:0}.result-title{display:block;font:23px/1.3 var(--serif);letter-spacing:-.01em}.result-summary{display:block;color:var(--muted);font-size:13px;line-height:1.65;margin-top:5px}.result-arrow{font-size:19px;color:var(--accent)}.home-notes{display:grid;grid-template-columns:1.1fr 1fr;gap:90px;border-top:1px solid var(--line);margin-top:57px;padding:48px 0 68px}.home-notes h2{margin:18px 0;font-size:31px}.home-notes p{color:var(--muted);font-size:14px;line-height:1.8}.progress-list{list-style:none;padding:0;margin:27px 0 16px}.progress-list li{display:flex;justify-content:space-between;gap:15px;padding:13px 0;border-top:1px solid var(--line);font-family:var(--serif);font-size:19px}.progress-list li:last-child{border-bottom:1px solid var(--line)}.progress-state{font:11px/2 var(--sans);color:var(--muted);white-space:nowrap}.site-footer{display:flex;justify-content:space-between;gap:20px;color:var(--muted);border-top:1px solid var(--line);padding:26px 0 33px;font-size:11px}.site-footer a{text-decoration:none}.index-page{padding:58px 0}.index-page h1{margin:22px 0}.index-intro{max-width:620px;color:var(--muted);margin-bottom:45px}.table-scroll{overflow-x:auto}.registry-table{width:100%;min-width:880px;border-collapse:collapse;font-size:12px;line-height:1.7}.registry-table caption{text-align:left;color:var(--muted);margin-bottom:16px}.registry-table th,.registry-table td{padding:16px 12px;border-bottom:1px solid var(--line);text-align:left;vertical-align:top;overflow-wrap:anywhere}.registry-table thead th{border-top:1px solid var(--line);color:var(--muted);font-weight:550}.registry-table tbody th{width:18%;font:18px/1.5 var(--serif)}.registry-table td:nth-child(2){width:22%}.registry-table td:nth-child(3){width:16%}.registry-table td:nth-child(4){width:12%}.registry-id{font-family:var(--mono);overflow-wrap:anywhere}.theorem-names{list-style:none;margin:0;padding:0}.theorem-names li+li{margin-top:8px}.theorem-names code{font:11px/1.7 var(--mono);overflow-wrap:anywhere}.breadcrumb{display:flex;gap:10px;color:var(--muted);font-size:11px;padding-top:28px}.breadcrumb a{text-decoration:none}.result-header{padding:48px 0 43px;border-bottom:1px solid var(--line)}.result-header h1{max-width:870px;margin:23px 0 24px;font-size:clamp(39px,5vw,63px)}.eyebrow-separator{padding:0 4px;opacity:.65}.result-deck{max-width:720px;color:var(--muted);font:20px/1.6 var(--serif);margin-bottom:0}.article-layout{display:grid;grid-template-columns:195px minmax(0,1fr);gap:60px;padding-top:42px}.article-nav{align-self:start;position:sticky;top:30px;display:flex;flex-direction:column;gap:10px;font-size:12px}.article-nav .eyebrow{margin-bottom:8px}.article-nav>a{color:var(--muted);text-decoration:none;width:fit-content}.article-nav>a:hover{color:var(--accent)}.prose{min-width:0;max-width:790px;font:18px/1.8 var(--serif)}.prose h2{margin:43px 0 18px;font-size:30px}.prose>h2:first-child{margin-top:0}.prose p{margin-bottom:19px}.prose ul{margin:0 0 23px;padding-left:22px}.prose li{padding-left:4px;margin-bottom:10px}.prose a{color:var(--accent)}.prose strong{font-weight:600}.prose code{font:.76em/1.7 var(--mono);background:var(--code);padding:.14em .3em;border-radius:3px;overflow-wrap:anywhere}.prose blockquote{margin:26px 0;padding:20px 28px;border-left:2px solid var(--accent);background:var(--wash);color:var(--accent);font-size:22px;line-height:1.55}.prose blockquote p{margin:0}.code-note{font:13px/1.8 var(--sans);color:var(--muted)}.code-heading{display:flex;justify-content:space-between;align-items:baseline;gap:15px;padding:12px 15px 10px;border:1px solid var(--line);border-bottom:0;font:11px/1.7 var(--mono);color:var(--muted);margin-top:21px;overflow-wrap:anywhere}.code-heading a{white-space:nowrap;font-family:var(--sans)}.prose pre{border:1px solid var(--line);margin:0 0 22px;padding:20px 18px;background:var(--code);overflow-x:auto;font:12px/1.85 var(--mono);tab-size:2}.prose pre code{background:0 0;padding:0;border-radius:0;font:inherit;white-space:pre;overflow-wrap:normal}.source-panel{margin:48px 0 12px;padding:26px 28px 18px;border:1px solid var(--line)}.source-panel h2{margin:13px 0 25px;font-size:27px}.source-panel dl{display:grid;grid-template-columns:110px minmax(0,1fr);column-gap:22px;row-gap:13px;font:12px/1.8 var(--sans)}.source-panel dt{color:var(--muted)}.source-panel dd{margin:0;overflow-wrap:anywhere}.commit-link{font-family:var(--mono)}.source-panel .theorem-names{margin:0;padding:0}.source-panel .theorem-names li{margin-bottom:0;padding-left:0}.source-note{font:12px/1.8 var(--sans);color:var(--muted);margin:22px 0 0}.return-nav{display:flex;justify-content:space-between;gap:24px;border-top:1px solid var(--line);margin-top:55px;padding:26px 0 44px;font-size:12px}.return-nav a{text-decoration:none}.return-nav>span{color:var(--muted);font-size:11px}.error-page{padding:90px 0 150px}.error-page h1{margin:28px 0}.error-page p{color:var(--muted)}.muted{color:var(--muted)}@media(max-width:900px){.hero-note{display:none}.hero-copy{max-width:650px}.home-notes{gap:45px}.article-layout{grid-template-columns:145px minmax(0,1fr);gap:35px}}@media(max-width:640px){.shell{width:calc(100% - 40px)}.site-header{min-height:95px;gap:15px}.wordmark{font-size:14px;gap:9px}.wordmark-sub{font-size:10px}.monogram{font-size:32px}.site-header nav{gap:15px;font-size:12px}.theme-toggle{width:34px;height:34px}.hero{padding:45px 0 35px}.hero h1{font-size:clamp(36px,7.9vw,50px);line-height:1.13;margin:23px 0}.hero-copy{font-size:14px}.section-heading{flex-wrap:wrap;gap:10px;margin-bottom:28px}.section-heading h2{font-size:28px}.section-meta{font-size:10px}.group-heading{gap:10px}.group-heading h3{font-size:20px}.group-count{font-size:10px}.group-number{width:20px}.result-link{gap:10px;padding:18px 5px 18px 0}.entry-number{width:20px;padding-top:5px;font-size:10px}.result-title{font-size:21px}.result-summary{font-size:12px;margin-top:6px}.home-notes{grid-template-columns:1fr;gap:28px;margin-top:35px;padding:35px 0 40px}.home-notes h2{font-size:28px}.site-footer{flex-direction:column;gap:10px;font-size:11px;padding:22px 0 30px}.result-header{padding:32px 0}.result-header h1{font-size:39px}.result-deck{font-size:19px}.article-layout{grid-template-columns:1fr;gap:30px;padding-top:25px}.article-nav{flex-direction:row;flex-wrap:wrap;gap:10px 18px;position:static;border-bottom:1px solid var(--line);padding-bottom:22px}.article-nav .eyebrow{flex-basis:100%;margin-bottom:1px}.prose{font-size:17px}.prose h2{font-size:27px}.prose blockquote{font-size:20px;padding:18px}.prose pre{font-size:11px;padding:16px 12px}.code-heading{padding-inline:12px;font-size:10px}.source-panel{padding:22px 18px}.source-panel dl{grid-template-columns:86px minmax(0,1fr);gap:13px}.return-nav{flex-direction:column;gap:12px}.index-page{padding-top:40px}}@media(prefers-reduced-motion:reduce){*{transition:none}}@media print{body{background:#fff;color:#000}.shell{width:100%}.site-header nav,.article-nav,.return-nav,.skip-link{display:none}.article-layout{display:block}.prose{max-width:none}.prose pre{white-space:pre-wrap;overflow-wrap:anywhere}.prose pre code{white-space:pre-wrap}}