:root{font-family:Arial,Helvetica,sans-serif;color:#25342b;background:#eef0e7;font-synthesis:none}*{box-sizing:border-box}body{margin:0}button,input,select,textarea{font:inherit}button{cursor:pointer;background:transparent;border:1px solid #bcc6b3;border-radius:6px;padding:10px 13px;color:inherit;transition:background .16s,transform .16s}button:hover{background:#dce7ce}button:active{transform:translateY(1px)}button:disabled{opacity:.4;cursor:default}button:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible{outline:3px solid #b36137;outline-offset:3px}header{height:88px;border-bottom:1px solid #cbd2c3;display:flex;align-items:center;gap:16px;padding:0 36px}.brand{display:flex;align-items:center;gap:15px;font-weight:700;font-size:18px;letter-spacing:3px}.brand>b{font-family:Georgia,serif;font-size:48px;letter-spacing:-9px;width:50px}.brand>b span{color:#889e5b}.brand small{display:block;font-size:9px;letter-spacing:2px;margin-top:5px}.header-note{margin-left:auto;font-size:10px;letter-spacing:2px;color:#6d7867}main{display:grid;grid-template-columns:285px minmax(0,1fr);min-height:calc(100vh - 132px)}aside{border-right:1px solid #cbd2c3;padding:35px 25px}h1{font-family:Georgia,serif;font-weight:400;font-size:44px;line-height:1.08;letter-spacing:-2px;margin:22px 0}h1 em{color:#778e51}p{line-height:1.6}.intro{font-size:13px;color:#697566;margin-bottom:30px}.eyebrow{font-size:9px;font-weight:700;letter-spacing:2px;color:#76866a;margin:0 0 12px}.glyph-list{display:grid;gap:7px;margin-bottom:16px}.glyph-list button{text-align:left;display:flex;align-items:center;gap:14px;border-color:transparent;padding:10px}.glyph-list button.chosen{background:#dce6ce;border-color:#bbcea4}.letter{font:32px Georgia;width:34px;text-align:center}.glyph-list small{display:block;font-size:10px;color:#6b7962;margin-top:5px}aside>button{margin:4px 3px 4px 0;font-size:11px}hr{border:0;border-top:1px solid #cbd2c3;margin:28px 0}label{display:block;font-size:11px;font-weight:700;line-height:1.6}input,select,textarea{border:1px solid #bdc9b3;border-radius:5px;padding:9px;background:#f7f8f1;color:#263a2b;max-width:100%;min-width:0}input[type=number]{width:100%}.unit{display:flex;align-items:center;gap:10px;margin-top:8px}.unit input{width:80px}.unit span{font-size:10px;color:#7a866f}.hint{font-size:11px;color:#78836f;line-height:1.7}.studio{padding:33px 40px 65px;max-width:1400px;width:100%;margin:auto}.stage-heading{display:flex;justify-content:space-between;align-items:center;margin-bottom:22px}h2{font-family:Georgia,serif;font-weight:400;font-size:27px;margin:0}h2 span{color:#8b9682;font-size:18px}.segmented{display:flex;border:1px solid #c1cbb7;border-radius:7px;padding:3px}.segmented button{border:0;padding:8px 12px;font-size:11px}.segmented .active{background:#263e30;color:#eef4df}.stage{height:470px;min-height:300px;position:relative;display:flex;align-items:center;justify-content:center;background:#1e3229;border:1px solid #253c2b;border-radius:12px;overflow:hidden;box-shadow:0 10px 30px #24382818}.stage-tag{position:absolute;left:25px;top:22px;font-size:9px;letter-spacing:2px;color:#91a184}.proof{height:86%;max-width:85%;animation:reveal .25s ease-out}.stage-bottom{position:absolute;bottom:18px;left:25px;right:25px;display:flex;justify-content:space-between;color:#8c9f84;font-size:9px;letter-spacing:1px}.size-rail{display:grid;grid-template-columns:repeat(16,1fr);gap:4px;margin:15px 0}.size-rail button{padding:10px 0;font-size:11px;border:0}.size-rail button i{display:block;width:4px;height:4px;border-radius:50%;background:#8b9f71;margin:6px auto 0}.size-rail button.unsat i{background:#b77354}.size-rail button.selected{background:#d3e2bb}.status-line{display:flex;gap:12px;font-size:11px;align-items:center;border-bottom:1px solid #cbd2c3;padding-bottom:23px;color:#718269}.status-line strong{font-size:10px;background:#d7e4c5;padding:5px 8px;border-radius:4px}.status-line .unsat,.status-line .unknown{background:#efdbcd;color:#9a5438}.conflict{max-width:450px;text-align:center;padding:35px;color:#d6dfc8}.conflict>b{font:60px Georgia;color:#e4a17a}.conflict p{font-size:15px}.conflict small{font-size:10px;color:#a0b091}.editors{display:grid;grid-template-columns:1fr 1fr;gap:32px;padding:28px 0}.edit-canvas{display:block;width:100%;height:230px;border:1px solid #bbc8ad;background:linear-gradient(90deg,#d3ddca55 1px,transparent 1px),linear-gradient(#d3ddca55 1px,transparent 1px);background-size:10% 10%;touch-action:none;border-radius:8px;margin-bottom:12px}.edit-canvas circle{cursor:grab}.editors button{font-size:11px;margin:4px 0 10px}.editors select{display:block;width:100%;margin-bottom:10px}.row{display:flex;gap:8px;flex-wrap:wrap}.row label{flex:1}.anchor-table label{display:grid;grid-template-columns:1fr 76px 45px;align-items:center;gap:8px;border-bottom:1px solid #d1d8c8;padding:6px 0}.anchor-table small{font-size:9px;color:#869175;margin-left:8px}.anchor-table input{padding:5px}.anchor-table b{font-weight:400;color:#788a68}.rule{display:flex;justify-content:space-between;font-size:10px;gap:8px;line-height:1.5;margin:8px 0}.rule code{color:#7c8b6b}h3{font-size:12px;margin-top:20px}details{border-top:1px solid #cbd2c3;padding:15px 0;font-size:12px;color:#69775d}summary{font-size:11px;cursor:pointer;font-weight:700;letter-spacing:.3px}details p{max-width:800px}details button{font-size:11px;margin:5px}.author textarea{width:100%;height:320px;display:block;margin:10px 0;font-family:monospace;font-size:12px;white-space:pre;tab-size:2}.exports{border-top:1px solid #cbd2c3;padding:25px 0}.exports p{font-size:11px;color:#7e8b6f}.exports .row{margin-top:18px}.exports button:first-child{background:#263e30;color:#eff5df;border-color:#263e30}footer{position:sticky;bottom:0;background:#e5ebdc;border-top:1px solid #c1cdb5;min-height:44px;display:flex;gap:10px;align-items:center;font-size:11px;padding:10px 30px;z-index:2}footer small{margin-left:auto;font-size:9px;letter-spacing:1px;color:#7e8b6f}.pulse{width:6px;height:6px;border-radius:50%;background:#879d65;flex:none}@keyframes reveal{0%{opacity:.6;transform:scale(.98)}to{opacity:1;transform:scale(1)}}@media(prefers-reduced-motion:reduce){*{animation:none!important;transition:none!important}}@media(max-width:1000px){main{grid-template-columns:230px minmax(0,1fr)}aside{padding:25px 18px}.studio{padding:28px 20px}.stage{height:370px}.header-note{display:none}.brand{margin-right:auto}.editors{gap:20px}.size-rail{gap:0}}@media(max-width:700px){header{padding:12px 16px;height:auto;flex-wrap:wrap}.brand{width:100%}main{display:block}aside{border-right:0;border-bottom:1px solid #cbd2c3}.glyph-list{grid-template-columns:repeat(5,1fr);gap:3px}.glyph-list button{display:block;text-align:center;padding:8px 0}.glyph-list button>span:not(.letter){font-size:9px}.glyph-list small{display:none}.letter{display:block;width:auto}.intro{margin-bottom:15px}h1{font-size:34px}.stage{height:340px}.stage-heading{align-items:flex-start;gap:10px}.size-rail{grid-template-columns:repeat(8,1fr)}.editors{grid-template-columns:1fr}.stage-bottom{font-size:7px;left:12px;right:12px}footer small{display:none}footer{padding:12px 16px}.studio{padding:24px 16px 40px}}