.partition-page{--blue:#315f73;--green:#287c72;--hair:#cbdde3;--orange:#9a6036}
.partition-page .partition-hero{padding:52px 0 34px;max-width:900px}
.partition-page h1{font:clamp(37px,5vw,61px)/1.09 var(--serif);letter-spacing:-1.4px;margin:20px 0 25px;max-width:880px}
.partition-page .partition-hero .lede{max-width:780px;font-size:21px;line-height:1.65}
.partition-page .partition-hero .links{margin-top:23px}
.partition-page .partition-setting{font:12px/1.6 var(--sans);margin-top:25px;color:var(--muted)}
.partition-page .partition-setting strong{color:var(--green);margin-right:14px}
.partition-explorer{border:1px solid var(--hair);margin:12px 0 56px;background:#fcfdfe}
.partition-explorer header{padding:24px 28px 20px;border-bottom:1px solid var(--hair);display:flex;align-items:center;justify-content:space-between;gap:24px}
.partition-explorer h2{font:27px/1.2 var(--serif);margin:6px 0}.partition-explorer .kicker{font-size:10px}
.partition-page button,.partition-page select{font:13px/1.4 var(--sans);background:white;color:var(--blue);border:1px solid #b1c7d1;padding:11px 15px;cursor:pointer;border-radius:0}
.partition-page button:hover,.partition-page button[aria-pressed=true]{background:#e9f3f2;border-color:var(--green);color:#1e6059}
.partition-page button:disabled{opacity:.45;cursor:default}.partition-page button:focus-visible,.partition-page select:focus-visible{outline:2px solid var(--green);outline-offset:3px}
.partition-presets{display:flex;gap:8px;flex-wrap:wrap}.partition-presets button span{display:block;font-size:11px;color:var(--muted)}
.partition-stage{display:grid;grid-template-columns:1.15fr 1fr}
.partition-map{border-right:1px solid var(--hair);padding:18px 24px 24px;background-image:linear-gradient(#edf3f6 1px,transparent 1px),linear-gradient(90deg,#edf3f6 1px,transparent 1px);background-size:24px 24px}
.partition-map svg{width:100%;height:auto;display:block}.partition-map .road{stroke:#c9d8de;stroke-width:1;stroke-dasharray:3 7;opacity:.6}
.partition-map .road.present{stroke:var(--blue);stroke-width:3;stroke-dasharray:none;opacity:1}
.partition-map .road.just-added{stroke:var(--green);stroke-width:5;animation:road-arrival .7s ease-out}
@keyframes road-arrival{from{stroke-dasharray:450;stroke-dashoffset:450}to{stroke-dasharray:450;stroke-dashoffset:0}}
.partition-map circle{fill:white;stroke:var(--blue);stroke-width:2}.partition-map text{font:17px var(--sans);fill:var(--blue)}
.map-legend{font:12px/1.6 var(--sans);color:var(--muted);text-align:center}
.partition-readout{padding:30px;display:flex;flex-direction:column;justify-content:center}
.partition-total{font:88px/1 var(--serif);color:var(--green);font-variant-numeric:tabular-nums}.partition-total small{font:16px/1.5 var(--sans);display:block;color:var(--ink);margin-top:8px}
.partition-constant{display:flex;gap:25px;font:12px var(--mono);color:var(--blue);border-top:1px solid var(--hair);padding-top:18px;margin-top:24px}
.partition-readout p{font:17px/1.65 var(--serif);min-height:84px;margin:24px 0 18px}
.partition-actions{display:flex;gap:8px;flex-wrap:wrap}.partition-actions button:first-child{background:var(--blue);color:white}
.partition-explorer details{border-top:1px solid var(--hair);padding:18px 28px;font:13px/1.7 var(--sans)}
.partition-explorer summary{cursor:pointer;color:var(--blue)}#edge-controls{display:flex;flex-wrap:wrap;gap:8px;margin-top:15px}#edge-controls button{min-width:60px}
.partition-story{display:grid;grid-template-columns:1fr 1fr;gap:50px;margin:0 0 50px}.partition-story p{font:18px/1.75 var(--serif)}
.partition-story h2{font:32px/1.25 var(--serif);margin-bottom:20px}.partition-story aside{padding:28px;background:#f6f8f8;border-top:2px solid var(--green)}
.partition-story aside p{font-size:16px}.partition-story aside strong{color:var(--green)}
.partition-witness{border-top:1px solid var(--hair);padding:30px 28px;background:white}
.partition-witness h3{font:25px/1.3 var(--serif);margin:0 0 20px}.witness-pair{display:grid;grid-template-columns:1fr 1fr;gap:20px;max-width:650px;margin:auto}
.witness-pair figure{margin:0;border:1px solid var(--hair);padding:15px}.witness-pair svg{width:100%;max-height:215px}.witness-pair figcaption{font:13px/1.5 var(--sans);text-align:center}.witness-pair .not-yet{color:var(--orange)}.witness-pair .now-valid{color:var(--green)}
#witness-members{font:13px/1.6 var(--mono);text-align:center;margin:20px 0}#witness-caption{font:16px/1.7 var(--serif);max-width:720px;margin:15px auto 0}
.partition-gallery-head{display:flex;justify-content:space-between;align-items:center;gap:20px;margin-bottom:25px}.partition-gallery-head h2{margin:0}.partition-gallery-head label{font:12px/1.6 var(--sans)}
#partition-gallery{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:16px}#partition-gallery figure{margin:0;border:1px solid var(--hair);padding:16px}#partition-gallery svg{width:100%;max-height:180px}#partition-gallery figcaption{font:12px/1.6 var(--mono);text-align:center;overflow-wrap:anywhere}
.partition-pagination{display:flex;align-items:center;justify-content:center;gap:20px;margin:24px 0;font:13px var(--sans)}
.partition-theorem{border-left:3px solid var(--green);padding:12px 28px;margin:26px 0;background:#f6f9f8}.partition-theorem p{font-size:19px}.partition-formula{font:clamp(20px,3vw,29px)/1.6 var(--serif);color:var(--blue);margin:24px 0;overflow-wrap:anywhere}
.partition-page .section{padding:38px 0}.partition-page .section>p{max-width:820px}.partition-page .proof-steps{padding-left:25px;max-width:850px}.proof-steps li{padding:8px 0;font:18px/1.7 var(--serif)}
.partition-page .comparison{display:grid;grid-template-columns:repeat(3,1fr);gap:24px;margin:26px 0}.comparison article{border-top:1px solid var(--hair);padding-top:20px}.comparison strong{font:42px var(--serif);color:var(--green);display:block}.comparison h3{font:20px var(--serif);margin:12px 0}.comparison p{font:15px/1.7 var(--sans)}
.partition-page table{width:100%;border-collapse:collapse;font:14px/1.6 var(--sans)}.partition-page td,.partition-page th{text-align:left;padding:14px 10px;border-bottom:1px solid var(--hair)}
.crew-demo{border:1px solid var(--hair);margin:28px 0 35px;padding:26px;background:#fcfdfe}.crew-toolbar{display:flex;justify-content:space-between;gap:22px;align-items:center}.crew-toolbar strong{font:54px/1 var(--serif);color:var(--green);display:block}.crew-toolbar span{font:13px/1.5 var(--sans)}#crew-context{margin:22px 0;font:15px/1.6 var(--sans);color:var(--blue)}#crew-plans{display:grid;grid-template-columns:repeat(auto-fit,minmax(210px,1fr));gap:16px}#crew-plans figure{margin:0;border:1px solid var(--hair);padding:16px;background:white}#crew-plans svg{width:100%;max-height:225px}#crew-plans figcaption{font:13px/1.6 var(--mono);text-align:center}.crew-key,.crew-empty{font:14px/1.7 var(--sans);margin-top:20px}.partition-practical .partition-story{margin-bottom:25px}
@media(max-width:700px){.crew-demo{padding:18px}.crew-toolbar{display:block}#crew-plans{grid-template-columns:1fr}.crew-toolbar .partition-presets{margin-top:20px}}
.sr-only{position:absolute;width:1px;height:1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap}
@media(max-width:700px){.partition-page h1{font-size:40px}.partition-page .partition-hero{padding-top:30px}.partition-page .partition-hero .lede{font-size:18px}.partition-explorer header{display:block;padding:20px}.partition-presets{margin-top:18px}.partition-stage,.partition-story{grid-template-columns:1fr}.partition-map{border-right:0;border-bottom:1px solid var(--hair);padding:8px 10px}.partition-readout{padding:24px}.partition-total{font-size:68px}.partition-readout p{min-height:0}.partition-witness{padding:22px 15px}.witness-pair{gap:10px}.witness-pair figure{padding:8px}#partition-gallery{grid-template-columns:repeat(2,minmax(0,1fr));gap:10px}#partition-gallery figure{padding:8px}.partition-gallery-head{display:block}.partition-gallery-head label{display:block;margin-top:15px}.partition-story{gap:18px}.partition-page .comparison{gap:12px}.comparison strong{font-size:33px}.comparison h3{font-size:17px}.comparison p{font-size:13px}.partition-page .partition-theorem{padding:10px 18px}.partition-pagination{gap:12px}.partition-page td,.partition-page th{padding:10px 6px;font-size:12px}}
@media(prefers-reduced-motion:reduce){.partition-map .road.just-added{animation:none}}
@media print{.partition-actions,.partition-presets,#edge-controls,.partition-pagination{display:none}.partition-stage{break-inside:avoid}.partition-explorer{break-inside:auto}}
