:root{font-family:"Segoe UI",Arial,sans-serif;color:#eaf0e5;background:#102e35;--gold:#ebd29b;--muted:#b4c8c7;--line:#cadbd629;color-scheme:dark}*{box-sizing:border-box}body{margin:0;min-width:320px}h1,h2,h3,p{margin:0}h1,h2,h3{font-family:Cambria,"Times New Roman",serif;font-weight:400}a{color:inherit;text-decoration:none}button,input,select{font:inherit}button,a,input,select{touch-action:manipulation}button{cursor:pointer;color:inherit}button:disabled{cursor:default;opacity:.55}button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible{outline:3px solid var(--gold);outline-offset:4px}button:hover{filter:brightness(1.1)}.proof-skip{position:fixed;top:-100px;left:15px;background:#eee5d3;color:#17363b;padding:16px;z-index:20;opacity:0}.proof-skip:focus{top:12px;opacity:1}.proof-header{height:90px;padding:0 max(5%,calc((100% - 1440px)/2));border-bottom:1px solid var(--line);display:flex;align-items:center;gap:32px}.proof-brand{font-family:Cambria,serif;font-size:30px;letter-spacing:-1px}.proof-brand>span{color:var(--gold)}.proof-brand>small{display:block;font:9px "Segoe UI",sans-serif;letter-spacing:2px;margin-top:3px;color:var(--muted)}.back-link{font-size:14px;color:#b8cecc;margin-left:auto}.quiet{border:1px solid transparent;background:none;padding:10px 6px;font-size:14px}.quiet>span{display:inline-grid;place-items:center;margin-left:7px;width:20px;height:20px;border:1px solid var(--line);border-radius:50%;font-size:12px}main{max-width:1440px;margin:auto;padding:45px 5% 65px}.eyebrow{font-size:12px;letter-spacing:1.8px;color:var(--gold);font-weight:600}.mission-heading{display:flex;align-items:center;justify-content:space-between;gap:30px;margin-bottom:35px}.mission-heading h1{font-size:52px;color:#f0dfbc;margin:13px 0 12px;letter-spacing:-1.3px}.mission-heading>div>p:last-child{font-size:15px;color:var(--muted);line-height:1.7;max-width:680px}.mission-progress{border-left:1px solid var(--line);padding-left:28px;width:230px;flex-shrink:0}.mission-progress strong{display:block;font:34px Cambria,serif;color:var(--gold)}.mission-progress span{display:block;font-size:10px;letter-spacing:1px;color:var(--muted);margin:7px 0 12px}progress{width:100%;height:5px;accent-color:var(--gold);border:0}progress::-webkit-progress-bar{background:#37565a}progress::-webkit-progress-value{background:var(--gold)}.proof-layout{display:grid;grid-template-columns:minmax(0,.96fr) minmax(0,1.2fr);align-items:start;gap:26px}.geometry-panel{background:#163940;border:1px solid var(--line);border-radius:10px;overflow:hidden;position:sticky;top:20px}.panel-label{padding:18px 22px;display:flex;align-items:center;justify-content:space-between;gap:12px;border-bottom:1px solid var(--line)}.panel-label>span{font-size:10px;letter-spacing:1.2px;color:#c4d3cd}.panel-label .quiet{padding:0 5px;font-size:13px;min-height:32px}.geometry{padding:0 8px;background:radial-gradient(ellipse at 50% 20%,#41636a30,transparent)}.geometry svg{display:block;width:100%;height:auto;overflow:visible}.triangle-fill{fill:#7bbaa919}.given-line{fill:none;stroke:#c9dfd6;stroke-width:2.3}.aux-line{fill:none;stroke:#b7a1df;stroke-dasharray:8 6;stroke-width:2}.construction-line{fill:none;stroke:#88b9ce;stroke-width:1.7}.bisector-line{fill:none;stroke:#b0d99c;stroke-width:2.4}.target-line{fill:none;stroke:#ffcf7b;stroke-width:4;stroke-linecap:round}.equal-tick{stroke:#dae9d7;stroke-width:2}.point circle{fill:#e8e7cb;stroke:#14363e;stroke-width:1.5}.point text{fill:#e9efdf;font-family:Cambria,serif;font-size:22px;font-weight:600;paint-order:stroke;stroke:#173840;stroke-width:5px;stroke-linejoin:round}.point-K text{fill:#c7b3ec}.point-H text,.point-F text{fill:var(--gold)}.figure-legend{fill:#afc7c5;font-size:12px}.figure-controls{border-top:1px solid var(--line);padding:19px 24px;display:grid;gap:12px}.figure-controls>label:first-child{font-size:13px;display:flex;justify-content:space-between;gap:15px}.figure-controls output{color:var(--gold)}input[type=range]{width:100%;accent-color:var(--gold);height:24px;margin:0}.check-label{font-size:13px;display:flex;align-items:center;gap:9px;color:#b8d0cc}.check-label input{width:17px;height:17px;accent-color:var(--gold)}details{padding:18px 24px;border-top:1px solid var(--line)}summary{cursor:pointer;font-size:14px;color:#e5d9bc}details p{font-size:14px;line-height:1.8;color:#c2d3cd;margin-top:13px}details .construction-note{border-left:2px solid #b7a1df;padding-left:13px;color:#cec2e5}details .micro{font-size:12px;color:#9fb8b6;line-height:1.7}#ratio-readout{display:grid;grid-template-columns:repeat(3,1fr);gap:14px;padding-top:18px}#ratio-readout>div{display:flex;align-items:center;gap:9px;flex-wrap:wrap}#ratio-readout strong{font-size:13px;color:var(--gold);font-weight:500}.fraction{display:inline-flex;vertical-align:middle;flex-direction:column;align-items:stretch;text-align:center;line-height:1.25;font-family:Cambria,serif;margin:0 4px}.fraction>span:first-child{border-bottom:1px solid currentColor;padding:0 3px 3px}.fraction>span:last-child{padding:3px 3px 0}.reasoning-panel{min-width:0}.reasoning-panel>.panel-label{border:1px solid var(--line);border-radius:9px;background:#193b41;padding:12px 22px}.reasoning-panel>h2{font-size:31px;line-height:1.2;margin:26px 0 18px;color:#e9dfc6}.direction-key{display:flex;flex-direction:column;gap:8px;padding:14px 17px;background:#29464a66;border-radius:5px;margin-bottom:20px}.direction-key>span{font-size:12px;color:#b9cecb}.direction-key b{display:inline-block;width:18px;color:var(--gold);font-size:18px}.goal-node{border:1px solid #e3c88d73;background:linear-gradient(135deg,#54615155,#354e4266);border-radius:8px;padding:20px;text-align:center}.goal-node>small{font-size:10px;letter-spacing:2px;color:var(--gold)}.goal-node>strong{display:block;font:34px Cambria,serif;margin:11px 0;color:#f3e1b5}.goal-node>span{font-size:12px;color:#c8d7c7}.branch-intro{font-size:13px;line-height:1.75;color:var(--muted);margin:18px 0 0}.proof-step{position:relative;padding:21px 22px 19px;margin-top:47px;border:1px solid var(--line);border-radius:9px;background:#193b41;scroll-margin-top:20px}.inference-arrow{position:absolute;top:-37px;left:50%;transform:translateX(-50%);color:#d5c392;font-size:27px;display:flex;align-items:center;gap:10px;line-height:1}.inference-arrow>span{font-size:10px;letter-spacing:1px}.step-heading{display:flex;align-items:center;gap:12px}.step-heading>span{font-size:12px;color:var(--gold);border:1px solid #d6ca9849;padding:6px;border-radius:4px;flex-shrink:0}.step-heading>h3{font-size:22px;line-height:1.2;color:#e9dfc5;flex:1}.step-check{color:#9ab2ad;font-size:23px;font-weight:400}.premise{font-size:13px;color:#b6cdca;line-height:1.75;margin:16px 0 20px}.answer-fields{display:flex;flex-direction:column;gap:14px}.drop-field{border:1px dashed #a0bdbb66;background:#102f3659;padding:12px;border-radius:5px}.drop-field:has(.place-card:not([hidden])){border-color:#e4cc93}.drop-field label{display:block;font-size:9px;letter-spacing:1.2px;color:#aec4bf;margin-bottom:9px}.drop-field select{width:100%;max-width:100%;min-width:0;white-space:normal;min-height:44px;padding:10px 30px 10px 10px;background:#224950;color:#eaf0e2;border:1px solid #92b4b04a;border-radius:4px;font-size:13px}.drop-field select option{white-space:normal}.place-card{background:#d8c699;color:#14343a;padding:9px 12px;font-size:12px;border:0;border-radius:3px;margin-top:10px}.step-controls{display:flex;align-items:center;gap:16px;margin-top:18px;flex-wrap:wrap}.gold-button{background:#e8d2a1;color:#12323a;border:1px solid #f5e2b6;border-radius:4px;min-height:44px;padding:11px 18px;font-size:13px;font-weight:600}.gold-button>span{margin-left:18px}.hint-button{font-size:12px;color:var(--gold)}.step-feedback:empty{display:none}.step-feedback{margin-top:18px;font-size:13px;border:1px solid #dabc8266;border-radius:4px;padding:14px;background:#b38f3610}.step-feedback p{margin-top:8px;line-height:1.8;color:#c4d5cb;font-size:13px}.step-feedback.success{background:#73bc9510;border-color:#77bc9970}.step-feedback.success strong{color:#a8dec0}.verified{border-color:#92c3a76c}.verified .step-check{color:#abdbba}.hint{border-left:2px solid var(--gold);padding:0 0 0 12px;margin-top:16px;font-size:13px;line-height:1.75;color:#dbc89f}.dependencies{border-top:1px solid var(--line);display:flex;gap:12px;flex-wrap:wrap;margin-top:19px;padding-top:15px;align-items:center}.dependencies>small{font-size:8px;color:#91aba8;letter-spacing:1px}.dependencies a{color:var(--gold);font-size:12px;padding:5px 7px;background:#ffffff06;border-radius:3px}.given-label{display:block;font-size:11px;color:#94b0a6;margin-top:15px}.completion{margin-top:25px;background:linear-gradient(135deg,#395d48,#244741);padding:28px;border:1px solid #c0d0a960;border-radius:9px}.completion[hidden]{display:none}.completion>span{font-size:30px;color:var(--gold)}.completion h2{font-size:30px;color:#ebdebc;margin:12px 0}.completion p{font-size:14px;color:#c4d9c7;line-height:1.7;margin-bottom:20px}.completion small{display:block;font-size:11px;line-height:1.6;color:#a2baa9;margin-top:17px}.card-bank{border-top:1px solid var(--line);margin-top:48px;padding-top:35px}.card-bank h2{font-size:33px;color:#ede2c8;margin:13px 0}.card-bank>div>p:not(.eyebrow){font-size:14px;line-height:1.7;color:var(--muted);max-width:760px}.bank-tabs{display:flex;gap:10px;margin-top:25px;margin-bottom:20px}.bank-tabs button{background:#173940;border:1px solid var(--line);border-radius:4px;padding:12px 20px;color:#c4d6cd;font-size:14px}.bank-tabs button[aria-pressed=true]{border-color:var(--gold);color:var(--gold)}#bank-cards{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:13px}.idea-card{background:#214249;border:1px solid #b0c5b43d;border-radius:5px;padding:15px 19px;min-height:70px;font-size:15px;text-align:left;line-height:1.6;position:relative;padding-right:34px}.idea-card>span:last-child:not(.fraction){position:absolute;right:13px;top:10px;color:var(--gold)}.idea-card[aria-pressed=true]{border-color:var(--gold);background:#485447;box-shadow:0 0 0 2px #e6d29e22}#selected-card{font-size:13px;color:#dfd2ae;margin-top:17px;line-height:1.7}footer{max-width:1440px;margin:auto;padding:25px 5%;border-top:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;gap:20px;font-size:12px;color:#93ada9}footer>a{color:#c7d1c1}dialog{width:min(650px,calc(100% - 32px));max-height:calc(100svh - 35px);padding:38px;background:#183b42;border:1px solid #cfbd8780;color:#d7e3d6;border-radius:9px;box-shadow:0 20px 80px #001d22b0}dialog::backdrop{background:#071f29bf;backdrop-filter:blur(5px)}dialog.large{width:min(1100px,calc(100% - 32px))}dialog #close-dialog{position:absolute;right:12px;top:10px;background:none;border:0;font-size:27px;color:#bccfc4;width:33px;height:33px}dialog h2{font-size:32px;color:#eee0ba;margin:15px 0 20px}dialog p,dialog li{font-size:15px;line-height:1.8;color:#c4d4c9}dialog p{margin:15px 0}dialog ol{padding-left:23px}dialog li{margin:13px 0}dialog .eyebrow{font-size:11px;color:var(--gold)}dialog .solution li{padding-left:5px;line-height:2.1}.solution-end{color:var(--gold)!important;font-weight:600}.dialog-actions{display:flex;gap:15px;justify-content:flex-end;margin-top:24px}.dialog-actions button{font-size:13px}body:has(dialog[open]){overflow:hidden}#proof-status{position:fixed;bottom:24px;left:50%;transform:translateX(-50%);max-width:calc(100% - 28px);width:max-content;z-index:20;background:#e8d6b0;color:#17393e;padding:14px 22px;border:1px solid #efe4c3;border-radius:5px;font-size:13px;box-shadow:0 8px 30px #001c2680;opacity:0;pointer-events:none;transition:opacity .2s}#proof-status.visible{opacity:1}
@media(min-width:1500px){main{padding-inline:30px}.proof-header{padding-inline:max(30px,calc((100% - 1380px)/2))}}
@media(max-width:1100px){.proof-layout{grid-template-columns:minmax(0,.9fr) minmax(0,1.1fr);gap:20px}.proof-header{padding-inline:4%}main{padding-inline:4%}.mission-heading h1{font-size:45px}.mission-heading>div>p:last-child{max-width:550px}.mission-progress{width:195px;padding-left:22px}.geometry-panel{position:static}.proof-step{padding:19px 17px}.step-heading>h3{font-size:20px}.premise{font-size:13px}.drop-field select{font-size:12px}.panel-label{padding-inline:18px}.figure-controls,details{padding-inline:19px}}
@media(max-width:800px){main{padding:32px 5% 45px}.proof-header{padding-inline:5%;gap:20px;height:80px}.proof-brand{font-size:27px}.proof-brand>small{font-size:7px;letter-spacing:1.5px}.back-link{font-size:12px}.proof-header>.quiet{font-size:12px}.mission-heading{align-items:flex-start}.mission-heading h1{font-size:42px}.mission-heading>div>p:last-child{font-size:14px}.mission-progress{width:155px;padding-left:20px}.mission-progress>strong{font-size:30px}.mission-progress>span{font-size:8px;line-height:1.7}.proof-layout{grid-template-columns:1fr;gap:32px}.geometry-panel .geometry{max-width:700px;margin:auto}.geometry-panel{display:grid;grid-template-columns:1fr 1fr}.geometry-panel>.panel-label,.geometry-panel>.geometry{grid-column:1/-1;width:100%}.figure-controls{grid-column:1}.problem{grid-column:2;grid-row:3/5;border-left:1px solid var(--line)}.measurements{grid-column:1}.reasoning-panel>h2{font-size:34px}.direction-key{flex-direction:row;gap:20px;flex-wrap:wrap}.proof-step{padding:23px}.drop-field select{font-size:14px}.premise{font-size:14px}.step-heading>h3{font-size:24px}#bank-cards{grid-template-columns:repeat(2,minmax(0,1fr))}.idea-card{font-size:14px}.card-bank h2{font-size:30px}.eyebrow{font-size:10px}}
@media(max-width:520px){.proof-header{height:78px;gap:15px;padding-inline:5%}.proof-brand{font-size:25px}.proof-brand>small{font-size:6px;letter-spacing:1px}.back-link{font-size:11px}.proof-header>.quiet{font-size:11px;padding:8px 0}.proof-header>.quiet>span{display:none}main{padding-top:28px}.mission-heading{display:block;margin-bottom:26px}.mission-heading h1{font-size:39px;margin-top:12px}.mission-heading>div>p:last-child{font-size:13px;line-height:1.8}.mission-progress{border:0;padding:0;margin-top:20px;width:100%;display:grid;grid-template-columns:90px 1fr;align-items:center;gap:5px 10px}.mission-progress>strong{font-size:26px;grid-row:span 2}.mission-progress>span{font-size:8px;margin:0;letter-spacing:1px}.mission-progress progress{height:4px}.geometry-panel{display:block;border-radius:7px}.panel-label{padding:12px 17px}.panel-label>span{font-size:9px;letter-spacing:.8px}.geometry{padding:0}.point text{font-size:25px}.figure-legend{font-size:12px}.figure-controls,details{padding:17px}.problem{border-left:0}.figure-controls>label:first-child,.check-label{font-size:12px}details p{font-size:13px}details .micro{font-size:11px}summary{font-size:13px}.reasoning-panel>.panel-label{padding:10px 16px}.reasoning-panel>h2{font-size:29px;margin-top:24px}.direction-key{flex-direction:column;gap:8px;padding:13px}.direction-key>span{font-size:11px}.goal-node{padding:19px}.goal-node>strong{font-size:32px}.goal-node>span{font-size:11px}.branch-intro{font-size:12px}.proof-step{padding:18px 15px}.step-heading{gap:10px}.step-heading>h3{font-size:22px}.step-heading>span{font-size:11px;padding:5px}.premise{font-size:13px}.drop-field{padding:10px}.drop-field label{font-size:8px}.drop-field select{font-size:12px;min-height:46px;padding-left:8px}.step-controls{gap:10px;justify-content:space-between}.gold-button{font-size:12px;padding:11px 13px}.gold-button>span{margin-left:8px}.hint-button{font-size:11px;padding-inline:2px}.step-feedback,.step-feedback p,.hint{font-size:12px}.dependencies{gap:8px}.dependencies>small{width:100%;font-size:8px}.dependencies a{font-size:11px}.given-label{font-size:10px}.card-bank{margin-top:35px;padding-top:26px}.card-bank h2{font-size:29px}.card-bank>div>p:not(.eyebrow){font-size:13px}.bank-tabs{gap:8px}.bank-tabs button{font-size:12px;padding:12px 14px}#bank-cards{grid-template-columns:1fr;gap:10px}.idea-card{font-size:14px;min-height:60px}#selected-card{font-size:12px}.completion{padding:23px}.completion h2{font-size:28px}.completion p{font-size:13px}.completion small{font-size:10px}footer{font-size:10px;align-items:flex-start;line-height:1.7;padding:22px 5%}footer>a{white-space:nowrap}dialog{padding:32px 22px;border-radius:7px}dialog h2{font-size:28px}dialog p,dialog li{font-size:13px}dialog .eyebrow{font-size:9px;letter-spacing:1px}dialog .solution li{line-height:2}.dialog-actions{flex-direction:column}.dialog-actions button{min-height:44px}#proof-status{font-size:12px;padding:12px 16px}.fraction{margin-inline:3px}}
@media(prefers-reduced-motion:reduce){*{transition:none!important;scroll-behavior:auto!important}}
.inference-arrow{width:max-content;max-width:95%;justify-content:center}.inference-arrow>span{font-size:10px;letter-spacing:0;line-height:1.3}.inline-bank{padding:14px 0 0;border:0}.inline-bank>summary{font-size:12px;color:var(--gold)}.inline-bank>p{font-size:11px;color:#aabfb9;margin:14px 0 9px}.inline-bank-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}.inline-bank .idea-card{font-size:12px;padding:10px;min-height:50px;line-height:1.5}.inline-bank .fraction{margin-inline:2px}@media(max-width:520px){.inline-bank .idea-card{font-size:11px}.inference-arrow>span{font-size:9px}}