:root{font-family:Inter,ui-sans-serif,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;color:#172749;background:#f4f6fb;font-size:16px;line-height:1.6;--ink:#172749;--muted:#5b6982;--line:#dce2ed;--blue:#314ee4;--purple:#7755d6;--teal:#067560;--amber:#99520a;--dark:#142348;--white:#fff}*{box-sizing:border-box}body{margin:0}button,input,select,textarea{font:inherit}button,a,input,select{touch-action:manipulation}button{cursor:pointer}button:disabled{cursor:default}a{color:#304cc6;text-underline-offset:4px}button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible,summary:focus-visible,textarea:focus-visible{outline:3px solid #c46018;outline-offset:4px}button{border:1px solid var(--line);border-radius:8px;padding:10px 16px;background:white;color:var(--ink);min-height:44px}button:hover{border-color:var(--blue)}header{background:var(--dark);color:white;padding:18px max(24px,calc((100vw - 1320px)/2));display:flex;justify-content:space-between;align-items:center;gap:20px}.brand{color:white;text-decoration:none;display:flex;align-items:center;gap:13px;font-size:.875rem;font-weight:700;letter-spacing:.055em}.brand small{display:block;font-size:.8rem;font-weight:400;letter-spacing:0;color:#b9c8e3}.brand-symbol{font-family:Georgia,serif;font-size:2.6rem;line-height:1;color:#99ddd2}.header-actions{display:flex;align-items:center;gap:26px}.edition{font-size:.8rem;color:#c0cce2}.quiet{background:transparent;color:white;border-color:#52617f}.quiet:hover{border-color:white}main{max-width:1320px;padding:32px 28px 0;margin:auto}.intro{display:flex;justify-content:space-between;gap:30px;align-items:center;margin-bottom:28px}.kicker{font-size:.75rem;letter-spacing:.095em;font-weight:700;color:var(--blue);margin:0 0 8px}h1{font-family:Georgia,"Times New Roman",serif;font-weight:400;font-size:clamp(1.9rem,3vw,2.7rem);line-height:1.15;letter-spacing:-.035em;margin:0 0 9px}h2{font-size:clamp(1.35rem,2vw,1.8rem);line-height:1.3;letter-spacing:-.035em;margin:0}h3{font-size:1.05rem;margin:0 0 16px}p{margin:0 0 16px}.intro p:last-child{margin:0;color:var(--muted)}.research-link{white-space:nowrap;font-size:.875rem}.tabs{display:flex;border-bottom:1px solid #bfc9dc;margin-bottom:30px;gap:8px;overflow-x:auto}.tabs button{border:0;border-radius:0;background:transparent;white-space:nowrap;font-size:.85rem;display:flex;gap:10px;padding:14px 15px;color:var(--muted);border-bottom:3px solid transparent}.tabs button[aria-pressed=true]{border-color:var(--blue);color:var(--blue);font-weight:700}.tabs button:hover{background:#e8edf9}.view-heading{display:flex;align-items:center;justify-content:space-between;gap:20px;margin-bottom:24px}.model-label{font-size:.8rem;color:var(--muted)}.presets{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin-bottom:22px}.presets button{text-align:left;border-radius:10px;padding:16px 20px;display:grid;gap:4px}.presets span{font-size:.875rem;font-weight:600}.presets strong{font-size:1.7rem;font-weight:600;line-height:1.3;letter-spacing:-.04em}.presets small{font-size:.8rem;color:var(--muted)}.presets .selected{border-color:var(--blue);box-shadow:inset 0 0 0 1px var(--blue);background:#edf0ff}.workbench{display:grid;grid-template-columns:280px minmax(0,1fr);border:1px solid var(--line);border-radius:12px;overflow:hidden;background:white}.controls{padding:25px;background:#fafbfe;border-right:1px solid var(--line);min-width:0}.controls label{font-size:.875rem;font-weight:600;display:flex;justify-content:space-between;gap:10px;margin:16px 0 8px}.controls h3+label{margin-top:0}.controls output{font-weight:500;color:var(--blue);text-align:right}.controls select{width:100%;background:white;border:1px solid #bcc7da;border-radius:6px;padding:9px;color:var(--ink);min-height:44px;font-size:.875rem}input[type=range]{width:100%;margin:4px 0 14px;accent-color:var(--blue);min-height:24px}.small{font-size:.875rem;color:var(--muted);line-height:1.55}.controls>.small{margin-top:20px;margin-bottom:0}.result-panel{padding:28px 30px;min-width:0}.result-top{display:flex;align-items:center;justify-content:space-between;gap:18px}.badge{font-size:.75rem;font-weight:750;letter-spacing:.055em;padding:6px 10px;border-radius:5px;display:inline-block;color:#065645;background:#d7f1e8}.badge.outside{color:#86420a;background:#ffead2}.badge.exact{color:#5331a0;background:#efe7ff}.headline-result{display:flex;justify-content:space-between;align-items:center;gap:24px;margin:23px 0 8px}.metric-label{font-size:.875rem;color:var(--muted);display:block}.headline-result strong{display:block;font-size:clamp(2.1rem,4vw,3.1rem);font-weight:500;letter-spacing:-.055em;line-height:1.35;font-variant-numeric:tabular-nums}.answer-count{border-left:1px solid var(--line);padding-left:25px}.answer-count strong{font-size:1.5rem}.answer-count span{font-size:.8rem;color:var(--muted)}svg{display:block;width:100%;height:auto;overflow:visible}svg text{font-family:inherit;fill:#5b6982;font-size:14px}svg .dark-text{fill:#172749}.legend{display:flex;flex-wrap:wrap;gap:9px 17px;margin:0 0 24px;font-size:.8rem;color:var(--muted)}.legend span{display:flex;gap:7px;align-items:center}.swatch{width:9px;height:9px;display:inline-block;border-radius:2px}.explanation{font-size:1rem;line-height:1.6;margin:0 0 25px}.query-strip{padding-top:20px;border-top:1px solid var(--line)}.chart-label{display:flex;justify-content:space-between;gap:12px;font-size:.8rem}.chart-label span{color:var(--muted)}.insight{margin-top:18px;padding:18px 21px;border-left:3px solid var(--purple);background:#f3f0fb}.insight>span{font-size:.75rem;font-weight:700;letter-spacing:.065em;color:#6143a6}.insight p{margin:8px 0 0;font-size:.925rem}.assumptions{border:1px solid var(--line);border-radius:10px;background:white;margin-top:18px;padding:0 22px}.assumptions summary{padding:16px 0;font-size:.925rem;font-weight:600;cursor:pointer}.detail-grid{display:grid;grid-template-columns:1fr 1fr;gap:0 32px;padding:8px 0}.detail-grid p{font-size:.925rem;color:var(--muted)}.detail-grid p a{display:inline-block}.area-plot{background:var(--dark);border-radius:10px;padding:12px;margin:20px 0}.area-plot svg text{fill:#d6e1f5}.row-bank{display:flex;justify-content:space-between;align-items:center;border-top:1px solid var(--line);padding-top:18px;margin-top:20px;gap:15px;flex-wrap:wrap}.row-bank strong{font-variant-numeric:tabular-nums;font-size:.875rem;background:#eaf0ff;padding:6px 9px;border-radius:5px}.inline-metrics{display:grid;grid-template-columns:1fr 1fr;gap:20px;margin-top:20px}.inline-metrics div{border-top:1px solid var(--line);padding-top:12px}.inline-metrics strong{display:block;font-size:1.3rem;margin-top:5px}.inline-metrics span{font-size:.875rem;color:var(--muted)}.threshold-chart{margin:25px 0}.button-row{display:flex;flex-wrap:wrap;gap:10px;margin-top:15px}.table-wrap{overflow-x:auto}table{width:100%;border-collapse:collapse;font-size:.875rem}th{text-align:left;font-weight:600}th,td{padding:11px 10px;border-bottom:1px solid var(--line);font-variant-numeric:tabular-nums}.witness-table{margin-top:20px}.theorem{background:var(--dark);color:white;padding:30px;border-radius:12px;margin:0 0 24px}.theorem .kicker{color:#9edfd3}.theorem .formula{font-family:Georgia,serif;font-size:clamp(1.2rem,2.7vw,2.1rem);line-height:1.6;margin:16px 0;overflow-wrap:anywhere}.theorem p{color:#c4d1e7;max-width:920px;margin-bottom:0}.term{color:#9edfd3}.concept-grid{display:grid;grid-template-columns:1fr 1fr;gap:18px}.concept-card{border:1px solid var(--line);background:white;border-radius:10px;padding:25px}.concept-card .number{font-family:Georgia,serif;font-size:1.5rem;color:var(--purple)}.concept-card h3{font-size:1.15rem;margin:7px 0 12px}.concept-card p{font-size:.925rem;color:var(--muted)}.concept-card .formula{font-family:Georgia,serif;color:var(--ink);font-size:1.1rem}.concept-card label{font-size:.875rem;font-weight:600}.concept-card select{padding:8px;border:1px solid #bbc8db;border-radius:6px;margin:8px 8px 10px 0;background:white;color:var(--ink);min-height:44px;max-width:100%}.span-two{grid-column:1/-1}.exponents{display:flex;flex-wrap:wrap;gap:6px;margin:12px 0}.exponents span{background:#edf0fa;border-radius:4px;padding:4px 8px;font-size:.875rem}.proof-links{display:grid;grid-template-columns:1fr 1fr;gap:14px}.proof-links a{padding:22px 24px;background:white;border:1px solid var(--line);border-radius:10px;text-decoration:none;font-weight:600}.proof-links a small{display:block;color:var(--muted);font-size:.875rem;font-weight:400;margin-top:8px}.evidence-note{padding:24px;border-left:3px solid var(--blue);background:#eaf0fd;margin:25px 0}.evidence-note p:last-child{margin:0}.file-label{display:inline-block;border:1px solid var(--line);border-radius:8px;padding:10px 16px;cursor:pointer;background:white}.file-label:focus-within{outline:3px solid #c46018;outline-offset:4px}.file-label input{max-width:210px;font-size:.875rem;display:block;margin-top:8px}.share-area{padding:22px;border:1px solid var(--line);margin-top:20px;background:white;border-radius:10px}.share-area label{display:block;margin-bottom:8px}.share-area textarea{width:100%;padding:10px;border:1px solid var(--line);border-radius:5px;font-size:.875rem}.share-area p{margin:8px 0 0}#message{min-height:24px;margin:16px 0}footer{border-top:1px solid var(--line);padding:22px 0 28px;display:flex;flex-wrap:wrap;gap:12px 26px;color:var(--muted);font-size:.8rem}footer span{margin-right:auto}.skip{position:absolute;top:-100px;background:white;padding:10px;z-index:5}.skip:focus{top:10px}.noscript{padding:20px;background:#fff1d9}section[hidden]{display:none}button.active{border-color:var(--blue);color:var(--blue);background:#edf0ff}@media(max-width:1050px){.tabs{gap:0}.tabs button{padding:12px 11px;font-size:.8rem}.workbench{grid-template-columns:250px minmax(0,1fr)}.result-panel{padding:24px}.model-label{display:none}.chart-label{flex-wrap:wrap}.edition{display:none}}@media(max-width:760px){header{padding:16px 20px}.brand{font-size:.75rem;letter-spacing:.02em}.brand-symbol{font-size:2.2rem}.brand small{font-size:.75rem}.quiet{font-size:.8rem;padding:8px 10px}main{padding:25px 18px 0}.intro{display:block}.research-link{display:inline-block;margin-top:14px}.tabs{margin-bottom:24px}.tabs button{font-size:.875rem;padding:13px 15px}.tabs button:first-child{padding-left:0}.view-heading{margin-bottom:20px}.presets{gap:8px}.presets button{padding:12px}.presets span{font-size:.8rem}.presets strong{font-size:1.3rem}.presets small{display:none}.workbench{grid-template-columns:1fr}.controls{border-right:0;border-bottom:1px solid var(--line);padding:20px;display:grid;grid-template-columns:1fr 1fr;gap:8px 18px}.controls h3,.controls>.small{grid-column:1/-1}.controls h3{margin:0}.controls>label{margin:10px 0 0}.controls>select{align-self:end}.control-pair{min-width:0}.controls label{font-size:.875rem;flex-wrap:wrap;gap:3px}.controls input{margin-bottom:2px}.result-panel{padding:22px 18px}.headline-result{gap:15px}.answer-count{padding-left:15px}.answer-count strong{font-size:1.3rem}.result-top{align-items:flex-start}.result-top .small{font-size:.8rem}.detail-grid,.concept-grid,.proof-links{grid-template-columns:1fr}.span-two{grid-column:auto}.theorem{padding:23px}.concept-card{padding:22px}.row-bank{gap:6px}.row-bank strong{padding:5px 7px}.headline-result strong{font-size:2.3rem}.legend{font-size:.8rem;gap:7px 12px}.inline-metrics{gap:14px}.inline-metrics strong{font-size:1.1rem}.tabs{scrollbar-width:thin}.query-strip svg,.threshold-chart svg{min-width:0}}@media(max-width:400px){.brand small{display:none}.brand-symbol{font-size:1.9rem}.presets strong{font-size:1.13rem}.presets span{font-size:.75rem}.controls{grid-template-columns:1fr}.controls h3,.controls>.small{grid-column:auto}.answer-count span{font-size:.75rem}.headline-result strong{font-size:2rem}.badge{font-size:.7rem}.intro h1{font-size:1.9rem}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important}}@media print{header{background:white;color:black}.brand{color:black}.brand small{color:#444}.header-actions,.tabs,.controls,.button-row,#share-area,#message{display:none}.view[hidden]{display:block}.view{break-before:page}.view:first-of-type{break-before:auto}.workbench{display:block}.intro{margin-bottom:15px}.presets{display:none}.result-panel{padding:20px}.theorem,.area-plot{print-color-adjust:exact}.concept-grid{display:block}.concept-card{margin:15px 0;break-inside:avoid}details{break-inside:avoid}footer{display:none}}

@media(max-width:760px){#budget text,#queries text,#answer-sets text{font-size:28px}#region text{font-size:23px}.chart-label span{display:none}}
.reading{max-width:920px;margin:auto;background:white;padding:38px;border:1px solid var(--line);border-radius:12px}.reading h2{margin-top:32px;margin-bottom:16px}.reading h3{margin-top:25px}.reading pre{white-space:pre-wrap;overflow-wrap:anywhere;background:#edf1fa;padding:18px;border-radius:8px}.reading table{display:block;overflow-x:auto}.reading p{margin-bottom:18px}.reading code{font-size:.9em}.reading li{margin:8px 0}@media(max-width:760px){.reading{padding:24px 20px}}