:root{--atlas-ink:#e8eff4;--atlas-muted:#a0b3c2;--atlas-faint:#7891a3;--atlas-accent:#86ceec;--atlas-line:#26394a;--atlas-panel:#0b1a29;--atlas-dark:#081421}
body.lean-atlas,body.reyes-agenda{background:var(--atlas-dark);color:var(--atlas-ink)}
.lean-atlas main,.reyes-agenda main{overflow:clip}
.atlas-shell{width:min(1220px,calc(100% - 54px));margin-inline:auto}
.atlas-crumb{display:flex;align-items:center;gap:10px;color:var(--atlas-faint);font-size:.75rem;margin-bottom:35px}
.atlas-crumb a{color:var(--atlas-muted);text-decoration:none}
.atlas-kicker{font-size:.68rem;letter-spacing:.16em;text-transform:uppercase;color:var(--atlas-accent);font-weight:780}
.atlas-kicker.dark{color:var(--atlas-muted)}
.atlas-hero{padding:clamp(120px,14vw,173px) 0 68px;border-bottom:1px solid var(--atlas-line)}
.atlas-hero-grid{display:grid;grid-template-columns:minmax(0,1fr) 230px;gap:55px;align-items:end}
.atlas-hero h1{font:500 clamp(3.3rem,7.3vw,7.2rem)/1.025 Georgia,"Times New Roman",serif;letter-spacing:-.055em;margin:13px 0 22px;max-width:980px}
.atlas-hero h1 em{font-style:normal;color:var(--atlas-accent)}
.atlas-lead{max-width:785px;color:var(--atlas-muted);font-size:clamp(1.04rem,1.55vw,1.23rem);line-height:1.77;margin:0}
.atlas-hero-note{font:400 .79rem/1.75 ui-monospace,SFMono-Regular,Consolas,monospace;color:var(--atlas-faint);padding:20px 0 4px 22px;border-left:1px solid var(--atlas-line)}
.atlas-hero-note strong{display:block;font:500 3rem/1.2 Georgia,serif;color:var(--atlas-ink);margin-bottom:7px}
.atlas-actions{display:flex;flex-wrap:wrap;gap:10px;margin-top:31px}
.atlas-action{display:inline-flex;gap:9px;align-items:center;justify-content:center;min-height:44px;padding:11px 17px;border:1px solid var(--atlas-line);border-radius:5px;color:var(--atlas-ink);text-decoration:none;font-size:.82rem;font-weight:750;background:rgba(255,255,255,.018)}
.atlas-action:hover{border-color:var(--atlas-accent);color:var(--atlas-accent)}
.atlas-action.primary{background:var(--atlas-accent);border-color:var(--atlas-accent);color:#071421}
.atlas-action.primary:hover{background:#acdff5}
.atlas-facts{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));margin-top:58px;border-top:1px solid var(--atlas-line);border-bottom:1px solid var(--atlas-line)}
.atlas-facts>div{padding:25px 25px 22px 0;border-right:1px solid var(--atlas-line)}
.atlas-facts>div+div{padding-left:26px}
.atlas-facts>div:last-child{border-right:0}
.atlas-facts strong{display:block;font:500 2.7rem Georgia,serif;letter-spacing:-.045em}
.atlas-facts span{display:block;margin-top:6px;font-size:.8rem;color:var(--atlas-muted);line-height:1.6}
.atlas-section{padding:75px 0;border-bottom:1px solid var(--atlas-line)}
.atlas-head{display:flex;align-items:end;justify-content:space-between;gap:36px;margin-bottom:30px}
.atlas-head h2{font:500 clamp(2.15rem,4.5vw,4.3rem)/1.12 Georgia,"Times New Roman",serif;letter-spacing:-.04em;max-width:770px;margin:10px 0 0}
.atlas-head>p{max-width:345px;font-size:.84rem;line-height:1.72;color:var(--atlas-muted);margin:0}
.atlas-feature{display:grid;grid-template-columns:minmax(0,1.25fr) minmax(0,1fr);border:1px solid var(--atlas-line);border-radius:6px;overflow:hidden;margin-bottom:12px;background:var(--atlas-panel)}
.atlas-feature-copy{padding:clamp(23px,3.6vw,47px);display:flex;flex-direction:column;justify-content:center}
.atlas-feature-copy h3{font:500 clamp(1.6rem,2.8vw,2.65rem)/1.23 Georgia,serif;letter-spacing:-.025em;margin:12px 0}
.atlas-feature-copy p{color:var(--atlas-muted);font-size:.88rem;line-height:1.8;margin:0}
.atlas-feature-copy .atlas-source-link{margin-top:26px}
.atlas-formula{font:500 clamp(1.22rem,2vw,1.7rem)/1.7 Georgia,serif;margin:13px 0 0;color:#e4eef4}
.atlas-feature-code{padding:25px;border-left:1px solid var(--atlas-line);background:#06121e;display:flex;flex-direction:column;justify-content:center;min-width:0}
.atlas-code-label{font:700 .65rem ui-monospace,monospace;color:var(--atlas-faint);letter-spacing:.06em;text-transform:uppercase;margin:0 0 14px}
.atlas-feature-code pre,.atlas-proof-code{font:400 .73rem/1.7 ui-monospace,SFMono-Regular,Consolas,monospace;color:#c6d9e8;white-space:pre-wrap;overflow-wrap:anywhere;margin:0;tab-size:2}
.atlas-source-link{display:inline-flex;align-items:center;gap:7px;color:var(--atlas-accent);font-size:.79rem;font-weight:750;text-decoration:none}
.atlas-source-link:hover{text-decoration:underline}
.atlas-browser-bar{display:flex;justify-content:space-between;align-items:center;gap:17px;margin:0 0 22px}
.atlas-browser-bar>p{color:var(--atlas-muted);margin:0;font-size:.8rem}
.atlas-search{width:min(440px,100%);background:#091a2a;border:1px solid var(--atlas-line);border-radius:5px;color:var(--atlas-ink);padding:12px 13px;font:inherit;font-size:.86rem}
.atlas-search:focus{outline:2px solid var(--atlas-accent);outline-offset:2px}
.atlas-explorer{display:grid;grid-template-columns:225px minmax(0,1fr);gap:36px;align-items:start}
.atlas-filters{position:sticky;top:93px;border-top:1px solid var(--atlas-line);padding-top:17px}
.atlas-filter-heading{font:.71rem ui-monospace,monospace;color:var(--atlas-faint);margin:0 0 12px}
.atlas-filter{display:flex;align-items:center;justify-content:space-between;gap:12px;width:100%;border:0;background:none;text-align:left;color:var(--atlas-muted);padding:9px 11px;border-radius:4px;font:.81rem/1.35 system-ui,sans-serif;cursor:pointer}
.atlas-filter span:last-child{font:.7rem ui-monospace,monospace;color:var(--atlas-faint)}
.atlas-filter:hover,.atlas-filter[aria-pressed=true]{background:#122e40;color:var(--atlas-ink)}
.atlas-filter[aria-pressed=true]{box-shadow:inset 2px 0 var(--atlas-accent)}
.atlas-filter-sep{height:1px;background:var(--atlas-line);margin:16px 0}
.atlas-results{display:grid;gap:12px}
.atlas-proof-card{border:1px solid var(--atlas-line);background:#0b1928;border-radius:5px;padding:26px 28px}
.atlas-proof-card:hover{border-color:#3c586d}
.atlas-proof-top{display:flex;align-items:center;gap:13px;justify-content:space-between;margin-bottom:11px}
.atlas-index{font:700 .72rem ui-monospace,monospace;color:var(--atlas-accent)}
.atlas-repo{font:.68rem ui-monospace,monospace;color:var(--atlas-faint);text-align:right}
.atlas-proof-card h3{font:500 1.52rem/1.25 Georgia,serif;margin:0 0 11px}
.atlas-proof-card>p{margin:0 0 16px;color:var(--atlas-muted);font:.84rem/1.73 system-ui,sans-serif}
.atlas-proof-code{background:#06121e;border-left:2px solid #466f87;padding:14px 17px;color:#bfd2dd}
.atlas-proof-links{display:flex;align-items:center;flex-wrap:wrap;gap:14px;margin:17px 0 0}
.atlas-tag{font:.67rem ui-monospace,monospace;color:var(--atlas-faint)}
.atlas-scope{margin:0 0 10px!important;padding:12px 14px;background:rgba(255,255,255,.018);font-size:.8rem!important}
.atlas-proof-card details{margin-top:15px}
.atlas-proof-card summary{cursor:pointer;color:var(--atlas-accent);font-size:.78rem;font-weight:700}
.atlas-proof-card details pre{margin-top:14px}
.atlas-no-results{padding:20px;color:var(--atlas-muted);border:1px solid var(--atlas-line)}
.atlas-repo-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px}
.atlas-repo-card{border:1px solid var(--atlas-line);border-radius:5px;display:flex;justify-content:space-between;gap:17px;padding:24px;text-decoration:none;color:var(--atlas-ink);background:var(--atlas-panel)}
.atlas-repo-card:hover{border-color:var(--atlas-accent)}
.atlas-repo-card h3{font:600 1rem system-ui,sans-serif;margin:7px 0 10px}
.atlas-repo-card p{max-width:450px;color:var(--atlas-muted);font-size:.81rem;line-height:1.63;margin:0}
.atlas-repo-card strong{font:500 2.15rem Georgia,serif;color:var(--atlas-accent);white-space:nowrap}
.atlas-caution{color:var(--atlas-muted);font-size:.8rem;line-height:1.75;margin-top:21px;max-width:1000px}
.atlas-bottom{padding:72px 0 98px;display:grid;grid-template-columns:minmax(0,1fr) auto;gap:25px;align-items:center}
.atlas-bottom h2{font:500 clamp(2rem,4vw,3.4rem)/1.2 Georgia,serif;margin:8px 0 10px}
.atlas-bottom p{color:var(--atlas-muted);line-height:1.75;max-width:660px;margin:0}
@media(max-width:1050px){.atlas-feature{grid-template-columns:1fr}.atlas-feature-code{border-left:0;border-top:1px solid var(--atlas-line)}.atlas-hero-grid{grid-template-columns:1fr}.atlas-hero-note{display:none}}
@media(max-width:800px){.atlas-explorer{grid-template-columns:1fr}.atlas-filters{position:static;display:flex;flex-wrap:wrap;gap:5px;border:0;padding:0}.atlas-filter-heading,.atlas-filter-sep{display:none}.atlas-filter{width:auto;border:1px solid var(--atlas-line)}.atlas-head{display:block}.atlas-head>p{margin-top:18px}.atlas-bottom{grid-template-columns:1fr}}
@media(max-width:640px){.atlas-shell{width:min(100% - 32px,1220px)}.atlas-hero{padding-top:120px;padding-bottom:40px}.atlas-hero h1{font-size:clamp(3rem,12vw,4.4rem)}.atlas-section{padding:50px 0}.atlas-facts{grid-template-columns:1fr}.atlas-facts>div,.atlas-facts>div+div{padding:16px 0;border-right:0;border-bottom:1px solid var(--atlas-line)}.atlas-facts>div:last-child{border-bottom:0}.atlas-repo-grid{grid-template-columns:1fr}.atlas-browser-bar{flex-direction:column;align-items:stretch}.atlas-search{width:100%}.atlas-proof-card{padding:20px}.atlas-feature-copy{padding:24px}.atlas-feature-code{padding:20px}}
@media(prefers-reduced-motion:reduce){.atlas-action,.atlas-filter,.atlas-proof-card{transition:none!important}}

.atlas-file-browser{margin-top:32px;border-top:1px solid var(--atlas-line);padding-top:31px}
.atlas-file-head{display:flex;justify-content:space-between;align-items:end;gap:25px}
.atlas-file-head h3{font:500 clamp(1.6rem,2.8vw,2.5rem)/1.2 Georgia,serif;margin:8px 0}
.atlas-file-head p:not(.atlas-kicker){font-size:.8rem;color:var(--atlas-muted);line-height:1.68;max-width:710px}
.atlas-file-list{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;margin-top:14px}
.atlas-file-item{display:flex;align-items:center;gap:15px;justify-content:space-between;min-width:0;padding:13px 16px;background:#0b1928;border:1px solid var(--atlas-line);border-radius:4px}
.atlas-file-item:hover{border-color:#456981}
.atlas-file-path{min-width:0}
.atlas-file-path span{display:block;font:.66rem ui-monospace,monospace;color:var(--atlas-faint);margin-bottom:5px}
.atlas-file-path a{display:block;color:var(--atlas-ink);font:.73rem/1.5 ui-monospace,monospace;text-decoration:none;overflow-wrap:anywhere}
.atlas-file-path a:hover{color:var(--atlas-accent)}
.atlas-file-item strong{font:700 .65rem ui-monospace,monospace;color:var(--atlas-accent);white-space:nowrap}
.atlas-file-more-wrap{display:flex;justify-content:center;margin-top:23px}
@media(max-width:800px){.atlas-file-head{align-items:start;flex-direction:column}.atlas-file-list{grid-template-columns:1fr}}

.atlas-logic{border-top:1px solid var(--atlas-line);padding-top:16px;margin-top:22px}
.atlas-logic .atlas-code-label{display:block;color:var(--atlas-accent);margin-bottom:8px}
.atlas-feature-copy .atlas-logic p{font-size:.8rem;line-height:1.68}
.atlas-logic pre{white-space:pre-wrap;overflow-wrap:anywhere;font:.69rem/1.62 ui-monospace,SFMono-Regular,Consolas,monospace;background:#06121e;border-left:2px solid #456f8b;padding:10px 12px;margin:12px 0 0;color:#d1e1ed}