@font-face{font-family:"Proof Serif";src:local("DejaVu Serif"),url("../vendor/fonts/proof-serif.ttf") format("truetype");font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:"Proof Mono";src:local("DejaVu Sans Mono"),url("../vendor/fonts/proof-mono.ttf") format("truetype");font-weight:400;font-style:normal;font-display:swap}
:root{--paper:#f7f5ef;--white:#fffef9;--ink:#17343c;--muted:#607378;--line:#d8dfd7;--accent:#146e75;--copper:#b65e3b;--soft:#e9efea;--dark:#143740;--danger:#a43c30;--green:#246c4a;--radius:12px;--shadow:0 8px 32px #183a4310}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:20px}body{margin:0;background:var(--paper);color:var(--ink);font-family:Inter,"Avenir Next","DejaVu Sans",Arial,system-ui,sans-serif;font-size:16px;line-height:1.65}a{color:var(--accent);text-underline-offset:4px}a:hover{color:var(--copper)}button,input,select{font:inherit}button,select,input[type=range],input[type=checkbox]{cursor:pointer}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:3px solid #d8894d;outline-offset:4px}button:disabled{opacity:.45;cursor:default}button,.button{border:1px solid var(--line);border-radius:7px;background:var(--white);color:var(--ink);padding:9px 15px;font-size:.86rem;font-weight:650;transition:background .15s,border .15s}button:hover:not(:disabled),.button:hover{background:var(--soft);border-color:#9bb5ac}.button{display:inline-flex;align-items:center;gap:12px;text-decoration:none}.button.primary,button.primary{background:var(--accent);color:white;border-color:var(--accent)}button[aria-pressed=true],button.active{background:var(--accent);color:white;border-color:var(--accent)}button.secondary{background:transparent}.skip-link{position:absolute;left:18px;top:-100px;z-index:100;padding:10px;background:white}.skip-link:focus{top:10px}[hidden]{display:none!important}
[data-site-nav]{background:var(--paper);border-bottom:1px solid var(--line)}.site-bar{max-width:1256px;margin:auto;padding:21px 28px 15px;display:flex;justify-content:space-between;align-items:center;gap:15px}.site-brand{color:var(--ink);font-size:.78rem;font-weight:800;letter-spacing:.1em;display:flex;align-items:center;gap:10px;text-decoration:none}.brand-mark{font-size:25px;line-height:30px;background:var(--ink);color:#fbf9ee;width:32px;text-align:center;border-radius:6px}.brand-sub{font-weight:500;letter-spacing:.14em;color:var(--muted);border-left:1px solid var(--line);padding-left:12px}.source-link{font-size:.8rem;font-weight:600;text-decoration:none;white-space:nowrap}.site-nav{max-width:1256px;margin:auto;padding:0 28px;display:flex;gap:22px;overflow-x:auto;scrollbar-width:thin}.site-nav a{color:var(--muted);padding:9px 0 14px;white-space:nowrap;font-size:.79rem;text-decoration:none;border-bottom:3px solid transparent}.site-nav a span{font-family:"Proof Mono","DejaVu Sans Mono",ui-monospace,monospace;font-size:.68rem;color:#82938c;margin-right:4px}.site-nav a[aria-current=page]{color:var(--accent);font-weight:700;border-color:var(--accent)}
.page-shell{max-width:1256px;margin:auto;padding:44px 28px 64px}.hero{margin:0 0 36px;max-width:930px}.eyebrow{text-transform:uppercase;letter-spacing:.16em;font-weight:750;font-size:.69rem;color:var(--accent);margin:0 0 14px}h1,h2,h3{line-height:1.2;color:var(--ink)}h1{font-family:"Proof Serif","DejaVu Serif",Georgia,"Times New Roman",serif;font-weight:400;letter-spacing:-.04em;font-size:clamp(2.45rem,5.5vw,4.4rem);margin:0 0 20px}h2{font-family:"Proof Serif","DejaVu Serif",Georgia,"Times New Roman",serif;font-weight:400;font-size:clamp(1.55rem,3vw,2rem);letter-spacing:-.025em;margin:0 0 14px}h3{font-size:1.02rem;margin:0 0 10px}.lede{font-size:1.05rem;color:var(--muted);max-width:780px;line-height:1.7;margin:0 0 18px}.hero .formula{display:inline-block;margin:12px 0}.muted,.hint,.caption,figcaption{color:var(--muted);font-size:.84rem}.small{font-size:.83rem}.mono,output,.number{font-family:"Proof Mono","DejaVu Sans Mono",ui-monospace,SFMono-Regular,Consolas,monospace}p{margin:0 0 14px}strong{font-weight:650}code{font-size:.86em;overflow-wrap:anywhere}.lab-layout{display:grid;grid-template-columns:minmax(0,1.5fr) minmax(280px,1fr);gap:22px;align-items:start;margin:24px 0}.panel{border:1px solid var(--line);border-radius:var(--radius);background:var(--white);padding:24px;min-width:0;box-shadow:var(--shadow)}.panel>p:last-child{margin-bottom:0}.wide{grid-column:1/-1}.panel-head{display:flex;justify-content:space-between;align-items:center;gap:15px;margin-bottom:14px}.panel-head h2,.panel-head h3{margin:0}.controls{display:flex;align-items:center;flex-wrap:wrap;gap:10px;margin:14px 0}.controls label{display:flex;align-items:center;gap:8px;font-size:.83rem;font-weight:600}.controls select,.controls input[type=number],.controls input[type=text],select,input[type=number],input[type=text]{background:white;color:var(--ink);border:1px solid #b7c7c0;border-radius:5px;min-height:39px;padding:6px 9px;max-width:100%}.controls input[type=number]{width:90px}input[type=range]{accent-color:var(--accent);max-width:100%}label{font-size:.87rem}label>input[type=range]{vertical-align:middle}canvas.grid-canvas{display:block;width:100%;height:auto;aspect-ratio:12/7;border:1px solid var(--line);border-radius:8px;background:#f5f5ed;touch-action:manipulation}canvas{max-width:100%}svg{max-width:100%}.metrics{display:grid;grid-template-columns:repeat(auto-fit,minmax(130px,1fr));gap:10px;margin:18px 0}.metric{padding:13px 14px;background:var(--soft);border-radius:8px;min-width:0}.metric>span,.metric>small,.metric>label{display:block;color:var(--muted);font-size:.71rem;text-transform:uppercase;letter-spacing:.07em}.metric strong,.metric output{display:block;font-family:"Proof Mono","DejaVu Sans Mono",ui-monospace,monospace;font-size:1.28rem;color:var(--ink);line-height:1.5;overflow-wrap:anywhere}.formula{padding:15px 18px;background:#edf2ed;border-left:3px solid var(--accent);border-radius:0 7px 7px 0;overflow-x:auto;font-size:.94rem}.status{padding:12px 14px;border:1px solid #c4d6cb;border-radius:7px;background:#eff5ef;font-size:.84rem;overflow-wrap:anywhere}.status.warning,.status.bad{color:#813d27;background:#fcf0e4;border-color:#e7c2a5}.status.good{color:#245f43}.status.neutral{background:#f0f2f0;border-color:var(--line)}.proof-steps{counter-reset:proof;display:grid;gap:12px;margin:24px 0;padding:0;list-style:none}.proof-steps>li,.proof-steps>details{background:var(--white);border:1px solid var(--line);border-radius:9px;padding:17px 20px}.proof-steps summary,details summary{cursor:pointer;font-weight:650;color:var(--ink)}details{border-top:1px solid var(--line);padding:14px 0}details p{margin:12px 0 0;font-size:.9rem;color:var(--muted)}details[open] summary{color:var(--accent)}.proof-steps details[open]{border-color:#86afa1}.proof-steps li p{font-size:.9rem;color:var(--muted);margin:6px 0 0}.evidence{padding:22px 24px;background:#eaf0eb;border:1px solid #d5e0d4;border-radius:var(--radius);margin:30px 0 0}.evidence p{font-size:.86rem}.evidence a{display:inline-block;margin-right:18px;font-size:.85rem}.evidence .tag{margin-right:12px}.tag,.badge{display:inline-block;font-size:.65rem;letter-spacing:.07em;text-transform:uppercase;font-weight:700;padding:4px 8px;border:1px solid #c5d5cb;border-radius:5px;color:var(--accent);background:#eff4ed}.legend{display:flex;gap:17px;flex-wrap:wrap;font-size:.75rem;color:var(--muted);margin:12px 0}.legend i{width:10px;height:10px;display:inline-block;margin-right:5px;border-radius:2px}.legend .black{background:#173b43}.legend .ant{background:#d16a3c}.table-wrap{overflow-x:auto}table{border-collapse:collapse;width:100%;font-size:.84rem}th,td{text-align:left;padding:9px 12px;border-bottom:1px solid var(--line)}th{font-size:.72rem;text-transform:uppercase;color:var(--muted);letter-spacing:.04em}pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:.8rem}.katex-display{overflow-x:auto;overflow-y:hidden}.tabs{display:flex;gap:8px;flex-wrap:wrap;margin:20px 0}.tab-panels{margin:20px 0}.section-heading{margin-top:44px}.footer-inner{max-width:1256px;margin:auto;padding:26px 28px;display:flex;gap:25px;justify-content:space-between;color:var(--muted);font-size:.76rem}[data-site-footer]{border-top:1px solid var(--line)}.footer-inner p{margin:0}.error-notice{padding:18px;background:#fff0e8;border:1px solid #ba765a;border-radius:8px}.noscript{margin:20px;padding:15px;background:#fff0d8}
/* Overview: a compact atlas of questions, with meaningful mathematical thumbnails. */
.home-hero{display:grid;grid-template-columns:1.15fr 1fr;gap:60px;align-items:center;padding:22px 0 42px}.home-hero h1{font-size:clamp(3.1rem,6.5vw,5.25rem);line-height:1.06}.home-hero h1 em{color:var(--accent);font-weight:400}.hero-actions{display:flex;gap:12px;flex-wrap:wrap;margin:26px 0}.hero-art{border:1px solid var(--line);border-radius:16px;background:#e9f0e8;padding:16px;position:relative;overflow:hidden}.hero-art canvas{display:block;width:100%;height:auto;border-radius:9px;background:#edf3eb}.hero-art .art-caption{display:flex;justify-content:space-between;align-items:center;padding:13px 5px 0;color:var(--muted);font-size:.73rem}.art-caption button{padding:4px 9px;font-size:.7rem}.intro-strip{display:flex;justify-content:space-between;gap:25px;padding:22px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin-bottom:28px}.intro-strip p{max-width:730px;color:var(--muted);margin:0;font-size:.9rem}.section-number{font-family:"Proof Mono","DejaVu Sans Mono",ui-monospace,monospace;font-size:.72rem;letter-spacing:.06em;color:var(--accent);white-space:nowrap}.route-filter{display:flex;gap:9px;flex-wrap:wrap;margin:0 0 25px}.route-filter button{font-size:.76rem;padding:7px 13px;border-radius:30px}.lab-cards{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:20px}.lab-card{border:1px solid var(--line);border-radius:var(--radius);background:var(--white);overflow:hidden;display:flex;flex-direction:column;transition:transform .2s,box-shadow .2s}.lab-card:hover{transform:translateY(-3px);box-shadow:var(--shadow)}.card-art{height:150px;background:#eaf0e8;border-bottom:1px solid var(--line);padding:16px 22px;display:flex;justify-content:center;align-items:center}.card-art svg{height:118px;width:100%;overflow:visible}.card-body{padding:22px;flex:1;display:flex;flex-direction:column}.card-kicker{display:flex;justify-content:space-between;align-items:center;margin:0 0 13px;font-size:.65rem;color:var(--muted);letter-spacing:.08em;text-transform:uppercase}.lab-card h3{font-family:"Proof Serif","DejaVu Serif",Georgia,serif;font-size:1.6rem;font-weight:400;letter-spacing:-.025em}.lab-card p{font-size:.87rem;color:var(--muted)}.card-task{padding-top:12px;border-top:1px solid var(--line);margin-top:auto;font-size:.78rem;color:var(--ink)}.card-links{display:flex;justify-content:space-between;align-items:center;gap:10px;margin-top:17px}.card-links a{font-size:.81rem;font-weight:650;text-decoration:none}.card-links .paper-link{font-weight:450;color:var(--muted)}.evidence-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:25px;margin:26px 0}.evidence-grid article{border-top:2px solid var(--accent);padding-top:15px}.evidence-grid h3{font-family:"Proof Serif","DejaVu Serif",Georgia,serif;font-size:1.3rem;font-weight:400}.evidence-grid p{font-size:.87rem;color:var(--muted)}.question-route{background:var(--dark);color:#eaf3ea;border-radius:12px;padding:28px;margin:38px 0}.question-route h2{color:#f8f5e9}.question-route p{color:#b5c9c3;font-size:.9rem}.question-route a{color:#94d2c3}.question-links{display:flex;flex-wrap:wrap;gap:12px}.question-links a{padding:8px 13px;border:1px solid #47646a;border-radius:6px;font-size:.8rem;text-decoration:none}
@media(max-width:1000px){.lab-cards{grid-template-columns:repeat(2,minmax(0,1fr))}.home-hero{gap:30px}.lab-layout{grid-template-columns:1fr}.site-nav{gap:19px}.home-hero h1{font-size:3.5rem}}
@media(max-width:640px){.page-shell{padding:28px 17px 40px}.site-bar{padding:16px 17px 10px}.site-nav{padding:0 17px;gap:18px}.site-brand{font-size:.69rem;letter-spacing:.04em}.brand-sub{display:none}.home-hero{grid-template-columns:1fr;gap:15px;padding-top:5px}.home-hero h1{font-size:3.5rem}.hero-art{max-width:520px}.lab-cards{grid-template-columns:1fr}.card-art{height:125px}.intro-strip{flex-direction:column;gap:8px}.panel{padding:17px}.hero{margin-bottom:23px}.metrics{grid-template-columns:repeat(2,minmax(0,1fr))}.controls{gap:8px}.controls label{flex-wrap:wrap}.evidence-grid{grid-template-columns:1fr;gap:15px}.footer-inner{flex-direction:column;padding:23px 17px}.formula{padding:12px}.question-route{padding:22px}.source-link{font-size:.73rem}.hero-actions .button{padding:9px 13px}.card-body{padding:20px}h1{font-size:2.8rem}table{font-size:.76rem}th,td{padding:7px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important;animation:none!important}}
.panel.controls{display:flex;flex-direction:column;align-items:stretch;margin:0}.panel.controls .metrics{width:100%}.panel.controls input[type=range]{width:100%}.panel.controls>label{justify-content:space-between}

code,pre{font-family:"Proof Mono","DejaVu Sans Mono",ui-monospace,monospace}.metric strong,.metric output{min-height:1.5em}