/* Results and tools share the site's existing editorial typography and themes. */
.research-intro{max-width:var(--mid-w,1100px);margin:0 auto 2.5rem;padding:2.5rem 0 0}
.research-intro h1,.research-intro h2{font:600 clamp(1.8rem,3vw,2.5rem)/1.22 var(--serif);letter-spacing:-.025em;text-wrap:balance;margin:.5rem 0 1rem}
.research-intro>p{max-width:44rem;color:var(--text-light);line-height:1.7}
.research-kicker,.research-kind{font:600 .8rem/1.5 var(--sans);color:var(--text-light);margin:0 0 .65rem}
.research-section{margin:3rem 0}
.research-section>h2{font:600 1.55rem/1.3 var(--serif);margin:0 0 1rem}
.research-findings{display:grid;grid-template-columns:minmax(0,1.3fr) minmax(0,1fr);gap:0 3rem}
.research-finding{padding:1.6rem 0;border-top:1px solid var(--border);min-width:0}
.research-finding h3{font:600 1.3rem/1.35 var(--serif);margin:0 0 .85rem;text-wrap:balance}
.research-finding h3 a{color:var(--text);text-decoration:none}
.research-finding>p{margin:.6rem 0;line-height:1.65}
.research-finding .research-scope{font:400 .9rem/1.6 var(--sans);color:var(--text-light)}
.research-links{display:flex;align-items:center;flex-wrap:wrap;gap:1rem;margin-top:1rem;font:600 .95rem/1.5 var(--sans)}
.research-topics{margin-top:2rem}
.research-topic{padding:1.5rem 0;border-top:1px solid var(--border);scroll-margin-top:5rem}
.research-topic h3{font:600 1.2rem/1.4 var(--sans);margin:0 0 .65rem}
.research-topic h3 a{color:var(--text)}
.research-topic p{margin:.6rem 0;line-height:1.7}
.research-topic details{margin:.8rem 0;padding:.5rem 0;font-family:var(--sans)}
.research-topic summary{cursor:pointer;color:var(--text-light);font-weight:600}
.research-topic details ul{padding-left:1.3rem}
.research-topic .research-scope{font:.92rem/1.6 var(--sans);color:var(--text-light)}
.research-negative{padding:0;list-style:none}
.research-negative li{margin:1.6rem 0}
.research-negative h3{font:600 1.08rem/1.4 var(--sans);margin:0 0 .4rem}
.research-negative p{margin:0;line-height:1.7;color:var(--text-light)}
.research-index-jump{display:flex;flex-wrap:wrap;gap:.65rem 1.3rem;font:600 .95rem/1.5 var(--sans);margin:1.5rem 0 2rem}
.research-tool-list{margin:1.5rem 0 2rem}
.research-tool{padding:1.3rem 0;border-top:1px solid var(--border)}
.research-tool h2{font:600 1.35rem/1.3 var(--serif);margin:0 0 .6rem}
.research-tool p{margin:.5rem 0;color:var(--text-light);line-height:1.7}
.research-home{max-width:1100px;margin:0 auto 3rem;padding:0 1rem}
.research-home+.home-list{border-top:1px solid var(--border);padding-top:2rem}
.research-home-title{font:600 1.6rem/1.3 var(--serif)}
.research-hub{max-width:1100px;margin:0 auto;padding:2.7rem 2rem 4rem;color:var(--text)}
.research-hub>header{max-width:46rem;margin-bottom:2.5rem}
.research-hub h1{font:600 clamp(2rem,4vw,3rem)/1.2 var(--serif);letter-spacing:-.03em;text-wrap:balance;margin:.65rem 0 1.2rem}
.research-hub>header>p{font:400 1.1rem/1.75 var(--serif);color:var(--text-light)}
.research-hub .research-section{margin:2.5rem 0}
.research-hub-stats{display:flex;flex-wrap:wrap;gap:1rem 3rem;padding:1.3rem 0;border-block:1px solid var(--border);font:.92rem/1.6 var(--sans)}
.research-hub-stats strong{display:block;font:600 1.6rem/1.3 var(--sans);font-variant-numeric:tabular-nums;color:var(--text)}
.research-hub-tasks{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:2rem}
.research-hub-task:first-child{grid-column:1/-1}
.research-hub-task{min-width:0;padding:1.3rem 0;border-top:1px solid var(--border)}
.research-hub-task h3{font:600 1.25rem/1.3 var(--serif);margin:0 0 .85rem}
.research-hub-task p{font:400 .97rem/1.7 var(--sans);color:var(--text-light);margin:0 0 1rem}
.research-hub-task>a{font:600 1rem/1.5 var(--sans)}
.atlas-navigation{position:relative;z-index:20;display:flex;align-items:center;flex-wrap:wrap;gap:.6rem 1.2rem;padding:.7rem max(1rem,calc((100vw - 1500px)/2));background:var(--bg);border-bottom:1px solid var(--border);font:600 .87rem/1.5 var(--sans);color:var(--text)}
.atlas-navigation a{color:var(--text-light);text-decoration:none;padding:.25rem 0}
.atlas-navigation-brand{color:var(--text)!important;margin-right:auto}
.atlas-navigation-main{display:flex;flex-wrap:wrap;gap:1.2rem}
.atlas-navigation a[aria-current=page]{color:var(--accent);text-decoration:underline;text-underline-offset:.4rem}
.atlas-navigation-help{position:relative;margin:0 0 0 1rem}
.atlas-navigation-help summary{cursor:pointer;color:var(--text-light)}
.atlas-navigation-help>div{position:absolute;right:0;top:calc(100% + .65rem);width:16rem;padding:.7rem 1rem;border:1px solid var(--border);background:var(--bg);box-shadow:0 .3rem .8rem rgba(0,0,0,.06)}
.atlas-navigation-help>div>a{display:block;padding:.5rem 0;line-height:1.5}
:is(.research-hub,.research-home,.research-section,.atlas-navigation) :is(a,button,summary):focus-visible{outline:3px solid var(--accent);outline-offset:4px;border-radius:2px}
@media(min-width:941px){.proof-atlas-app-page .pa-page.pa-page--app{height:calc(100dvh - 100px)}}
@media(max-width:940px){.atlas-navigation-main{gap:1rem}.atlas-navigation-help{margin-left:0}}
@media(max-width:650px){.research-findings,.research-hub-tasks{grid-template-columns:1fr;gap:0}.research-hub{padding:1.8rem 1.25rem 3rem}.research-intro{padding-top:1rem}.atlas-navigation{gap:.6rem;padding:.65rem 1rem}.atlas-navigation-brand{width:100%}.atlas-navigation-help>div{left:0;right:auto}.research-hub-stats{gap:1rem 2rem}.research-section{margin:2rem 0}}

.pa-reference-scales{margin:2rem 0;padding:1rem 0;border-top:1px solid var(--border)}.pa-reference-scales>summary{cursor:pointer;font:600 1rem/1.5 var(--sans);color:var(--text)}

.research-index .research-negative{max-width:46rem}.research-index .research-topic>p{max-width:50rem}

.research-hub p a,.research-topic p a{text-decoration:underline;text-underline-offset:.15em}