/* Mathematics reading edition: human explanation before the exact Lean source. */
.lean-atlas .atlas-hero h1{max-width:980px}
.lean-atlas .atlas-lead{max-width:820px;line-height:1.8}
.atlas-reading-guide{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;margin-bottom:40px}
.atlas-reading-guide>div{padding:19px 20px 21px;border:1px solid var(--atlas-line);border-radius:5px;background:#0b1c2b}
.atlas-reading-guide strong{display:block;color:#e6f0f7;font-size:.84rem;line-height:1.4}
.atlas-reading-guide span{display:block;color:var(--atlas-muted);font-size:.78rem;line-height:1.65;margin-top:7px}
.atlas-proof-story{border-top:1px solid var(--atlas-line);border-bottom:1px solid var(--atlas-line);padding:30px 0 37px;margin-bottom:24px}
.atlas-proof-story h3{font:500 clamp(1.8rem,3.1vw,3rem)/1.19 Georgia,serif;letter-spacing:-.03em;margin:12px 0}
.atlas-proof-story>p:not(.atlas-kicker){font-size:.91rem;line-height:1.78;color:var(--atlas-muted);max-width:900px;margin:0}
.atlas-proof-sequence{display:flex;align-items:center;flex-wrap:wrap;gap:10px;margin-top:23px}
.atlas-proof-sequence a{display:flex;align-items:center;gap:11px;padding:13px 17px;border:1px solid #38526a;background:#0f2536;border-radius:5px;color:#e6f1f6;text-decoration:none;font-size:.82rem;font-weight:700}
.atlas-proof-sequence a:hover{border-color:var(--atlas-accent);color:var(--atlas-accent)}
.atlas-proof-sequence a span{font:700 .7rem ui-monospace,monospace;color:var(--atlas-accent)}
.atlas-proof-sequence .atlas-sequence-arrow{color:var(--atlas-muted);font-size:.85rem}
.lean-atlas .atlas-feature-readable{display:block;background:#0b1b29;border-color:#2b4558;margin-bottom:17px;scroll-margin-top:100px}
.lean-atlas .atlas-feature-readable .atlas-feature-copy{padding:clamp(23px,3.4vw,43px);display:block}
.atlas-feature-topline{display:flex;justify-content:space-between;align-items:center;flex-wrap:wrap;gap:10px 25px}
.atlas-feature-source{font:.69rem ui-monospace,Consolas,monospace;color:var(--atlas-faint)}
.lean-atlas .atlas-feature-readable h3{font:500 clamp(1.85rem,3vw,3.05rem)/1.19 Georgia,serif;letter-spacing:-.04em;margin:15px 0 17px;max-width:980px}
.lean-atlas .atlas-feature-readable p.atlas-feature-lead{font:400 clamp(1rem,1.3vw,1.14rem)/1.74 system-ui,sans-serif;color:#deebf4;max-width:1020px}
.atlas-feature-math{overflow-x:auto;background:#071522;border:1px solid #264b60;border-left:3px solid var(--atlas-accent);border-radius:4px;margin:22px 0;padding:17px 21px;font-size:clamp(1.05rem,1.35vw,1.24rem);color:#eaf5fa;min-height:74px}
.atlas-feature-math .MathJax{max-width:100%}
.atlas-feature-narrative{display:grid;grid-template-columns:1.1fr 1fr;gap:15px;border-top:1px solid var(--atlas-line);padding-top:24px}
.atlas-feature-narrative>div{padding-right:20px}
.atlas-feature-narrative>div+div{border-left:1px solid var(--atlas-line);padding-left:24px}
.atlas-feature-narrative h4,.atlas-feature-key h4{font:750 .69rem ui-monospace,Consolas,monospace;letter-spacing:.06em;text-transform:uppercase;color:var(--atlas-accent);margin:0 0 12px}
.lean-atlas .atlas-feature-narrative p,.lean-atlas .atlas-feature-key p{font-size:.87rem;line-height:1.77;color:var(--atlas-muted);margin:0}
.atlas-feature-key{margin:26px 0 21px;padding:20px 22px;background:#0e293a;border-radius:4px;max-width:1050px}
.lean-atlas .atlas-feature-scope{font-size:.79rem!important;line-height:1.7!important;color:#b7cad7!important;margin:15px 0 24px!important}
.atlas-feature-scope strong{color:#e8f1f7}
.atlas-feature-actions{display:flex;align-items:center;gap:13px 25px;flex-wrap:wrap}
.atlas-feature-browser-link{color:var(--atlas-muted);font-size:.79rem;text-decoration:underline;text-underline-offset:4px}
.atlas-feature-browser-link:hover{color:var(--atlas-accent)}
.atlas-feature-lean{margin-top:26px;padding:0;border-top:1px solid var(--atlas-line)}
.atlas-feature-lean summary,.atlas-lean-disclosure summary{cursor:pointer;padding:18px 2px;list-style-position:inside;color:var(--atlas-accent);font-size:.85rem;font-weight:740;line-height:1.5}
.atlas-feature-lean summary:hover,.atlas-lean-disclosure summary:hover{text-decoration:underline}
.atlas-feature-lean[open] summary,.atlas-lean-disclosure[open] summary{border-bottom:1px solid var(--atlas-line);margin-bottom:17px}
.atlas-feature-lean .atlas-code-label,.atlas-lean-disclosure .atlas-code-label{font-size:.67rem;overflow-wrap:anywhere}
.atlas-feature-lean pre,.atlas-lean-disclosure pre{padding:17px 20px;background:#061421;border:1px solid #264253;border-radius:4px;max-height:600px;overflow:auto;white-space:pre-wrap;overflow-wrap:anywhere;tab-size:2}
.atlas-lean-note{font-size:.75rem!important;line-height:1.7!important;color:var(--atlas-faint)!important;margin:13px 0 0!important}
.atlas-readable-card{padding:clamp(22px,2.8vw,34px);scroll-margin-top:100px}
.atlas-readable-card h3{font:500 clamp(1.45rem,2.1vw,1.95rem)/1.29 Georgia,serif;letter-spacing:-.016em;margin:0 0 24px}
.atlas-reader-label{font:760 .69rem ui-monospace,Consolas,monospace;letter-spacing:.075em;text-transform:uppercase;color:var(--atlas-accent);margin:0 0 11px}
.lean-atlas .atlas-readable-card p.atlas-reader-summary{font:400 clamp(.97rem,1.18vw,1.09rem)/1.73 system-ui,sans-serif;color:#e2edf5;margin:0 0 19px}
.atlas-math-statement{background:#071625;border:1px solid #2c4758;border-left:3px solid #7cc2e3;border-radius:4px;padding:12px 18px;overflow-x:auto;min-height:60px;font-size:1rem;margin:0 0 22px}
.atlas-reading-notes{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:18px;margin-bottom:17px}
.atlas-reading-notes>div{min-width:0}
.atlas-reading-notes>div+div{padding-left:18px;border-left:1px solid var(--atlas-line)}
.lean-atlas .atlas-reading-notes p{color:var(--atlas-muted);line-height:1.72;font-size:.83rem;margin:0}
.atlas-reader-boundary{font-size:.79rem!important;color:#a7bac9!important;line-height:1.77!important;padding:13px 15px;background:#0f2635;border-left:2px solid #577889;margin:18px 0 12px!important}
.atlas-reader-boundary strong{color:#e0edf5}
.atlas-readable-card .atlas-proof-links{margin:20px 0 0}
.atlas-readable-card .atlas-lean-disclosure{border-top:1px solid var(--atlas-line);padding:0;margin-top:17px}
.atlas-readable-card .atlas-proof-code{font-size:.72rem}
.atlas-text-button{background:none;border:0;color:var(--atlas-accent);padding:0;text-decoration:underline;text-underline-offset:4px;cursor:pointer;font:inherit}
.atlas-text-button:hover{color:#bde7fa}
.atlas-text-button:focus-visible,.atlas-feature-lean summary:focus-visible,.atlas-lean-disclosure summary:focus-visible{outline:2px solid var(--atlas-accent);outline-offset:4px;border-radius:3px}
@media(max-width:890px){.atlas-feature-narrative{grid-template-columns:1fr}.atlas-feature-narrative>div+div{padding-left:0;border-left:0;border-top:1px solid var(--atlas-line);padding-top:17px}.atlas-reading-guide{grid-template-columns:1fr}.atlas-reading-notes{grid-template-columns:1fr}.atlas-reading-notes>div+div{padding-left:0;border-left:0;border-top:1px solid var(--atlas-line);padding-top:16px}}
@media(max-width:630px){.atlas-proof-sequence .atlas-sequence-arrow{display:none}.atlas-proof-sequence a{width:calc(50% - 6px);justify-content:center}.atlas-feature-math{padding:16px 12px;font-size:.95rem}.atlas-math-statement{padding:13px 10px;font-size:.93rem}.atlas-feature-key{padding:17px}.atlas-feature-lean pre,.atlas-lean-disclosure pre{padding:12px}}

.atlas-glossary{border:1px solid var(--atlas-line);background:#0d2333;border-radius:5px;margin:0 0 35px;padding:0 20px}
.atlas-glossary>summary{padding:19px 0;color:var(--atlas-accent);font-size:.84rem;font-weight:740;cursor:pointer;list-style-position:inside}
.atlas-glossary[open]>summary{border-bottom:1px solid var(--atlas-line)}
.atlas-glossary-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:17px;padding:22px 0}
.atlas-glossary-grid strong{display:block;font-size:.82rem;line-height:1.4;color:#e6f0f7}
.atlas-glossary-grid p{font-size:.78rem;color:var(--atlas-muted);line-height:1.67;margin:7px 0 0}
@media(max-width:800px){.atlas-glossary-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}
@media(max-width:550px){.atlas-glossary-grid{grid-template-columns:1fr}}