/* The research companion changes only the desktop settlement section. */
.proof-research{display:none}
@media(min-width:1000px){
 #proof>.tech-layout{grid-template-columns:minmax(0,1.05fr) minmax(0,1fr);gap:clamp(40px,5vw,76px);align-items:center}
 #proof .tech-copy{padding:0;align-self:center}
 #proof .tech-copy-head h2{margin:16px 0 14px;font-size:clamp(34px,3vw,44px)}
 #proof .tech-copy-head .tech-description{font-size:14px;line-height:1.85;max-width:560px}
 #proof .proof-research{display:block;margin-top:28px;padding-top:25px;border-top:1px solid rgba(172,158,203,.22)}
 #proof .proof-research-meta{display:flex;justify-content:space-between;align-items:center;gap:16px;color:#a591c1;font:10px/1.5 Arial,sans-serif;letter-spacing:1.5px}
 #proof .proof-research-meta time{color:#777f94;font-family:"SFMono-Regular",Consolas,monospace;letter-spacing:.6px}
 #proof .proof-research h3{margin:16px 0 13px;color:#e7e1f0;font-size:clamp(23px,2vw,29px);line-height:1.48;font-weight:500;letter-spacing:-.4px;text-wrap:pretty}
 #proof .proof-research-summary{max-width:560px;margin:0;color:#9294a8;font-size:13px;line-height:1.85}
 #proof .proof-research-points{display:grid;gap:13px;margin:21px 0 0;padding:0;list-style:none}
 #proof .proof-research-points li{display:grid;grid-template-columns:24px 1fr;column-gap:12px;align-items:start;color:#9198af;font-size:12px;line-height:1.65}
 #proof .proof-research-points li>span{color:#7f749b;font:10px/1.9 "SFMono-Regular",Consolas,monospace;padding-top:1px}
 #proof .proof-research-points strong{color:#cdc8df;font-weight:500;margin-right:10px}
 #proof .proof-research-equation{margin:21px 0 0;padding:13px 0 13px 16px;border-left:2px solid #8a75b5;background:linear-gradient(90deg,rgba(90,70,128,.09),transparent);color:#b6b5d0;font-size:13px;line-height:1.65;letter-spacing:.15px}
 #proof .proof-research-equation>span{display:block;font-family:Georgia,"Times New Roman",serif;font-size:17px;line-height:1.6;letter-spacing:0}
 #proof .proof-research-equation small{display:block;margin-top:5px;color:#8e91a8;font-family:Georgia,"Times New Roman",serif;font-size:15px;letter-spacing:0}
 #proof .proof-research-equation sub{font-size:.7em}
 #proof .proof-research-footer{display:flex;align-items:center;justify-content:space-between;gap:16px;margin-top:24px}
 #proof .proof-research-footer>span{color:#787e94;font-size:11px;letter-spacing:.3px}
 #proof .proof-research .research-card-read{min-width:145px;min-height:44px;gap:20px;font-size:13px;text-decoration:none}
 #proof .proof-research .research-card-read:hover{filter:brightness(1.14)}
 #proof .proof-research .research-card-read:focus-visible{outline:2px solid #bdacdf;outline-offset:5px}
}