:root{font-family:Inter,Arial,sans-serif;color:#213d35;background:#e8e8df;font-synthesis:none}*{box-sizing:border-box}body{margin:0}button,input,select,textarea{font:inherit}button{cursor:pointer;color:#244c3e;border:1px solid #b9c7bb;background:#f7f7ef;padding:.65rem .8rem;border-radius:5px}button:hover{background:#e3eedc}button:focus-visible,input:focus-visible,textarea:focus-visible,select:focus-visible{outline:3px solid #e78e56;outline-offset:2px}header{display:flex;justify-content:space-between;align-items:center;padding:24px 32px;border-bottom:1px solid #b7c5b9}small{font-size:11px;letter-spacing:.07em}h1{font-family:Georgia,serif;font-weight:400;font-size:36px;margin:8px 0 0}h1 i{color:#63806c}nav{display:flex;gap:8px}main{display:grid;grid-template-columns:minmax(240px,1fr) minmax(420px,2.2fr) minmax(250px,1fr);min-height:calc(100vh - 158px)}aside{padding:24px;border-right:1px solid #b7c5b9}aside.source{border-left:1px solid #b7c5b9;border-right:0}h2{font-size:13px;text-transform:uppercase;letter-spacing:.12em;margin:4px 0 18px}aside h2:not(:first-child){margin-top:28px}label{display:block;font-size:12px;margin:14px 0}input,select,textarea{display:block;width:100%;border:1px solid #b7c5b9;border-radius:4px;padding:10px;background:#f8f8f2;color:#213d35;margin-top:7px}textarea{resize:vertical;min-height:145px;line-height:1.5}.source textarea{height:300px;font:11px/1.6 monospace}p{font-size:12px;line-height:1.65;color:#536c5e}.proof{background:#fbfaf3;padding:32px;min-width:0}.proof-label{display:flex;justify-content:space-between;font-size:10px;letter-spacing:.08em;border-bottom:1px solid #c9d2c5;padding-bottom:16px}.proof>h2{font:italic 30px Georgia,serif;text-transform:none;letter-spacing:0;margin:30px 0}.proof-row{display:flex;gap:20px;margin:15px 0}.number{font:10px monospace;color:#9cab9e;padding-top:7px}pre{margin:0;font:18px/1.5 Courier New,monospace;white-space:pre;-webkit-hyphens:none;hyphens:none;overflow-wrap:normal}.lines{overflow:auto;padding-bottom:20px;min-height:280px}.proof-row small{font-size:9px;color:#819081;letter-spacing:.02em}.metric{border-top:1px solid #c9d2c5;padding:20px 0;font-size:11px;color:#728775}.metric strong{font:28px Georgia;margin:0 8px 0 15px;color:#315d47}.metric strong:first-child{margin-left:0}.exports{display:flex;flex-wrap:wrap;gap:8px}.exports button{background:#234c3c;color:#f5f7e9}.status{padding:12px;background:#e7eedf;min-height:44px}.notice{font-size:11px}.boundaries{display:flex;gap:5px;flex-wrap:wrap}.boundaries button{padding:6px;font:11px monospace}.boundaries small{display:block;font:8px Arial;margin-top:4px}.boundaries .allowed{background:#d5e9c8}.boundaries .forbidden{background:#f3d7c6}.spelling{font:24px Georgia;overflow-wrap:anywhere}.pair{display:flex;gap:5px}.source>button{margin:5px 0;width:100%}.privacy{margin-top:22px;border-top:1px solid #becabd;padding-top:18px;font-size:12px}.warning,.impossible{padding:18px;background:#f5e0cc;color:#743d20}.empty{font:italic 22px Georgia;color:#a4b0a1}footer{padding:16px;text-align:center;font-size:9px;letter-spacing:.2em}.focus main{grid-template-columns:1fr}.focus aside{display:none}.focus .proof{min-height:calc(100vh - 145px);max-width:none}.focus .lines{min-height:55vh}@media(max-width:1050px){main{grid-template-columns:250px 1fr}.source{grid-column:1/-1}.source textarea{height:180px}}@media(max-width:700px){header{padding:20px;display:block}nav{margin-top:20px;flex-wrap:wrap}h1{font-size:30px}main{display:block}.proof{padding:22px}aside{border:0}.proof-row{gap:10px}pre{font-size:16px}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important;animation:none!important;transition:none!important}}.boundaries button{max-width:100%;text-align:left}.boundaries span{overflow-wrap:anywhere}.proof-row{animation:arrive .22s ease-out}@keyframes arrive{0%{opacity:.5;transform:translateY(3px)}to{opacity:1;transform:none}}