.lean-execution{max-width:72rem;margin-inline:auto}
.lean-run-picker,.lean-run-selection{border:1px solid var(--line);padding:1.3rem;border-radius:.3rem;margin:1.4rem 0;background:var(--surface)}
.lean-run-picker{display:grid;grid-template-columns:1fr;gap:.5rem}
.lean-run-picker input,.lean-run-picker select,.lean-run-selection textarea{max-width:100%;width:100%;font:inherit;min-height:44px}
.lean-run-picker select{font-size:.86rem}
.lean-run-picker label,.lean-run-selection label{font-size:.82rem;font-weight:600}
.lean-run-picker [role=status]{font-size:.8rem;color:var(--muted);margin:.4rem 0 0}
.open-research .lean-run-selection h2{font-size:1.6rem;overflow-wrap:anywhere;margin:.4rem 0 .8rem}
.lean-run-path{display:block;white-space:normal;overflow-wrap:anywhere;font-size:.82rem}
.lean-run-selection p{font-size:.9rem;max-width:90ch}
.lean-run-selection textarea{display:block;box-sizing:border-box;padding:.8rem;margin:.5rem 0;font:.84rem/1.6 ui-monospace,SFMono-Regular,Consolas,monospace;resize:vertical;background:var(--paper);color:var(--ink);border:1px solid var(--line)}
.lean-run-selection [data-run-issues]{border-left:3px solid var(--focus);padding:.7rem 1rem;overflow-wrap:anywhere}
.lean-run-selection .lean-run-help{color:var(--muted);font-size:.8rem}
.lean-run-start,.lean-run-explain{border-top:1px solid var(--line);padding-top:1rem;margin-top:2rem}
.lean-run-start p,.lean-run-explain p{max-width:90ch;font-size:.94rem}
.lean-run-start ol{max-width:85ch;padding-left:1.5rem}
.lean-run-start li{margin:.7rem 0;font-size:.94rem}
@media(max-width:760px){.lean-run-picker,.lean-run-selection{padding:1rem}.lean-run-picker select{font-size:.8rem}.lean-run-start .button{display:block;max-width:100%;text-align:center}}