.preregPage{color:#151a18;background:#f3f0e7}.preregHero{padding:8rem 0 3.5rem}.preregHero h1{font-family:var(--font-display),serif;letter-spacing:-.07em;max-width:1150px;margin:1.5rem 0 2rem;font-size:clamp(4rem,9vw,8.7rem);font-weight:500;line-height:.82}.preregHero h1 em,.preregControls h2 em,.preregVerifier h2 em,.preregBasis h2 em,.preregDark h2 em{color:#087f74;font-style:italic}.preregHero>p{max-width:800px;font-size:1.15rem;line-height:1.7}.preregActions{flex-wrap:wrap;gap:.7rem;margin:2.2rem 0;display:flex}.preregActions a{color:inherit;letter-spacing:.08em;border:1px solid #151a18;padding:.9rem 1.2rem;font-size:.76rem;font-weight:800;text-decoration:none}.preregActions .primary{color:#fff;background:#151a18}.preregProof{border-top:1px solid #b6b4aa;grid-template-columns:repeat(4,1fr);margin-top:4rem;display:grid}.preregProof div{border-right:1px solid #b6b4aa;padding:1.5rem 1rem}.preregProof b{font-family:var(--font-display),serif;font-size:2.8rem;display:block}.preregProof span{letter-spacing:.1em;font-size:.66rem}.preregControls,.preregVerifier,.preregBasis{padding:6rem 0}.preregControlGrid{border:1px solid #b9b7ad;grid-template-columns:repeat(4,1fr);display:grid}.preregControlGrid article{border-right:1px solid #b9b7ad;padding:2rem}.preregControlGrid article:last-child{border:0}.preregControlGrid span{color:#087f74;font-weight:900}.preregControlGrid b{margin:2rem 0 .7rem;display:block}.preregControlGrid p{color:#585f5b;font-size:.88rem;line-height:1.55}.preregDark{color:#f2efe6;background:#10201e;padding:6rem 0}.preregDark>.shell{grid-template-columns:1fr 1fr;align-items:end;gap:5rem;display:grid}.preregDark h2{font-family:var(--font-display),serif;letter-spacing:-.06em;margin:1rem 0;font-size:clamp(3rem,6vw,6rem);line-height:.9}.preregDark p{color:#afc2bd;line-height:1.7}.preregEquation{border-top:1px solid #506a65;border-bottom:1px solid #506a65;padding:2rem 0}.preregEquation>span,.preregEquation small{color:#5dd9c8;letter-spacing:.12em;font-size:.7rem}.preregEquation>b{font-family:var(--font-display),serif;letter-spacing:-.05em;margin:1.5rem 0;font-size:clamp(2rem,4vw,4.2rem);display:block}.preregLab{color:#edf1eb;background:#142724}.preregLab>header{border-bottom:1px solid #3d5b56;justify-content:space-between;align-items:center;padding:1rem 1.2rem;display:flex}.preregLab>header span,.preregEditor label{color:#96aaa6;letter-spacing:.12em;font-size:.65rem;display:block}.preregLab>header b{font-size:.85rem}.preregLab button{color:#eee;background:0 0;border:1px solid #4b6f68;margin-left:.3rem;padding:.6rem .7rem;font-weight:800}.preregLab .runPrereg{background:#087f74;border-color:#087f74}.preregWorkspace{grid-template-columns:1.15fr 1fr;min-height:620px;display:grid}.preregEditor{border-right:1px solid #3d5b56;flex-direction:column;padding:1.2rem;display:flex}.preregEditor textarea{color:#d8e5e1;resize:vertical;background:#0d1c1a;border:1px solid #3d5b56;flex:1;min-height:520px;margin-top:.8rem;padding:1rem;font:12px/1.55 monospace}.preregEditor footer{justify-content:space-between;padding-top:.8rem;font-size:.68rem;display:flex}.preregEditor a{color:#5dd9c8}.preregOutput{padding:1.2rem}.preregEmpty{text-align:center;color:#96aaa6;padding:7rem 1rem}.preregEmpty b{color:#edf1eb}.preregStatus{border:1px solid #496861;padding:1rem}.preregStatus span{color:#96aaa6;font-size:.65rem;display:block}.preregStatus b{margin:.4rem 0;font-size:2rem;display:block}.preregStatus.pass b{color:#a7dc82}.preregStatus.fail b,.preregStatus.invalid b{color:#ff8d70}.preregMetrics{grid-template-columns:1fr 1fr;gap:.6rem;margin:1rem 0;display:grid}.preregMetrics article{border:1px solid #3d5b56;padding:.8rem}.preregMetrics span,.preregMetrics small{color:#96aaa6;font-size:.62rem;display:block}.preregMetrics b{font-size:1.35rem}.preregGates article{border-top:1px solid #3d5b56;grid-template-columns:42px 1fr auto;align-items:start;gap:.7rem;padding:.8rem 0;display:grid}.preregGates span{color:#5dd9c8;font-weight:900}.preregGates p{color:#afc2bd;margin:.3rem 0;font-size:.75rem}.preregGates i{font-size:.65rem;font-style:normal}.preregGates .pass i{color:#a7dc82}.preregGates .fail i{color:#ff8d70}.preregLab>aside{border-top:1px solid #3d5b56;gap:2rem;padding:1rem 1.2rem;display:flex}.preregLab>aside p{color:#afc2bd;margin:0}.preregSourceGrid{border:1px solid #b9b7ad;grid-template-columns:repeat(4,1fr);display:grid}.preregSourceGrid a{color:inherit;border-right:1px solid #b9b7ad;flex-direction:column;min-height:190px;padding:1.5rem;text-decoration:none;display:flex}.preregSourceGrid a:last-child{border:0}.preregSourceGrid span,.preregSourceGrid i{letter-spacing:.1em;font-size:.66rem;font-style:normal}.preregSourceGrid span{color:#087f74}.preregSourceGrid b{font-family:var(--font-display),serif;margin:1.5rem 0 auto;font-size:1.55rem;line-height:1.1}.preregRule{color:#fff;background:#087f74;padding:2rem 0}.preregRule .shell{grid-template-columns:auto 1fr auto;align-items:center;gap:2rem;display:grid}.preregRule p{margin:0}.preregRule a{color:inherit;font-size:.75rem;font-weight:900;text-decoration:none}@media (max-width:800px){.preregHero{padding-top:6rem}.preregProof,.preregControlGrid,.preregSourceGrid{grid-template-columns:1fr 1fr}.preregDark>.shell,.preregWorkspace{grid-template-columns:1fr}.preregEditor{border-bottom:1px solid #3d5b56;border-right:0}.preregRule .shell{grid-template-columns:1fr}.preregLab>header{flex-direction:column;align-items:flex-start;gap:1rem}.preregLab button{margin:0 .2rem .25rem 0}}@media (max-width:520px){.preregProof,.preregControlGrid,.preregSourceGrid,.preregMetrics{grid-template-columns:1fr}.preregControlGrid article,.preregProof div,.preregSourceGrid a{border-bottom:1px solid #b9b7ad;border-right:0}}