:root{font-family:Inter,ui-sans-serif,system-ui,sans-serif;color:#173536;background:#f1f1e9;font-synthesis:none}*{box-sizing:border-box}body{margin:0}button,input,select,textarea{font:inherit}button,a,input,select,textarea,summary{outline-offset:4px}button{cursor:pointer;background:transparent;border:1px solid #b5c5bb;border-radius:6px;padding:10px 14px;color:inherit;font-size:13px}button:hover{background:#dce5d7;border-color:#48685d}button:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible,summary:focus-visible{outline:3px solid #e18d3f}header{display:flex;align-items:center;gap:34px;padding:26px 4vw;border-bottom:1px solid #bac8bd}.brand{display:flex;align-items:center;gap:12px;color:inherit;text-decoration:none;font-size:16px;line-height:1.05}.brand strong{font-weight:750}.symbol{background:#153a38;color:#deedc0;font-size:35px;border-radius:50%;width:52px;height:52px;text-align:center;line-height:48px}.edition{font-size:9px;letter-spacing:1.5px;line-height:1.9;color:#5b7468}.toolbar{display:flex;gap:8px;flex-wrap:wrap}header .toolbar{margin-left:auto}.primary,.isolate{background:#173d39;color:#eef4d9;border-color:#173d39}.primary:hover,.isolate:hover{background:#285a50}.intro{padding:42px 4vw 32px;display:flex;justify-content:space-between;align-items:end}.eyebrow{font-size:10px;letter-spacing:2px;font-weight:700;color:#5a776b}h1{font-size:clamp(38px,4.3vw,66px);letter-spacing:-3px;line-height:1.04;font-weight:500;margin:18px 0 0}h1 em{font-family:Georgia,serif;font-weight:400}.intro p{width:300px;font-size:14px;line-height:1.7;color:#62766d;margin-right:2vw}.workspace{display:grid;grid-template-columns:350px 1fr;margin:0 4vw;border:1px solid #b7c5b9;border-radius:12px;overflow:hidden;min-height:610px}.author{background:#e7ece1;padding:24px;border-right:1px solid #b7c5b9}.section-title{display:flex;justify-content:space-between;font-size:12px;font-weight:700;margin-bottom:18px}.section-title small{color:#6b7f72;font-size:10px}.author label{font-size:10px;color:#4d695f;display:block}.author textarea{width:100%;height:110px;padding:14px;margin-top:8px;background:#f7f8f0;border:1px solid #bccbbb;border-radius:7px;font:20px/1.5 Georgia,serif;resize:vertical;color:#153a38}.hint{font-size:11px;line-height:1.6;color:#6b7d73}.selection{display:flex;align-items:center;gap:8px;margin:16px 0}.selection label{flex:1}.selection input{width:70px}.selection input,select{border:1px solid #b7c9bb;background:#f3f6eb;color:#21453d;border-radius:4px;padding:7px;margin-top:5px;font-size:12px}.isolate{width:100%;margin-bottom:30px}.phrase{display:flex;align-items:center;gap:9px;padding:12px 0;border-top:1px solid #c4d0c0}.badge{font-size:9px;border:1px solid #a7bda8;border-radius:50%;padding:5px}.phrase div{flex:1;min-width:0;overflow-wrap:anywhere}.phrase bdi{font-family:Georgia,serif;font-size:19px}.phrase small{display:block;font-size:9px;color:#6a7d70;margin-top:5px}.phrase button{padding:2px 6px;border:0;font-size:20px}.phrase select{font-size:10px}.status{font-size:11px;line-height:1.6;background:#f6f7ea;border-left:2px solid #a0b463;padding:12px;margin-top:22px}.canvas{min-width:0;background:#fafaf3;padding:0 28px 24px}.canvas-bar{display:flex;justify-content:space-between;align-items:center;margin:20px 0;font-size:9px;letter-spacing:1px}.canvas-bar i{display:inline-block;width:6px;height:6px;border-radius:50%;background:#729a58;margin-right:6px}.canvas-bar label{display:flex;align-items:center;gap:8px}.canvas-bar select{margin:0}.paper{background:#173b39;color:#edf3da;min-height:260px;border-radius:8px;padding:25px 30px;position:relative;box-shadow:0 10px 25px #183b3915}.corner{font-size:8px;letter-spacing:1.8px;color:#a5bdb0}.paper p{font-family:Georgia,Times New Roman,serif;line-height:1.8;white-space:pre-wrap;overflow-wrap:anywhere;margin:38px 0;min-height:80px}.paper bdi{background:#345347;box-shadow:0 3px #bfd48f;border-radius:3px}.paper-foot{display:flex;align-items:center;justify-content:space-between;gap:12px;font-size:9px;color:#adbfad}.paper-foot label{display:flex;align-items:center;gap:8px}.paper-foot input{width:80px;accent-color:#c5d98f}.trace-head{display:flex;justify-content:space-between;align-items:center;margin-top:28px}h2{font-size:18px;font-weight:500;letter-spacing:-.4px}.pill{font-size:8px;letter-spacing:1px;background:#e7eddb;border-radius:20px;padding:7px 9px}.trace h3{font-size:10px;font-weight:650;margin:16px 0 12px}.trace h3 small{font-weight:400;color:#789080;margin-left:10px}.tokens{display:flex;flex-wrap:wrap;gap:4px}.tokens>span{display:flex;align-items:center;gap:4px;font-size:17px}.tokens small{align-self:start;font-size:7px;color:#66836c}.tokens i{font-size:10px;color:#b1c1ae;font-style:normal}.tokens bdi{min-width:14px}.lines{display:flex;flex-direction:column;gap:10px}.lines small{font-size:8px;color:#6f7f66;letter-spacing:1px}.lines p{margin:7px 0;line-height:2;font-size:10px;color:#98ab91;overflow-wrap:anywhere}.lines span{background:#e4ebda;padding:4px 7px;border-radius:4px;color:#386044}.lines .ambiguous{background:#f2e4c8;color:#735927}.studies{display:grid;grid-template-columns:1.1fr 1fr 1fr 1fr;gap:18px;padding:38px 4vw}.studies button{text-align:left;padding:18px;border-color:#bfccbc;background:#e9eee1}.studies button small{display:block;font-size:8px;letter-spacing:2px;color:#6b846b}.studies button bdi{display:block;font:23px/1.6 Georgia,serif;margin:18px 0;overflow-wrap:anywhere}.studies button span{font-size:11px}.proof{display:grid;grid-template-columns:1fr 1fr;gap:50px;padding:30px 4vw 45px;border-top:1px solid #c5cebf}.proof p{font-size:12px;line-height:1.7;color:#607767;max-width:560px}.proof details{border-bottom:1px solid #c2cebb;margin-bottom:12px;padding:12px 0;font-size:12px}summary{cursor:pointer}pre{white-space:pre-wrap;overflow-wrap:anywhere;font-size:10px;line-height:1.8}.proof textarea{width:100%;margin-top:15px;padding:12px;background:#fafbf4;border:1px solid #bbc9b4;color:#173536}footer{background:#173b39;color:#d9e6ce;padding:25px 4vw;display:flex;justify-content:space-between;font-size:10px;gap:30px}footer details{max-width:600px}footer p{line-height:1.7}footer button{color:#d9e6ce;margin-right:8px}@media(max-width:1000px){.workspace{grid-template-columns:310px 1fr}.canvas{padding:0 16px 20px}.paper{padding:18px}.edition{display:none}.studies{grid-template-columns:1fr 1fr}}@media(max-width:720px){header{flex-wrap:wrap;gap:20px}header .toolbar{margin:0}.intro{align-items:start;gap:20px}.intro p{width:40%;font-size:11px}h1{letter-spacing:-2px}.workspace{grid-template-columns:1fr}.author{border-right:0;border-bottom:1px solid #b7c5b9}.canvas{min-height:450px}.proof{grid-template-columns:1fr;gap:20px}.studies{grid-template-columns:1fr 1fr}.paper-foot{flex-wrap:wrap}footer{flex-direction:column}.trace-head{gap:10px}.pill{white-space:nowrap}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;animation:none!important;transition:none!important}}.phrase bdi{white-space:pre-wrap;tab-size:4}