:root{--paper:#f5f2e9;--white:#fffefa;--ink:#1b3038;--muted:#52656e;--line:#d9ded8;--teal:#27685b;--mint:#e4eee7;--rust:#96502e;--sand:#f3e4cc;--blue:#496d89;--shadow:0 8px 28px #233b4510;--radius:18px}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--paper);color:var(--ink);font:16px/1.65 system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}a{color:var(--teal);text-underline-offset:3px}a:hover{text-decoration-thickness:2px}button,input,select,textarea{font:inherit}button,select,input,textarea{max-width:100%}button,.button{border:1px solid var(--teal);border-radius:8px;background:var(--teal);color:white;cursor:pointer;padding:9px 15px;min-height:44px;text-decoration:none;display:inline-flex;align-items:center;justify-content:center;gap:7px}button:hover,.button:hover{filter:brightness(.93)}button.secondary,.button.secondary{background:transparent;color:var(--teal)}button:disabled{cursor:default;opacity:.48}input:not([type=range]):not([type=checkbox]),select,textarea{border:1px solid #9baea8;border-radius:7px;padding:9px 10px;background:var(--white);color:var(--ink);width:100%;min-height:44px}input[type=range]{width:100%;min-height:36px;accent-color:var(--teal)}input[type=checkbox]{accent-color:var(--teal);width:18px;height:18px}label{display:block;font-size:.9rem;font-weight:600;line-height:1.5}label input,label select,label textarea{margin-top:5px}textarea{resize:vertical}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible,textarea:focus-visible{outline:3px solid #a34f23;outline-offset:4px}h1,h2,h3{line-height:1.18;margin:0 0 .65em;letter-spacing:-.025em}h1,h2{font-family:Georgia,"Times New Roman",serif;font-weight:500}h1{font-size:clamp(2.3rem,5vw,4.5rem)}h2{font-size:clamp(1.7rem,3vw,2.4rem)}h3{font-size:1.13rem}p{margin:.7em 0 1em}ul,ol{padding-left:1.35em}li{margin:.45em 0}code,pre{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:.87em}code{overflow-wrap:anywhere}pre{white-space:pre-wrap;overflow-wrap:anywhere;padding:18px;border:1px solid var(--line);border-radius:12px;background:var(--mint)}summary{cursor:pointer;font-weight:600;color:var(--teal);padding:9px 0}details[open]>summary{margin-bottom:9px}hr{border:0;border-top:1px solid var(--line);margin:30px 0}.skip-link{position:fixed;left:12px;top:-100px;z-index:99;background:white;padding:12px}.skip-link:focus{top:12px}.site-header{border-bottom:1px solid var(--line);background:var(--paper)}.header-inner{max-width:1420px;margin:auto;padding:18px 32px;display:flex;align-items:center;gap:30px;flex-wrap:wrap}.brand{display:flex;align-items:center;gap:10px;text-decoration:none;font-size:1.05rem;font-weight:800;color:var(--ink);letter-spacing:.03em}.brand-mark{border:1px solid var(--rust);border-radius:50%;width:37px;height:37px;display:grid;place-items:center;color:var(--rust);font:26px Georgia,serif}.site-nav{display:flex;gap:20px;flex:1;flex-wrap:wrap}.site-nav a{color:var(--ink);text-decoration:none;font-size:.9rem;padding:6px 0}.site-nav a[aria-current=page]{box-shadow:0 2px 0 var(--teal)}.motion-button{font-size:.78rem;min-height:38px;padding:5px 10px;background:transparent;color:var(--muted);border-color:var(--line)}main{max-width:1420px;margin:auto;padding:34px 32px 70px}.eyebrow{display:block;text-transform:uppercase;letter-spacing:.12em;font-size:.7rem;font-weight:800;color:var(--rust);margin-bottom:14px}.hero{display:grid;grid-template-columns:1.3fr 1fr;gap:50px;align-items:center;padding:32px 0 42px}.hero p{font-size:1.08rem;max-width:650px}.hero h1{max-width:750px}.hero-visual{background:var(--ink);border-radius:24px;padding:22px;color:white}.hero-visual svg{display:block;width:100%}.hero-visual .caption{font-size:.8rem;color:#d6e2dc;margin:12px 0 0}.hero-actions{display:flex;gap:12px;flex-wrap:wrap;margin-top:24px}.metrics{display:grid;grid-template-columns:repeat(4,1fr);gap:1px;background:var(--line);border:1px solid var(--line);border-radius:14px;overflow:hidden}.metric-tile{padding:19px 22px;background:var(--white)}.metric-tile strong{display:block;font:2.5rem Georgia,serif;color:var(--teal)}.metric-tile span{font-size:.82rem;color:var(--muted);display:block}.notice{border:1px solid #dcc397;border-left:5px solid var(--rust);border-radius:12px;padding:17px 22px;background:var(--sand);margin:25px 0}.notice p:last-child{margin-bottom:0}.notice.neutral{background:var(--mint);border-color:#bfd3c7;border-left-color:var(--teal)}.section-head{display:flex;align-items:flex-end;justify-content:space-between;gap:24px;margin:54px 0 24px}.section-head p{max-width:550px;color:var(--muted);font-size:.94rem;margin:0}.area-grid{display:grid;grid-template-columns:repeat(4,1fr);gap:10px}.area-card{background:var(--white);border:1px solid var(--line);color:var(--ink);border-radius:12px;display:flex;justify-content:space-between;align-items:center;text-align:left;gap:12px;font-size:.83rem;padding:12px 14px;min-height:75px}.area-card strong{font:1.6rem Georgia,serif;color:var(--teal)}.area-card:hover,.area-card.active{background:var(--mint)}.featured{display:grid;grid-template-columns:repeat(3,1fr);gap:17px}.feature-card{background:var(--white);border:1px solid var(--line);border-radius:var(--radius);padding:25px;box-shadow:var(--shadow)}.feature-card h3{font-family:Georgia,serif;font-size:1.55rem;margin-top:15px}.feature-card p{color:var(--muted);font-size:.93rem}.catalog-layout{display:grid;grid-template-columns:245px minmax(0,1fr);gap:26px;align-items:start}.filters{background:var(--white);padding:20px;border:1px solid var(--line);border-radius:15px;position:sticky;top:16px}.filters label{margin-bottom:18px}.filters .checkbox-row{display:flex;gap:8px;align-items:center;font-weight:500}.filters button{width:100%}.catalog-toolbar{display:flex;gap:15px;justify-content:space-between;align-items:center;margin-bottom:15px}.catalog-toolbar p{margin:0}.tiny{font-size:.77rem;color:var(--muted);line-height:1.55}.muted{color:var(--muted)}.card-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:16px}.catalog-card{background:var(--white);border:1px solid var(--line);border-radius:16px;padding:21px;min-width:0}.catalog-card.selected{border-top:4px solid var(--teal)}.catalog-card h3{margin:13px 0;font-size:1.16rem}.catalog-card h3 a{text-decoration:none;color:var(--ink)}.catalog-card p{font-size:.9rem}.card-top{display:flex;gap:10px;align-items:flex-start;justify-content:space-between}.group-id{font:1.5rem Georgia,serif;color:var(--teal)}.tags{display:flex;gap:6px;flex-wrap:wrap;margin:12px 0}.tag{display:inline-block;padding:4px 8px;border-radius:6px;background:var(--mint);font-size:.71rem;color:#275343;font-weight:650;line-height:1.4}.tag.amber{background:var(--sand);color:#804921}.tag.gray{background:#edf0ec;color:#4b5b62}.tag.red{background:#f4ded6;color:#853a25}.original-claim{font-size:.85rem!important;line-height:1.65;color:var(--muted)}.source-path{display:block;font-size:.72rem;line-height:1.55;color:var(--muted);overflow-wrap:anywhere;margin:8px 0}.paper-row{border-top:1px solid var(--line);padding:12px 0}.paper-row a{font-size:.88rem}.paper-row small{display:block}.pagination{display:flex;justify-content:space-between;align-items:center;margin-top:20px;gap:15px}.page-heading{max-width:1000px;margin:20px 0 35px}.page-heading h1{font-size:clamp(2.3rem,4.5vw,3.8rem)}.page-heading .lead{font-size:1.14rem;color:var(--muted);max-width:900px}.breadcrumbs{font-size:.81rem;color:var(--muted);margin-bottom:23px}.reading-layout{display:grid;grid-template-columns:210px minmax(0,1fr);gap:48px;align-items:start}.toc{position:sticky;top:20px;border-left:2px solid var(--line);padding-left:17px;font-size:.86rem}.toc a{display:block;margin:10px 0;text-decoration:none}.reading-main{max-width:930px;min-width:0}.reading-main>section{margin:0 0 38px;scroll-margin-top:25px}.reading-main h2{font-size:1.85rem;margin-top:25px}.statement{background:var(--white);border:1px solid var(--line);border-radius:15px;padding:25px}.statement .math-line{font-size:1.1rem}.intuitions{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px}.intuition{padding:18px;background:var(--mint);border-radius:12px;font-size:.9rem}.intuition strong{display:block;font-size:.77rem;text-transform:uppercase;letter-spacing:.07em;margin-bottom:8px}.proof-step{padding:17px 0;border-bottom:1px solid var(--line);display:flex;gap:16px}.step-num{font:1.7rem Georgia,serif;color:var(--rust);min-width:23px}.proof-step p{margin:0}.source-box{background:var(--white);border:1px solid var(--line);border-radius:12px;padding:19px;margin:14px 0}.source-box h3{font-size:1rem}.source-box p{font-size:.87rem}.source-links{display:flex;gap:14px;flex-wrap:wrap;font-size:.86rem}.coverage-table,.inventory-table{border-collapse:collapse;width:100%;background:var(--white);font-size:.88rem;margin:20px 0}.coverage-table th,.coverage-table td,.inventory-table th,.inventory-table td{padding:12px 15px;text-align:left;border-bottom:1px solid var(--line);vertical-align:top}.coverage-table th,.inventory-table th{color:var(--teal);font-size:.78rem}.table-scroll{overflow-x:auto;max-width:100%}.project-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:22px}.project-card{background:var(--white);border:1px solid var(--line);border-radius:18px;padding:25px;min-width:0;scroll-margin-top:20px}.project-card h2{font-size:1.9rem}.project-card p{font-size:.92rem}.project-card h3{margin-top:22px;color:var(--teal);font-size:.95rem}.project-card.priority{border-top:4px solid var(--rust)}.project-brief{border-radius:12px;background:var(--mint);padding:15px;font-size:.9rem}.resource-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:20px}.resource-card{padding:24px;border:1px solid var(--line);border-radius:16px;background:var(--white)}.resource-card h2{font-size:1.5rem}.resource-card p{font-size:.9rem}.source-date{font-size:.8rem;color:var(--rust)}.audit-list{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:20px}.audit-box{border:1px solid var(--line);border-radius:14px;background:var(--white);padding:22px}.audit-box h2{font-size:1.6rem}.dependency-panel{padding:25px;background:var(--white);border:1px solid var(--line);border-radius:16px;margin:25px 0}.dependency-panel svg{max-width:100%;display:block}.dependency-panel .legend{font-size:.83rem;color:var(--muted)}.review-questions{padding:20px 25px;background:var(--mint);border-radius:15px}.site-footer{border-top:1px solid var(--line);max-width:1420px;margin:auto;padding:28px 32px 40px;color:var(--muted);font-size:.8rem;display:flex;justify-content:space-between;gap:30px;flex-wrap:wrap}.site-footer p{max-width:820px;margin:0}.site-footer a{margin-right:15px}.demo{background:var(--white);border:1px solid #b5cbc0;border-radius:20px;padding:26px;margin:35px 0;box-shadow:var(--shadow)}.demo-head h2{margin-top:0}.controls{display:flex;gap:18px;align-items:flex-end;flex-wrap:wrap;margin:20px 0}.controls>label{flex:1;min-width:160px}.controls>button{flex:0 0 auto}.demo svg{display:block;width:100%;height:auto;margin:10px 0}.demo-note{font-size:.86rem;padding-top:16px;border-top:1px solid var(--line);color:var(--muted)}.metric{font-size:.96rem;background:var(--mint);padding:13px 16px;border-radius:9px}.svg-text{font:16px system-ui,sans-serif;fill:var(--ink)}.svg-small{font:13px system-ui,sans-serif;fill:var(--muted)}.axis{fill:none;stroke:#aab8b4;stroke-width:1}.threshold{fill:none;stroke:var(--rust);stroke-width:1.3;stroke-dasharray:5 4}.curve{fill:none;stroke:var(--teal);stroke-width:3}.cursor-dot{fill:var(--rust)}.graph-edge{stroke:#79988c;stroke-width:3}.graph-node{fill:var(--teal);stroke:white;stroke-width:2}.node-label{font:14px system-ui,sans-serif;fill:white}.prob-bar{fill:var(--teal)}.table-models{display:grid;grid-template-columns:repeat(auto-fit,minmax(115px,1fr));gap:12px}.table-model{padding:12px;border:1px solid var(--line);border-radius:10px}.table-model table{width:100%;border-collapse:collapse;margin:10px 0;background:var(--mint)}.table-model td{text-align:center;border:2px solid white;font-size:.9rem;padding:4px}.prob-label{font-size:.7rem;margin-top:10px}.prob-track{height:7px;background:#e9ede6;border-radius:4px;overflow:hidden;margin:4px 0}.prob-track span{height:100%;display:block;background:#9fc3ad}.prob-track.alt span{background:#dab99a}.prob-track span.selected{background:var(--teal)}.prob-track.alt span.selected{background:var(--rust)}.two-stats{display:grid;grid-template-columns:1fr 1fr;gap:16px}.two-stats>div{background:var(--mint);border-radius:12px;padding:18px}.two-stats span{display:block;font-size:.8rem}.two-stats strong{display:block;font:2.4rem Georgia,serif}.string-result{display:block;word-break:break-all;margin-top:10px}.substring-list{display:flex;flex-wrap:wrap;gap:8px}.substring-list span{background:var(--paper);border-radius:6px;padding:6px 9px;font-size:.75rem}.step-box{border:1px dashed #9cafa6;border-radius:12px;padding:18px;margin-top:20px}.step-box p{font-size:.9rem}.dp-cell{fill:#e9eee7}.dp-path{fill:#d6b981}.job{fill:var(--teal)}.job-1{fill:var(--blue)}.job-2{fill:var(--rust)}.numerical-disk{fill:#dcebe270;stroke:var(--teal);stroke-width:2.5}.radius-line{stroke:var(--rust);stroke-width:2;fill:none}.convex-body{fill:#b6d4c9aa;stroke:var(--teal);stroke-width:2}.polar-body{fill:#e7c29b88;stroke:var(--rust);stroke-width:2}.math-line{font-family:Georgia,serif;font-size:1.3rem;letter-spacing:.02em}.equation-board{background:var(--ink);color:white;padding:28px;border-radius:16px;margin:25px 0;font-family:Georgia,serif;font-size:1.3rem}.equation-board strong{display:block;font-size:clamp(1.7rem,3vw,2.4rem);color:#d8be87}.empty-state{padding:35px;text-align:center;background:var(--white);border:1px dashed var(--line);border-radius:15px}.no-js{padding:20px;background:var(--sand)}.download-row{display:flex;gap:10px;flex-wrap:wrap;margin:20px 0}.analysis-warning{font-size:.85rem;color:var(--rust)}
@media(max-width:1100px){.hero{gap:25px}.area-grid{grid-template-columns:repeat(3,1fr)}.reading-layout{grid-template-columns:165px minmax(0,1fr);gap:25px}.intuitions{grid-template-columns:1fr}.catalog-layout{grid-template-columns:210px minmax(0,1fr)}.header-inner{gap:18px}.site-nav{gap:14px}.featured{gap:12px}}
@media(max-width:800px){main{padding:24px 18px 50px}.header-inner{padding:16px 18px}.site-nav{order:3;flex-basis:100%;gap:16px}.motion-button{margin-left:auto}.hero{grid-template-columns:1fr;padding-top:15px}.hero-visual{max-width:650px}.metrics{grid-template-columns:repeat(2,1fr)}.area-grid{grid-template-columns:repeat(2,1fr)}.featured{grid-template-columns:1fr}.feature-card h3{font-size:1.45rem}.catalog-layout{grid-template-columns:1fr}.filters{position:static;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px}.filters label{margin:0}.filters .search-label{grid-column:1/-1}.filters button{align-self:end}.card-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.reading-layout{grid-template-columns:1fr}.toc{position:static;display:flex;gap:12px;flex-wrap:wrap;font-size:.78rem}.toc a{margin:0}.project-grid,.resource-grid,.audit-list{grid-template-columns:1fr}.section-head{display:block;margin-top:38px}.section-head p{margin-top:10px}.demo{padding:18px}.controls>label{min-width:140px}.coverage-table th,.coverage-table td,.inventory-table th,.inventory-table td{padding:10px}.site-footer{padding:25px 18px}.page-heading{margin-top:10px}}
@media(max-width:520px){.card-grid{grid-template-columns:1fr}.filters{grid-template-columns:1fr}.area-grid{grid-template-columns:1fr 1fr}.area-card{font-size:.74rem;padding:10px;min-height:80px}.area-card strong{font-size:1.4rem}.metrics .metric-tile{padding:15px}.metrics strong{font-size:2.1rem}.site-nav{gap:12px}.site-nav a{font-size:.79rem}.brand{font-size:.92rem}.motion-button{font-size:.67rem;max-width:140px}.hero-actions .button{width:100%}.two-stats{grid-template-columns:1fr}.catalog-toolbar{display:block}.controls{gap:12px}.controls>label{min-width:100%;flex-basis:100%}.controls button{font-size:.85rem}.pagination{font-size:.8rem}.project-card{padding:20px}.page-heading .lead{font-size:1.05rem}.statement{padding:18px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{animation:none!important;transition:none!important}}
html.reduced-motion{scroll-behavior:auto}html.reduced-motion *{animation:none!important;transition:none!important}
@media print{body{background:white;color:black}.site-header,.toc,.filters,.controls,.site-footer,.hero-visual,.pagination{display:none}main{padding:0;max-width:none}.reading-layout{display:block}.reading-main{max-width:none}.notice,.demo,.statement,.source-box,.project-card{box-shadow:none;break-inside:avoid}.card-grid,.project-grid,.resource-grid{display:block}.catalog-card,.project-card{margin:15px 0}.demo svg{max-height:300px}a{color:inherit}.hero{display:block}h1{font-size:32pt}h2{font-size:23pt}.metrics{grid-template-columns:repeat(4,1fr)}}