:root{font-family:Inter,ui-sans-serif,system-ui,sans-serif;color:#ece5d6;background:#0c151e;font-synthesis:none;color-scheme:dark}*{box-sizing:border-box}body{margin:0}button,textarea{font:inherit}button{border:1px solid #46505a;border-radius:5px;background:#172431;color:#eee8da;padding:10px 14px;cursor:pointer}button:hover{background:#263a48}button[aria-pressed=true]{border-color:#e7bd66;background:#303638;color:#f9ce7c}button:disabled{opacity:.45;cursor:default}button:focus-visible,textarea:focus-visible,summary:focus-visible{outline:3px solid #e8bd66;outline-offset:4px}header{display:flex;justify-content:space-between;align-items:center;padding:24px 36px;border-bottom:1px solid #31404c}.brand{display:flex;align-items:center;gap:14px;font-size:13px;letter-spacing:2px;font-weight:750}.brand small{display:block;letter-spacing:.2px;font-size:12px;color:#9eaeb7;margin-top:8px;font-weight:400}.gem{font-size:40px;color:#f4c875}nav{display:flex;gap:10px;padding:18px 36px;align-items:center;border-bottom:1px solid #31404c}.local{margin-left:auto;color:#8b9ca6;font-size:10px;letter-spacing:2px}.workspace{display:grid;grid-template-columns:270px minmax(0,1fr);min-height:75vh}.rail{padding:32px 24px;border-right:1px solid #31404c;background:linear-gradient(145deg,#172633,#0d1720)}h2{font-size:18px}.rail p,.note{font-size:13px;line-height:1.7;color:#aeb9bd}.edition{width:100%;text-align:left;margin:6px 0;padding:17px 12px}.edition small{display:block;margin-top:7px;color:#a3b0b5;font-size:11px}.invariant{line-height:2;font-size:12px;margin:30px 0;padding-top:22px;border-top:1px solid #45515a}.rail>button:not(.edition){margin:5px 3px}.content{max-width:1120px;width:100%;margin:auto;padding:46px clamp(20px,5vw,78px)}h1{font-family:Georgia,serif;font-weight:400;font-size:clamp(34px,4vw,58px);line-height:1.1;margin:20px 0 30px;letter-spacing:-1.5px}.eyebrow{font-size:10px;color:#d1b26c;letter-spacing:2px}.progress{height:3px;background:#33414a;margin-bottom:34px}.progress span{display:block;background:#efc878;height:100%}article{max-width:700px}article p{font:19px/1.9 Georgia,serif;white-space:pre-wrap;color:#dfd9ca}.event-number{font-size:10px;letter-spacing:3px;color:#b8a06e;border-top:1px solid #31404c;padding-top:22px;margin-top:34px}.last-line{font:italic 30px/1.6 Georgia,serif!important;color:#f0cb83;border-left:2px solid #d8af62;padding:20px;margin:35px 0}.known{background:#192935;padding:20px 25px;margin-top:35px;border-top:2px solid #567480}.known p{font:15px/1.7 Georgia,serif;white-space:pre-wrap}.known b{font:11px monospace;color:#d7bd7f}.known small{color:#a4b5bf}.transport{display:flex;justify-content:space-between;align-items:center;margin-top:28px;gap:10px}.transport span{font-size:11px;color:#a6b1b9}.primary{background:#dec18b;color:#18222b;border-color:#dec18b}.primary:hover{background:#f0d09a}.annotation{border:1px solid #6c654b;padding:24px;margin-top:24px}.comparison{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:14px}.comparison section{border:1px solid #49545b;padding:20px}.comparison p,.comparison li{font-size:14px;line-height:1.8}.proof{display:flex;flex-wrap:wrap;gap:18px;border:1px solid #547565;padding:20px;color:#bfdbc7;font-size:13px}.proof span{width:100%;font-size:12px}details{padding:14px 0}summary{cursor:pointer;color:#cfbd99}details p{line-height:1.8;white-space:pre-wrap}textarea{width:100%;resize:vertical;background:#08121a;border:1px solid #5d696f;padding:18px;font:13px/1.6 ui-monospace,monospace;color:#dce2de;margin-top:10px}label{display:block;margin-top:25px}.actions{display:flex;flex-wrap:wrap;gap:8px;margin:18px 0}footer{border-top:1px solid #40505a;padding:24px 36px;font-size:12px}footer [role=status]{color:#f3d097}.privacy{max-width:920px;font-size:12px;line-height:1.7}.privacy button{margin-right:8px}@media(max-width:850px){.workspace{grid-template-columns:1fr}.rail{border-right:0;display:flex;flex-wrap:wrap;gap:10px;padding:20px}.rail h2,.rail>p,.invariant{display:none}.edition{width:auto;flex:1;min-width:150px}.comparison{grid-template-columns:1fr}header,nav,footer{padding:18px}.local{display:none}.content{padding:32px 22px}nav{flex-wrap:wrap}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;animation:none!important;transition:none!important}}