/* The released construction: large, readable diagrams and a progressive proof map. */
.release-card{display:grid;grid-template-columns:1.4fr 1fr;gap:38px;padding:30px 34px;margin-top:28px;background:var(--mint);border:1px solid var(--line);border-radius:7px}
.release-kicker{display:block;color:var(--teal);font-size:11px;font-weight:700;letter-spacing:1.3px;margin-bottom:12px}
.release-card h2{font-size:35px;letter-spacing:-.6px;line-height:1.15;margin-bottom:12px}
.release-card p{font-size:14px;line-height:1.8;margin:0;max-width:680px}
.release-links{display:flex;flex-direction:column;gap:12px;justify-content:center;align-items:start}
.release-links a{font-size:14px;font-weight:600;text-decoration:underline;text-underline-offset:5px}
.release-links small{font-size:11px;color:var(--muted);line-height:1.7}
.release-status{font-size:12px;color:var(--muted);margin-top:17px!important}
.proof-map-tabs{display:none}
.proof-map[data-enhanced=true] .proof-map-tabs{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));gap:8px;margin:32px 0 14px}
.proof-map-tabs button{position:relative;display:flex;flex-direction:column;align-items:flex-start;gap:7px;padding:16px 13px;background:transparent;border:1px solid var(--line);border-radius:4px;min-height:101px;text-align:left;font-size:13px;font-weight:600;line-height:1.3}
.proof-map-tabs button span{font-size:11px;color:var(--muted);font-weight:400}
.proof-map-tabs button[aria-selected=true]{background:var(--ink);border-color:var(--ink);color:var(--paper)}
.proof-map-tabs button[aria-selected=true] span{color:#b7d5cc}
.proof-map-tabs button:hover{border-color:var(--teal)}
.proof-map .route-panel{margin-bottom:16px;min-height:360px;grid-template-columns:1.35fr 1fr;gap:40px;padding:35px;background:#edf2e9;border:1px solid var(--line);border-radius:5px}
.proof-map .route-panel[hidden]{display:none}
.proof-map .route-main h3{font-size:38px;line-height:1.12;margin:13px 0 19px}
.proof-map .route-main>p,.proof-map .route-aside p{font-size:14px;line-height:1.85}
.proof-map .route-main .equation-scroll{font-size:16px;padding:14px 0}
.proof-map .route-aside{padding-left:30px}
.proof-map .route-aside h4{margin:13px 0 7px;font-size:11px;letter-spacing:1px;color:var(--teal)}
.proof-source-links{display:flex;flex-wrap:wrap;gap:10px 20px;margin-top:18px;font-size:12px}
.proof-source-links a{text-decoration:underline;text-underline-offset:4px}
.route-note{font-size:12px;line-height:1.8;color:var(--muted);max-width:900px;margin:16px 0 0}
.proof-visuals{border-top:1px solid var(--line);padding-top:36px;margin-top:46px}
.proof-visual-row{display:grid;grid-template-columns:.85fr 1.15fr;gap:50px;align-items:center;padding:34px 0 42px;border-bottom:1px solid var(--line)}
.proof-visual-copy h3{font-size:39px;margin:12px 0 23px;line-height:1.08}
.proof-visual-copy>p{font-size:15px;line-height:1.9;color:var(--muted)}
.proof-visual-copy>p strong{color:var(--ink);font-weight:600}
.proof-visual-copy .text-link{font-size:14px}
.proof-visual-row figure{margin:0;min-width:0}
.proof-visual-row img{display:block;width:100%;height:auto;border-radius:6px;border:1px solid var(--line);background:var(--mint)}
.proof-visual-row figcaption{font-size:12px;line-height:1.7;color:var(--muted);margin-top:13px}
.proof-result{background:var(--ink);color:var(--paper);padding:39px;border-radius:6px;margin-top:40px;display:grid;grid-template-columns:.85fr 1.15fr;gap:40px;align-items:center}
.proof-result h3{font-size:36px;margin:12px 0 16px;line-height:1.1}
.proof-result>div{min-width:0}
.proof-result .katex{color:#eef3e8}
.proof-result .release-kicker{color:#b4d4c2}
.proof-result p{font-size:14px;line-height:1.8;margin:0;color:#d9e6dc}
.proof-result .equation-scroll{font-size:18px;margin:14px 0 20px}
.proof-result a{font-size:13px;text-decoration:underline;text-underline-offset:5px}
.release-scope-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:18px;margin-top:30px}
.release-scope-grid article{border:1px solid var(--line);padding:24px;border-radius:4px;background:var(--paper)}
.release-scope-grid h3{font-size:27px;margin:14px 0}
.release-scope-grid p{font-size:14px;line-height:1.8;margin:0;color:var(--muted)}
.release-scope-grid .small-tag{font-size:10px;line-height:1.5}
.release-scope-grid .scope-open{border-top:3px solid var(--gold)}
.release-snapshot{margin-top:27px;font-size:13px;color:var(--muted);line-height:1.9;max-width:960px}
.release-snapshot a{text-decoration:underline;text-underline-offset:4px}
.proof-section .release-heading{display:grid;grid-template-columns:1fr 1fr;gap:50px;align-items:end}
.proof-section .release-heading h2{font-size:53px}
.proof-section .release-heading p{font-size:15px;line-height:1.85;margin-bottom:0;color:var(--muted)}
@media(max-width:1000px){.proof-map[data-enhanced=true] .proof-map-tabs{grid-template-columns:repeat(3,minmax(0,1fr))}.proof-map-tabs button{min-height:80px}.proof-visual-row{gap:30px;grid-template-columns:.85fr 1.15fr}.proof-result{grid-template-columns:1fr;gap:15px}.release-scope-grid{gap:12px}.release-scope-grid article{padding:20px}.proof-map .route-panel{gap:27px;padding:27px}}
@media(max-width:700px){.release-card{grid-template-columns:1fr;padding:25px;gap:24px}.release-card h2{font-size:32px}.release-links{gap:15px}.proof-map .route-panel{grid-template-columns:1fr;min-height:0;gap:15px;padding:25px}.proof-map .route-main h3{font-size:34px}.proof-map .route-aside{border-left:0;border-top:1px solid var(--line);padding:18px 0 0}.proof-visual-row{grid-template-columns:1fr;gap:20px;padding:28px 0}.proof-visual-copy h3{font-size:36px;margin-bottom:17px}.proof-visual-copy>p{font-size:15px}.proof-visual-row figure{max-width:600px;margin-inline:auto;width:100%}.release-scope-grid{grid-template-columns:1fr;gap:15px}.proof-section .release-heading{grid-template-columns:1fr;gap:24px}.proof-section .release-heading h2{font-size:43px}.proof-result{padding:27px}.proof-result .equation-scroll{font-size:15px}.proof-visuals{padding-top:15px;margin-top:30px}}
@media(max-width:400px){.proof-map-tabs button{font-size:12px;padding:13px 10px}.proof-map .route-panel{padding:21px}.release-card{padding:22px}.proof-source-links{flex-direction:column;gap:14px}.proof-map .route-main .equation-scroll{font-size:14px}}
@media print{.proof-map-tabs{display:none!important}.proof-map .route-panel[hidden]{display:grid!important}.release-card,.proof-result{background:#edf2e9;color:var(--ink);print-color-adjust:exact}.proof-result p,.proof-result .release-kicker{color:var(--ink)}.proof-visual-row{break-inside:avoid}.proof-map .route-panel{break-inside:avoid}.proof-result{break-inside:avoid}}

@media print{.proof-result .katex{color:var(--ink)}}

.lattice-symmetry-note{margin:30px 0 20px;padding:22px 26px;border-left:3px solid var(--gold);background:var(--mint);font-size:14px;line-height:1.8}
.lattice-symmetry-note>strong{display:block;font-size:17px;font-weight:600;margin-bottom:6px}
.lattice-symmetry-note>p{margin:0 0 10px;max-width:960px}
.lattice-symmetry-note>a{font-weight:500;text-decoration:underline;text-underline-offset:4px}
.symmetry-story{margin-top:40px;padding:34px 0 12px;border-top:1px solid var(--line);scroll-margin-top:25px}
.symmetry-story>h3{font-size:43px;line-height:1.15;letter-spacing:-.5px;margin:12px 0 24px}
.symmetry-lead,.symmetry-conclusion{max-width:980px;font-size:15px;line-height:1.85;color:var(--muted)}
.symmetry-story strong{color:var(--ink);font-weight:600}
.symmetry-figure{margin:30px 0}
.symmetry-flow{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:34px;list-style:none;padding:0;margin:0}
.symmetry-flow>li{position:relative;min-width:0;padding:15px 22px 24px;border:1px solid var(--line);border-radius:5px;background:#edf2e9;text-align:center}
.symmetry-flow svg{height:90px;width:100%;margin:0 auto 14px}
.symmetry-stage{display:block;min-height:30px;font-size:10px;line-height:1.5;letter-spacing:.7px;color:var(--teal);font-weight:600}
.symmetry-flow h4{font:26px/1.15 var(--serif);min-height:62px;margin:5px 0 12px}
.symmetry-flow p{margin:0;font-size:13px;line-height:1.8;color:var(--muted)}
.symmetry-arrow{position:absolute;right:-29px;top:46%;font-size:25px;color:var(--teal)}
.symmetry-figure figcaption{font-size:12px;line-height:1.7;color:var(--muted);margin-top:14px}
.symmetry-mechanism-title{font-size:18px;font-weight:600;margin:26px 0 15px}
.symmetry-mechanism{max-width:1020px;padding-left:24px;margin:0 0 25px;font-size:15px;line-height:1.9;color:var(--muted)}
.symmetry-mechanism>li{padding-left:8px;margin-bottom:14px}
.symmetry-mechanism>li::marker{color:var(--teal);font-weight:600}
@media(max-width:850px){.symmetry-flow{gap:26px}.symmetry-flow>li{padding:15px 15px 22px}.symmetry-flow h4{font-size:24px}.symmetry-arrow{right:-23px;font-size:21px}}
@media(max-width:700px){.lattice-symmetry-note{padding:20px;font-size:14px}.symmetry-story>h3{font-size:36px}.symmetry-flow{grid-template-columns:1fr;gap:30px}.symmetry-flow>li{padding:17px 25px 24px}.symmetry-stage,.symmetry-flow h4{min-height:0}.symmetry-stage{margin-bottom:8px}.symmetry-flow h4{font-size:29px}.symmetry-flow p{font-size:14px}.symmetry-arrow{right:auto;left:calc(50% - 10px);top:calc(100% + 1px);transform:rotate(90deg);font-size:23px;line-height:28px}.symmetry-mechanism{font-size:15px;padding-left:22px}.symmetry-story{margin-top:25px;padding-top:28px}}
@media print{.symmetry-flow>li{break-inside:avoid}.symmetry-story>h3,.symmetry-mechanism-title{break-after:avoid}.lattice-symmetry-note{break-inside:avoid}}