@import url('https://fonts.googleapis.com/css2?family=DM+Sans:wght@400;500;600;700&family=Space+Grotesk:wght@400;500;600;700&display=swap');
.proof-panel{background:#101b32!important;color:#eaf0ff}.proof-panel .eyebrow{color:#59d6c7}.proof-panel .scope{color:#b7c4da;border-color:#34435d}.proof-panel button{background:#1c2b44;color:#edf2fc;border-color:#3b4b64}.proof-panel button:hover{background:#2a3e5d}.proof-panel button:focus-visible{outline-color:#59d6c7}.proof-lead{max-width:730px;color:#bac8df}.chip{font-size:13px;white-space:normal;color:#acdcd6}.rank-layout{display:grid;grid-template-columns:240px 1fr;gap:35px;align-items:center;margin:28px 0}.rank-big{display:flex;align-items:center;gap:20px}.rank-big>span{font:600 78px/1 'Space Grotesk',sans-serif;color:#59d6c7;letter-spacing:-.07em}.rank-big>div{font-size:13px;line-height:1.4;color:#b7c4da}.rank-track{height:6px;background:#263750;border-radius:6px;overflow:hidden}.rank-track>div{height:100%;width:100%;background:#59d6c7;transition:width .25s}.rank-detail p{font-size:14px}.game-controls{display:flex;gap:9px;flex-wrap:wrap}.game-controls button{font-size:14px}.ages{display:grid;grid-template-columns:repeat(6,1fr);gap:14px}.age{border-top:1px solid #34435d;padding-top:12px;font-size:14px}.age>strong{font:600 25px 'Space Grotesk',sans-serif}.age>span{display:block;color:#bac8df;font-size:13px}.age-track{height:4px;margin-top:12px;background:#263750}.age-track>div{height:100%;background:#7fb6ff}.age.urgent .age-track>div{background:#ffb481}.small-label{font-size:12px;letter-spacing:.13em;margin-top:28px;color:#bac8df}.moves{display:grid;grid-template-columns:repeat(6,1fr);gap:10px}.moves button{padding:13px 8px;line-height:1.3}.moves button strong{font:600 22px 'Space Grotesk',sans-serif}.moves button small{display:block;font-size:12px;margin-top:8px;font-weight:400}.moves button:disabled{opacity:.7}.path{min-height:52px;display:flex;flex-wrap:wrap;gap:4px;padding-top:20px}.path span{font:600 13px 'Space Grotesk',sans-serif;background:#24364e;min-width:22px;padding:2px 4px;text-align:center;border-radius:3px}.verify-box{display:flex;gap:20px;align-items:center;justify-content:space-between;border-top:1px solid #34435d;margin-top:24px;padding-top:22px}.verify-box p{font-size:14px;color:#bac8df;margin:4px 0}.verification-status{font-size:14px;color:#7ee5c9}.verification-status.error{color:#ffb3b3}.download-links{display:flex;flex-wrap:wrap;gap:16px}.lean-verified{color:var(--teal);font-weight:600}.lean-explanation{max-width:850px}.lean-math{font-family:monospace;padding:16px;background:#e7edf5;border-radius:8px;overflow:auto;font-size:14px}@media(max-width:750px){.rank-layout{grid-template-columns:1fr;gap:20px}.rank-big>span{font-size:64px}.ages,.moves{grid-template-columns:repeat(3,1fr)}.verify-box{align-items:start;flex-direction:column}.chip{display:block}}
:root{color-scheme:light;--ink:#101b32;--muted:#526079;--paper:#f4f7fb;--line:#d5dce8;--teal:#08796e;--accent:#59d6c7;--red:#b42335;--a:#235bc2;--b:#8a3aa1;--c:#006e64;--d:#a55b08;--e:#b0335a;--f:#192a46;font-family:'DM Sans',sans-serif;color:var(--ink);background:var(--paper)}*{box-sizing:border-box}body{margin:0;font-size:16px;line-height:1.6}button,select{font:inherit}button,a,select{touch-action:manipulation}button,select{border:1px solid var(--line);border-radius:8px;background:white;color:var(--ink);padding:9px 14px}button{cursor:pointer;font-weight:600}button:hover{background:#e5eef5}button:disabled{opacity:.5;cursor:not-allowed}button:focus-visible,a:focus-visible,select:focus-visible{outline:3px solid var(--teal);outline-offset:3px}a{color:var(--teal)}header{max-width:1240px;margin:auto;padding:25px 36px;display:flex;align-items:center;gap:32px;border-bottom:1px solid var(--line)}header>a:last-child{margin-left:auto;font-size:14px}.brand{font-family:'Space Grotesk',sans-serif;font-weight:700;text-decoration:none;letter-spacing:.09em;color:var(--ink)}.brand span{font-weight:400;color:var(--teal)}.meta{color:var(--muted);font-size:14px}main{max-width:1240px;margin:auto;padding:28px 36px 60px}.intro{max-width:880px;padding:7px 0 26px}h1,h2,h3{font-family:'Space Grotesk',sans-serif;line-height:1.16;margin:0 0 16px}h1{font-size:clamp(32px,4.4vw,54px);letter-spacing:-.04em}h2{font-size:27px;letter-spacing:-.025em}h3{font-size:20px}.intro p:not(.eyebrow){font-size:18px;max-width:790px;color:var(--muted);margin:0}.eyebrow{font-size:12px;letter-spacing:.14em;font-weight:700;color:var(--teal);margin:0 0 13px}.workspace{background:white;border-radius:16px;padding:28px;margin:0 0 26px;box-shadow:0 7px 35px #101b3208}.section-top{display:flex;justify-content:space-between;align-items:center;gap:16px}.controls{display:flex;flex-wrap:wrap;gap:24px;align-items:end;margin:14px 0 24px}.controls label{display:flex;flex-direction:column;gap:5px;font-size:14px;font-weight:600}.timeline{display:grid;grid-template-columns:repeat(18,minmax(0,1fr));gap:5px}.day{position:relative;padding:8px 0 6px;background:var(--task);color:white;border:0;border-radius:5px;font-family:'Space Grotesk',sans-serif}.day span{display:block;font-size:19px;font-weight:700}.day small{display:block;font-size:12px;opacity:.85}.day:hover{background:var(--task);filter:brightness(1.13)}.day.current{outline:3px solid var(--ink);outline-offset:2px;transform:translateY(-4px)}.day.violation{box-shadow:inset 0 -5px #ffac4c}.status{border-left:4px solid var(--teal);padding:12px 16px;margin-top:24px;background:#f0faf7}.status.bad{border-left-color:var(--red);background:#fff1f1}.task-gaps{display:grid;grid-template-columns:repeat(6,1fr);gap:12px;margin-top:18px}.gap{border-top:3px solid var(--task);padding:12px 4px}.gap strong{font:700 24px 'Space Grotesk',sans-serif}.gap small{display:block;color:var(--muted);font-size:13px}.gap.bad{color:var(--red)}.applications{padding:30px 0}.application-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:30px;margin-top:26px}.application-grid p{color:var(--muted)}.scope{font-size:14px;color:var(--muted);border-top:1px solid var(--line);padding-top:18px}.evidence{border-top:1px solid var(--line);padding-top:28px}.evidence p,footer{font-size:14px;color:var(--muted)}footer{max-width:1240px;margin:auto;padding:20px 36px;border-top:1px solid var(--line)}@media(max-width:750px){header{padding:18px 20px}.meta{display:none}main{padding:24px 16px}.workspace{padding:20px}.section-top{align-items:start;flex-direction:column}.timeline{grid-template-columns:repeat(9,minmax(0,1fr));gap:5px}.task-gaps{grid-template-columns:repeat(3,1fr)}.application-grid{grid-template-columns:1fr;gap:16px}.controls{gap:12px}h2{font-size:24px}.intro p:not(.eyebrow){font-size:16px}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;transition:none!important}}

.example-word{font-family:monospace;font-size:clamp(16px,3vw,28px);font-weight:700;letter-spacing:.04em;color:var(--teal,#08796e);line-height:1.8;overflow-wrap:anywhere}summary{cursor:pointer;font-weight:600;margin-top:20px}

header nav{margin-left:auto;display:flex;gap:22px;font-size:14px}
.theorem-section{scroll-margin-top:20px}.map-intro{max-width:850px;color:var(--muted);margin-bottom:25px}
.tour-tabs{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:8px;margin-bottom:28px}.tour-tabs button{display:flex;align-items:start;gap:10px;text-align:left;font-size:14px;line-height:1.35;padding:14px 12px;background:#f5f8fb}.tour-tabs button>span{border:1px solid var(--line);border-radius:50%;min-width:26px;height:26px;text-align:center;line-height:24px;font-size:12px}.tour-tabs button[aria-pressed=true]{background:var(--ink);color:white;border-color:var(--ink)}.tour-tabs button[aria-pressed=true]>span{background:var(--accent);color:var(--ink);border-color:var(--accent)}
.tour-panel{max-width:930px;margin:auto}.tour-panel h3{font-size:clamp(23px,3vw,30px);max-width:800px}.tour-panel h4{font-size:18px;margin:10px 0}.tour-panel p{max-width:850px}.tour-muted{color:var(--muted);font-size:14px}.tour-controls{display:flex;flex-wrap:wrap;align-items:end;gap:12px;margin:18px 0}.tour-controls label{display:grid;gap:5px;font-size:14px;font-weight:600}.tour-controls button{font-size:14px}.tour-slider{display:grid;grid-template-columns:1fr auto;gap:10px;font-size:14px;font-weight:600;margin:22px 0 18px}.tour-slider input{grid-column:1/-1;width:100%;accent-color:var(--teal)}.tour-slider output{color:var(--teal)}.tour-panel input:focus-visible{outline:3px solid var(--teal);outline-offset:4px}.tour-panel input{min-width:0}
.tour-window{display:grid;grid-template-columns:repeat(18,minmax(0,1fr));gap:4px}.tour-day{display:grid;text-align:center;background:#edf1f6;border-radius:5px;padding:7px 0;line-height:1.3}.tour-day small{font-size:11px;color:var(--muted)}.tour-day b{font-size:17px}.tour-day.hit{background:var(--teal);color:white}.tour-day.hit small{color:#d5fff2}.tour-day.cycle-boundary{border-left:3px solid #bf7211}.tour-verdict{background:#eef9f5;border-left:4px solid var(--teal);padding:14px 18px;margin:18px 0;font-size:15px}.tour-verdict.negative{background:#fff1f1;border-color:var(--red);color:#812636}.tour-check-grid{display:grid;grid-template-columns:repeat(6,1fr);gap:8px}.tour-check-grid>div{display:grid;gap:5px;border-top:2px solid var(--teal);padding:10px 0;font-size:13px}.tour-check-grid .fails{border-color:var(--red);color:var(--red)}.tour-takeaway{background:#101b32;color:#eaf0ff;border-radius:10px;padding:20px 22px;margin:24px 0 14px}.tour-takeaway>strong{color:#72e2d3;font-size:14px}.tour-takeaway p{margin:7px 0 0}.tour-caution{font-size:14px;color:var(--muted)}
.tour-proof-rule{padding:20px 24px;background:#f1f5fa;border-radius:10px;margin:22px 0}.tour-proof-rule ol{padding-left:23px}.tour-proof-rule li{margin:8px 0}.tour-proof-rule>p{margin-bottom:0}.tour-experiment{border:1px solid var(--line);border-radius:12px;padding:22px;margin:24px 0}.tour-state-heading{display:flex;justify-content:space-between;align-items:center;gap:20px;margin:24px 0}.tour-state-heading>div:first-child{display:grid;min-width:110px}.tour-state-heading strong{font:600 30px 'Space Grotesk',sans-serif}.tour-state-heading span{font-size:13px;color:var(--muted)}.tour-state-heading .tour-controls{margin:0}.tour-ages{display:grid;grid-template-columns:repeat(6,1fr);gap:8px}.tour-ages>div{display:grid;background:#edf2f7;border-radius:6px;padding:10px;gap:2px;font-size:14px}.tour-ages small{font-size:11px;color:var(--muted)}.tour-ages .urgent{background:#fff1e3;box-shadow:inset 0 3px #b5640e}.tour-choices{display:grid;grid-template-columns:repeat(3,1fr);gap:8px}.tour-choices button{display:grid;gap:4px;text-align:left;padding:14px}.tour-choices .legal{border-color:var(--teal);background:#f1fcf8}.tour-choices .blocked{border-style:dashed;background:#faf5f5}.tour-choices button[aria-pressed=true]{outline:2px solid var(--red);outline-offset:1px}.tour-choices span{font-size:14px}.tour-choices small{color:var(--muted);font-size:12px;font-weight:400}.tour-path{font-family:monospace;word-spacing:6px;font-size:14px;line-height:2}
.tour-table-wrap{overflow:auto}.tour-kernel-table{border-collapse:collapse;width:100%;margin:20px 0;font-size:14px}.tour-kernel-table th{text-align:left;font-weight:600}.tour-kernel-table th,.tour-kernel-table td{border-bottom:1px solid var(--line);padding:12px}.tour-kernel-table thead{background:#f1f5fa;font-size:12px}.tour-candidate{display:flex;align-items:center;gap:12px;min-width:135px}.tour-candidate input{width:100%;accent-color:var(--teal)}.tour-candidate output{min-width:26px;font-weight:700;color:var(--teal)}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.tour-implication{display:grid;text-align:center;margin:30px 0 20px;gap:5px}.tour-implication>div{display:grid;gap:6px;background:#f1f5fa;border:1px solid var(--line);border-radius:8px;padding:14px}.tour-implication small{font-size:13px;color:var(--muted)}.tour-implication strong{font-size:17px}.tour-implication>b{color:var(--teal);font-size:23px;line-height:1.3}.tour-implication .contradiction{background:#fff1f1;border-color:#ebc5ca}.tour-implication .contradiction span{font-size:14px}.tour-nested{margin:24px 0}.outer-window{border:2px solid var(--teal);border-radius:7px;padding:8px;font-size:13px;color:var(--teal);background:#f2faf7}.outer-window>div{min-height:45px;background:#cceee3;border:1px dashed var(--teal);padding:10px 4px;margin-top:8px;min-width:15px}.outer-window>div>span{white-space:nowrap;color:#165b48;display:block;width:max-content}.tour-window-bars{padding-bottom:10px;overflow:visible}
.tour-promise{padding:22px;background:#f1f5fa;border-radius:10px}.tour-promise p{margin-bottom:0}.tour-result-grid{display:grid;grid-template-columns:1fr 1fr;gap:20px;margin:24px 0}.tour-result-grid>div{border:1px solid var(--line);border-radius:10px;padding:20px}.tour-result-grid button{font-size:13px}.tour-result-icon{font-size:30px;color:var(--teal)}.tour-threshold{border-top:1px solid var(--line);padding-top:5px;margin-top:24px}.tour-navigation{display:flex;justify-content:space-between;gap:12px;margin-top:24px;border-top:1px solid var(--line);padding-top:20px}.tour-navigation button{font-size:13px}.tour-navigation button:last-child{background:var(--teal);color:white}.tour-navigation button:last-child:disabled{background:white;color:var(--muted)}.tour-sources{font-size:13px}.lean-links{display:flex;flex-direction:column;gap:8px;margin:12px 0;font-family:monospace;font-size:12px;overflow-wrap:anywhere}
@media(max-width:750px){.tour-tabs{grid-template-columns:1fr 1fr;gap:6px}.tour-tabs button{font-size:12px;padding:11px 9px}.tour-tabs button>span{min-width:22px;height:22px;line-height:20px}.tour-window{grid-template-columns:repeat(9,minmax(0,1fr))}.tour-check-grid{grid-template-columns:repeat(3,1fr)}.tour-state-heading{align-items:start;flex-direction:column;gap:14px}.tour-ages{grid-template-columns:repeat(3,1fr)}.tour-choices{grid-template-columns:1fr 1fr}.tour-experiment{padding:16px}.tour-result-grid{grid-template-columns:1fr;gap:12px}.tour-kernel-table th,.tour-kernel-table td{padding:10px 7px}.tour-proof-rule{padding:16px}.tour-slider{font-size:12px}.tour-navigation button{font-size:12px;padding:9px 10px}header{gap:12px}header nav{gap:12px;font-size:12px}.brand{font-size:13px}}