*{box-sizing:border-box}html{color-scheme:dark;scroll-behavior:smooth}body{margin:0;background:#080c12;color:#c0cede;font:16px/1.75 "Segoe UI",system-ui,sans-serif}a{color:#92ebd1;text-underline-offset:4px}a:hover{color:#d1fff1}a:focus-visible,summary:focus-visible{outline:2px solid #78f7d1;outline-offset:5px;border-radius:3px}.skip{position:absolute;left:16px;top:-70px;z-index:3;background:#162e29;padding:8px 16px}.skip:focus{top:8px}.research-nav{max-width:1080px;margin:auto;padding:24px 28px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid #23303e;gap:20px;font-size:13px}.research-nav>div{display:flex;gap:25px;flex-wrap:wrap}.research-nav a{text-decoration:none;color:#a6b9cf}.research-nav a[aria-current=page]{color:#8ef1d1}.lab-wordmark{font-weight:650;color:#eef5fc!important;letter-spacing:-.3px}.page{max-width:1080px;padding:54px 28px 35px;margin:auto}.eyebrow{color:#78f7d1;font-size:10px;letter-spacing:2.1px;text-transform:uppercase;font-weight:650}.hero h1{font-size:clamp(35px,4.5vw,57px);line-height:1.13;letter-spacing:-1.8px;color:#f0f6ff;font-weight:650;max-width:850px;margin:21px 0}.lead{font-size:19px;line-height:1.7;max-width:760px;color:#aebfd3}.status{display:inline-flex;gap:9px;align-items:center;border:1px solid #59482e;background:#211c15;color:#f1ca88;border-radius:30px;padding:6px 13px;font-size:11px;letter-spacing:.35px}.status:before{content:"";background:#f1ca88;width:5px;height:5px;border-radius:50%}.notice{margin:34px 0;border:1px solid #584831;border-left:3px solid #e4ba77;background:linear-gradient(115deg,#221f1a,#101821);padding:27px 30px;border-radius:10px}.notice h2{color:#f4d9ae;margin:0 0 8px;font-size:23px}.notice p{margin:8px 0;max-width:800px}.peek-gate{margin-top:23px;border-top:1px solid #514837;padding-top:17px}.peek-gate summary{cursor:pointer;color:#f1d6a9;font-size:14px;font-weight:600;width:fit-content}.downloads{display:flex;gap:13px;flex-wrap:wrap;margin:21px 0 9px}.button{display:inline-flex;flex-direction:column;text-decoration:none;border:1px solid #376a61;border-radius:8px;background:#132c27;color:#baf5e3;padding:11px 17px;font-size:14px;font-weight:600}.button small{color:#92b8ab;font-size:11px;font-weight:400}.button.secondary{background:#131e2b;border-color:#33495e;color:#c1d5e8}.small{font-size:12px;color:#8da0b7}.section{margin:55px 0}.section h2{font-size:27px;color:#e5eef9;letter-spacing:-.7px;line-height:1.3;margin:0 0 20px}.section h3{font-size:17px;color:#dbe8f6;line-height:1.5;margin:0 0 11px}.grid{display:grid;grid-template-columns:1fr 1fr;gap:18px}.card{border:1px solid #293748;border-radius:10px;padding:25px;background:#101720}.card p{margin:0 0 14px}.card p:last-child{margin-bottom:0}.formula{font:28px/1.6 "Cambria Math",Georgia,serif;color:#a8f1d9;margin:18px 0}.triptych{display:grid;grid-template-columns:repeat(3,1fr);gap:14px;margin:24px 0}.triptych figure{margin:0;min-width:0}.triptych img{width:100%;height:auto;display:block;border:1px solid #304153;border-radius:7px}.triptych figcaption{font-size:12px;color:#9aaec6;margin:10px 0}.triptych figcaption b{font-weight:600;color:#c6d9ec;display:block}.callout{border-left:2px solid #78f7d1;padding-left:21px;margin:24px 0}.steps{display:grid;grid-template-columns:repeat(4,1fr);gap:12px;margin:25px 0}.step{background:#101923;border:1px solid #263848;border-radius:8px;padding:19px}.step span{font:11px monospace;color:#78f7d1}.step h3{margin:10px 0}.step p{font-size:13px;margin:0}.timeline{border-left:1px solid #345148;margin:26px 0 0 8px;padding-left:30px}.timeline article{position:relative;margin:0 0 36px}.timeline article:before{content:"";position:absolute;width:7px;height:7px;left:-34px;top:9px;border-radius:50%;background:#78f7d1;box-shadow:0 0 0 5px #101c1b}.timeline h3{margin:7px 0 10px}.timeline p{margin:9px 0}.timeline .when{font:10px/1.5 monospace;letter-spacing:1px;color:#7ba79a}.version{margin-bottom:15px}.version summary{cursor:pointer;padding:18px 20px;color:#c9e7dd;background:#121e24;border:1px solid #2b423f;border-radius:7px;font-size:14px}.version-body{padding:24px;border:1px solid #2b423f;border-top:0;border-radius:0 0 7px 7px}.version-body h3{font-size:16px}.version-body p{font-size:14px}.hash{display:block;font:10px/1.6 monospace;color:#91a5b7;overflow-wrap:anywhere;margin:7px 0 16px}.versions-links{font-size:13px;display:flex;gap:20px;flex-wrap:wrap}.page-footer{border-top:1px solid #273441;margin-top:55px;padding-top:23px;font-size:12px;color:#8093a9;display:flex;justify-content:space-between;gap:25px;flex-wrap:wrap}.prose{max-width:810px}.prose p{margin:0 0 18px}details[open]>summary{border-bottom-left-radius:0;border-bottom-right-radius:0}@media(max-width:700px){.page{padding:33px 20px}.research-nav{padding:19px 20px;align-items:flex-start}.research-nav>div{gap:13px;justify-content:flex-end;font-size:12px}.grid,.steps{grid-template-columns:1fr}.triptych{grid-template-columns:1fr}.triptych img{max-width:650px}.notice{padding:23px 20px}.hero h1{letter-spacing:-1px}.lead{font-size:17px}.section{margin:38px 0}.timeline{padding-left:23px}.timeline article:before{left:-27px}.version-body{padding:19px}.hortrame-identity a{font-size:10px}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}

.hero h1{font-size:clamp(32px,4vw,49px);letter-spacing:-1.3px}.hero .lead{font-size:18px}.prose{max-width:860px}.section p{max-width:860px}.paper-title{max-width:950px!important}.version-body p{max-width:850px}.notice .small{color:#abb5c2}.language-panel .section:first-child{margin-top:35px}

.proof-downloads{align-items:center}.reference-download{display:inline-flex;flex-direction:column;padding:7px 2px;color:#a6bac8;font-size:12px;line-height:1.5;text-decoration:none}.reference-download:hover{color:#d1fff1}.reference-download small{color:#748b9c;font-size:10px}@media(max-width:700px){.proof-downloads{align-items:flex-start}.reference-download{padding-left:2px}}