body[data-subject="discrete-math"]{--brand:#0E7490;--brand-dark:#155E75;--brand-tint:#E9F6FA}
.skip-link{position:absolute;left:12px;top:-90px;padding:12px;background:#fff;z-index:100}.skip-link:focus{top:10px}
:focus-visible{outline:3px solid #0E7490;outline-offset:4px}
html{scroll-padding-top:90px}
.wrap.wide{max-width:1160px}
.research-hero{padding:0 0 42px;background:linear-gradient(135deg,#eff8fa,#f9fbfd 65%);border-bottom:1px solid #d9e7ec}
.research-hero .crumb{padding-top:22px}.crumb span{padding:0 8px}
.eyebrow{text-transform:uppercase;letter-spacing:.13em;font-size:11px!important;font-weight:750;color:#155E75}
.research-hero .eyebrow{margin:38px 0 14px}
.research-hero h1{font-size:clamp(38px,6.3vw,70px);line-height:1.04;color:#173448;letter-spacing:-.05em;max-width:850px;font-weight:800}
.research-dek{font-size:20px;line-height:1.6;max-width:720px;margin:24px 0;color:#435d6e}
.hero-links,.download-links{display:flex;align-items:center;flex-wrap:wrap;gap:18px;margin:24px 0}
.research-button{display:inline-flex;align-items:center;justify-content:center;gap:24px;padding:11px 18px;background:#155E75;color:#fff;border:1px solid #155E75;border-radius:7px;font-weight:650;font-size:14px;text-decoration:none}
.research-button:hover{background:#10485b;color:#fff;text-decoration:none}
.status-note{font-size:13px;line-height:1.65;max-width:780px;color:#4c6370;border-left:3px solid #659daf;padding-left:14px;margin-top:28px}
.status-note strong{color:#193e50}
.research-layout{display:grid;grid-template-columns:minmax(0,790px) 200px;gap:64px;padding-top:26px}
.research-layout main{min-width:0}.research-layout article h2{font-size:26px;line-height:1.3;margin-top:38px}
.research-layout article a:not(.research-button){text-decoration:underline;text-underline-offset:3px}
.research-layout article p,.research-layout article li{font-size:17px;line-height:1.85}
.research-toc{position:sticky;top:96px;align-self:start;margin-top:22px;font-size:13px;border-left:1px solid #dce5eb;padding-left:23px;line-height:1.65}
.research-toc nav{display:grid;gap:10px;margin:16px 0 27px}.research-toc>a{display:block;margin-top:10px}.research-toc>p:not(.eyebrow){font-weight:650;color:#556674}
.research-glossary{margin:22px 0}.research-glossary>div{display:grid;grid-template-columns:138px 1fr;gap:18px;padding:15px 0;border-bottom:1px solid #e0e7ed}.research-glossary dt{font-weight:750;color:#193e50}.research-glossary dd{font-size:16px;line-height:1.75}
.parity-lab,.growth-lab{border:1px solid #cbdfe6;border-radius:14px;padding:24px;margin:24px 0;background:#f8fbfc}.parity-lab h3,.growth-lab h3{margin-top:10px}
.bits{display:flex;gap:10px;margin:24px 0}.bits button{width:60px;height:66px;border:2px solid #708a99;border-radius:8px;background:#fff;color:#345364;font:700 28px var(--mono);cursor:pointer}.bits button[aria-pressed="true"]{background:#155e75;border-color:#155e75;color:#fff}.bits button:hover{box-shadow:0 0 0 3px #b5d9e4}
.lab-result{font-weight:700;color:#173448}.xor-trace{font-family:var(--mono);font-size:13px!important;overflow-wrap:anywhere}.lab-caption{font-size:13px!important;color:#536571;line-height:1.65!important}
.growth-lab label{display:block;font-weight:600;margin:20px 0 10px}.growth-lab input{width:100%;accent-color:#155e75;cursor:pointer;height:32px}.growth-metrics{display:grid;grid-template-columns:1fr 1fr;gap:12px;margin:20px 0}.growth-metrics>div{background:#fff;border:1px solid #dce5eb;padding:17px;border-radius:9px;min-width:0}.growth-metrics span{display:block;font-size:12px;color:#526979}.growth-metrics strong{display:block;font-size:clamp(20px,3vw,34px);letter-spacing:-.04em;line-height:1.35;padding:8px 0;color:#193e50;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}
.theorem{padding:18px 22px;border-left:4px solid #0E7490;background:#edf6f8;margin:20px 0}.theorem p{margin:6px 0}.proof-steps li{padding-left:5px;margin:17px 0}
.math-block{font-family:var(--mono);font-size:15px;line-height:2;padding:18px 22px;margin:20px 0;background:#f5f7f9;border:1px solid #e0e6ec;border-radius:8px;overflow-wrap:anywhere;color:#173448}
.table-scroll{overflow-x:auto;margin:24px 0;border:1px solid #e0e6ec;border-radius:8px}.table-scroll .cmp{margin:0;min-width:560px;font-size:13px}.table-scroll caption{text-align:left;padding:13px 14px;font-size:12px;line-height:1.7;color:#536571}.table-scroll .cmp th,.table-scroll .cmp td{padding:11px 12px}
.research-finding{border:1px solid #cbdfe6;border-radius:10px;padding:4px 23px 14px;margin:26px 0;background:#f8fbfc}.research-code{white-space:pre-wrap;overflow-wrap:anywhere;background:#173448;color:#eef8fc;padding:18px;border-radius:8px;margin:20px 0;font-size:14px}.download-links{font-size:14px}
.publication-note{border-top:1px solid #e0e6ec;margin-top:42px;padding-top:8px}.publication-note h2{font-size:19px!important}.publication-note p{font-size:14px!important;color:#536571}
@media(max-width:1000px){.research-layout{grid-template-columns:minmax(0,1fr);gap:0;max-width:820px!important}.research-toc{display:none}}
@media(max-width:600px){.wrap{padding-left:20px;padding-right:20px}.research-hero{padding-bottom:28px}.research-hero .eyebrow{margin-top:28px}.research-dek{font-size:18px}.hero-links{gap:17px;font-size:13px}.research-layout article h2{font-size:24px}.research-glossary>div{grid-template-columns:1fr;gap:3px}.parity-lab,.growth-lab{padding:17px}.bits{gap:7px}.bits button{width:calc((100% - 35px)/6);max-width:56px;height:55px;font-size:24px}.growth-metrics{grid-template-columns:1fr;gap:10px}.growth-metrics strong{font-size:32px}.math-block{padding:14px;font-size:13px}.research-layout article p,.research-layout article li{font-size:16px}.logo{font-size:16px}header nav{gap:12px}header nav a{font-size:13px}header .wrap{gap:10px}header nav a:first-child{display:none}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*{transition:none!important}}
@media print{header,.research-toc,.hero-links,.bits,#size-control,footer{display:none}.research-layout{display:block}.research-hero{background:#fff}.research-hero h1{font-size:36px}.theorem,.parity-lab,.growth-lab{break-inside:avoid}}