:root{color-scheme:light;--paper:#faf7ef;--ink:#222c29;--muted:#536259;--accent:#156f56;--line:#c9d0c6;--warning:#935210;--fail:#ad3030;--panel:#fffef8;font-family:system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;line-height:1.6;background:var(--paper);color:var(--ink)}*{box-sizing:border-box}body{margin:0}header,main,footer{max-width:1200px;margin:auto;padding:clamp(18px,4vw,48px)}header{border-bottom:1px solid var(--line);padding-bottom:24px}.eyebrow{font:700 12px/1.5 ui-monospace,monospace;letter-spacing:.13em;color:var(--accent)}h1{font-size:clamp(2.3rem,5vw,4rem);line-height:1.05;letter-spacing:-.04em;margin:.3em 0}h2{font-size:1.4rem;line-height:1.25;margin-top:0}.intro{font-size:1.15rem;max-width:760px}nav,.controls,.run-controls,.file-controls{display:flex;gap:10px;flex-wrap:wrap;align-items:center}nav{gap:24px}a{color:var(--accent);text-underline-offset:3px}a:hover{color:var(--ink)}button,.upload{font:inherit;font-size:.9rem;border:1px solid var(--line);background:var(--panel);color:var(--ink);padding:9px 14px;border-radius:5px;cursor:pointer;min-height:44px}button:hover,.upload:hover{border-color:var(--accent);background:#e7f1e8}button[disabled]{opacity:.48;cursor:not-allowed}button.primary{background:var(--accent);border-color:var(--accent);color:white;font-weight:650}button:focus-visible,a:focus-visible,select:focus-visible,input:focus-visible,textarea:focus-visible,summary:focus-visible{outline:3px solid #c68024;outline-offset:3px}section{margin-bottom:42px}.start{border-left:4px solid var(--accent);padding:22px 24px;background:#edf1e6}.start p{max-width:890px}#runtime-status{margin-bottom:0}.stories button[aria-pressed=true]{background:var(--ink);color:white;border-color:var(--ink)}#story-list{display:flex;gap:12px;flex-wrap:wrap}.question{font-weight:650}.workspace-heading{display:flex;justify-content:space-between;gap:20px;align-items:center;flex-wrap:wrap;margin-bottom:12px}.workspace-heading h2{margin:0}.editors{display:grid;grid-template-columns:1.1fr 1fr;gap:24px}.editors>div{min-width:0}.editors label{font-weight:650}.editors p,.limit{font-size:.85rem;color:var(--muted)}.file-controls{margin:10px 0}select{font:inherit;font-size:.9rem;min-width:170px;padding:10px;background:var(--panel);color:var(--ink);border:1px solid var(--line);border-radius:4px}.code{display:block;width:100%;min-height:390px;resize:vertical;border:1px solid var(--line);background:var(--panel);border-radius:5px;padding:16px;color:var(--ink);font:13px/1.7 ui-monospace,SFMono-Regular,Consolas,monospace;tab-size:4}.run-controls{margin-top:20px}.run-controls p{font-size:.9rem;margin:0}.upload input{max-width:165px;display:block;font-size:12px}.boundary{border-bottom:1px solid var(--line);padding-bottom:18px;color:var(--muted)}.verdict{display:inline-block;font:700 14px/1.3 ui-monospace,monospace;padding:5px 9px;border-radius:3px;background:#e4efe4;color:var(--accent)}.verdict.fail,.verdict.error{background:#f9e6e0;color:var(--fail)}.verdict.unresolved,.verdict.stale{background:#f7ecd6;color:var(--warning)}.contract{padding:20px 0;border-bottom:1px solid var(--line)}.contract h3{font-size:1.05rem;margin:0 0 10px}.contract p{margin:6px 0}.contract ul{padding-left:22px}.finding-link{padding:0;border:0;background:transparent;color:var(--accent);text-decoration:underline;min-height:24px;text-align:left}details{margin:16px 0;padding:14px;border:1px solid var(--line);background:var(--panel);border-radius:5px}summary{cursor:pointer;font-weight:650}pre{white-space:pre-wrap;overflow-wrap:anywhere;font:13px/1.65 ui-monospace,monospace;background:#eef0e8;padding:18px;border-radius:5px}#graph-svg{overflow:auto}#graph-svg svg{display:block;min-width:550px;max-width:100%;margin:20px 0}.counterexample{border-top:2px solid var(--ink);padding-top:24px;max-width:850px}footer{border-top:1px solid var(--line);font-size:.85rem;padding-top:24px}.sr-only{position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.skip{position:absolute;top:-100px;left:20px;background:var(--panel);padding:10px;z-index:3}.skip:focus{top:10px}@media(max-width:740px){.editors{grid-template-columns:1fr}.code{min-height:320px}.workspace-heading{align-items:flex-start}.controls{gap:6px}.controls button{font-size:.8rem}.start{padding:18px}.stories button{width:100%;text-align:left}nav{gap:10px;font-size:.85rem}#graph-svg svg{min-width:450px}}
.contract,.question,#run-status,#runtime-status,#graph-text{overflow-wrap:anywhere}.file-controls select{max-width:100%;min-width:0;flex:1 1 170px}
.coverage-inventory{list-style:none;padding:0}.coverage-inventory li{padding:14px 0;border-top:1px solid var(--line)}.coverage-inventory .verdict{margin:4px 0}.coverage-inventory p{font-size:.9rem}.coverage-inventory strong{font-family:ui-monospace,monospace;font-size:.9rem}