:root{font-family:Arial,sans-serif;color:#253b38;background:#eeeee6;font-synthesis:none}*{box-sizing:border-box}body{margin:0}button,input,textarea,select{font:inherit}button{border:1px solid #acb8ad;background:transparent;color:inherit;padding:10px 13px;cursor:pointer;border-radius:4px;min-height:40px}button:hover{background:#dae0d2}button:disabled{opacity:.5;cursor:not-allowed}button:focus-visible,input:focus-visible,select:focus-visible,textarea:focus-visible,summary:focus-visible,a:focus-visible{outline:3px solid #a83a25;outline-offset:3px}header{min-height:80px;border-bottom:1px solid #bfc6b9;display:flex;align-items:center;gap:12px;padding:18px 30px}.brand{font-weight:700;letter-spacing:-.5px;font-size:20px;display:flex;align-items:center;gap:12px}.brand>span{font-size:30px;background:#284c42;color:#eff5dc;padding:0 10px}.tag{font:10px monospace;letter-spacing:2px;margin-left:auto;margin-right:25px}main{display:grid;grid-template-columns:320px minmax(0,1fr);min-height:calc(100vh - 130px)}.controls{border-right:1px solid #bbc4b9;padding:30px;background:#e2e6db}.eyebrow{font:10px monospace;letter-spacing:2px;color:#53665d}h1{font-family:Georgia,serif;font-weight:400;font-size:48px;margin:18px 0;letter-spacing:-2px}h2{font-size:20px;font-weight:500;letter-spacing:-.5px}h3{font-size:15px}p{line-height:1.55}.intro{font-size:14px}.controls section{border-top:1px solid #bac4b8;margin-top:26px;padding-top:10px}.small{font-size:11px;color:#425a4f;overflow-wrap:anywhere}label{display:block;font-size:12px;line-height:1.5;margin:12px 0}input,select,textarea{display:block;width:100%;border:1px solid #a5b4a6;background:#f9faf2;color:#253b38;padding:9px;border-radius:3px;margin-top:5px}textarea{resize:vertical}.twocol{display:grid;grid-template-columns:1fr 1fr;gap:14px}.upload{width:100%;border-style:dashed}.primary{display:flex;justify-content:space-between;width:100%;background:#284c42;color:#fff;margin:12px 0}.primary:hover{background:#356653}.workbench{padding:30px;min-width:0}.bench-head{display:flex;align-items:center;justify-content:space-between;gap:15px}.badge{font:10px monospace;padding:9px 12px;background:#dce4c9;border:1px solid #bac9a4}.status{font-size:13px;padding:12px;border-left:3px solid #a73c27;background:#e7e8dd;min-height:44px}nav{display:flex;gap:8px;flex-wrap:wrap;margin:22px 0}nav button[aria-pressed=true]{background:#284c42;color:#f7f8ee}nav small{font:10px monospace;margin-right:8px}.editor{display:grid;grid-template-columns:2fr 1fr;gap:24px}.proof-grid{display:grid;grid-template-columns:1fr 1fr;gap:18px;margin-top:20px}.proof-grid article{background:#fafaf4;min-width:0;box-shadow:0 2px #c7cdc0;border:1px solid #d1d6c9}.proof-label{font:10px monospace;color:#53685b;min-height:55px;border-bottom:1px solid #d5d9ce;padding:12px 16px;display:flex;align-items:center;gap:12px;justify-content:space-between}.proof-label button{font:11px Arial,sans-serif}.proof-scroll{overflow:auto;padding:24px;min-height:250px}.proof{color:#233b32}.results{margin-top:35px;border-top:1px solid #bbc4b9;padding-top:15px}.results>p{font-size:12px;max-width:850px}.pending{padding:24px;background:repeating-linear-gradient(135deg,#e2e6d9,#e2e6d9 1px,transparent 1px,transparent 10px)}.outcomes{display:grid;grid-template-columns:repeat(3,1fr);gap:12px}.outcomes article{border:1px solid #bfc8b8;padding:15px;font-size:12px}.outcomes p{font-variant-numeric:tabular-nums}pre{white-space:pre-wrap;overflow-wrap:anywhere;background:#263e35;color:#eef1d7;padding:24px;font-size:12px;line-height:1.7}details{margin-top:20px;font-size:12px}summary{cursor:pointer;padding:10px 0}details button{margin:5px}ol{padding-left:20px;white-space:pre-wrap;overflow-wrap:anywhere}footer{border-top:1px solid #bfc6b9;padding:16px 30px;font-size:10px;display:flex;justify-content:space-between;gap:15px}.skip{position:fixed;top:-100px;z-index:10;background:#fff;padding:15px}.skip:focus{top:0}@media(max-width:1100px){.proof-grid,.editor,.outcomes{grid-template-columns:1fr}.tag{display:none}header .brand{margin-right:auto}}@media(max-width:720px){header{padding:12px;flex-wrap:wrap}.brand{font-size:17px}main{grid-template-columns:1fr}.controls{border-right:0;border-bottom:1px solid #bbc4b9;padding:22px}.workbench{padding:20px}.bench-head{align-items:flex-start;flex-wrap:wrap}footer{flex-direction:column}.proof-scroll{padding:16px}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation:none!important;transition:none!important;scroll-behavior:auto!important}}@media(prefers-reduced-motion:no-preference){button{transition:background-color .18s ease,color .18s ease}.status{animation:arrive .2s ease}@keyframes arrive{0%{opacity:.65}to{opacity:1}}}