:root{font:14px/1.5 'Segoe UI','Microsoft YaHei',sans-serif;color:#cbd9df;background:#10191f;font-synthesis:none}*{box-sizing:border-box}body{margin:0;background:radial-gradient(ellipse at 85% 0,#233a4140,transparent 50%)}header{height:58px;padding:0 4vw;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid #90b2bd20;color:#79929d;font-size:11px}.brand{letter-spacing:2px;font-weight:600;color:#d5e4e9}a{color:#82c8bc;text-decoration:none}a:hover{text-decoration:underline}main{max-width:1480px;padding:38px 4vw;margin:auto}.title{display:flex;justify-content:space-between;align-items:center;margin-bottom:26px}.eyebrow{letter-spacing:2px;font-size:10px;color:#79959f;margin:0 0 7px}h1{font-size:32px;font-weight:500;letter-spacing:-1px;margin:0;color:#edf5f4}h2{font-size:17px;font-weight:500;margin:0}h3{font-size:12px;font-weight:500;color:#9bb0b9}button,input,select,textarea{font:inherit;color:inherit;border:1px solid #718b983d;border-radius:5px;background:#26384155;padding:7px 11px}button{cursor:pointer}button:hover{background:#39555e70}button.primary{background:#b2e4d5;color:#102d29;border:0;font-weight:600;padding:10px 20px}button:disabled{opacity:.4;cursor:default}input[type=checkbox]{accent-color:#9ed8c8}input:focus,textarea:focus,select:focus,button:focus-visible{outline:2px solid #83bbae;outline-offset:2px}textarea{width:100%;margin:12px 0;resize:vertical;font:12px/1.6 Consolas,monospace}select option{background:#1e3038}.muted,small{color:#7f98a3;font-size:11px}.setup-grid{display:grid;grid-template-columns:1fr 1fr;gap:45px}.section-title{display:flex;align-items:center;justify-content:space-between;margin:0 0 17px;gap:15px}.config{display:flex;gap:12px;padding:15px 12px;border-bottom:1px solid #8aabb21c;align-items:flex-start}.config:has(input:checked){background:#8fb8b30d}.config strong{display:block;font-weight:500}.config small{display:block;margin-top:4px;overflow-wrap:anywhere}.config input{margin-top:5px}.scope{margin-top:18px}.scope>label{display:flex;align-items:center;gap:18px;margin-bottom:18px}fieldset{border:1px solid #718b982b;padding:12px;margin:0 0 15px}legend{color:#8ba4ae;font-size:11px;padding:0 5px}#capabilities{display:flex;gap:10px 15px;flex-wrap:wrap}#capabilities label{font-size:11px;white-space:nowrap}#tasks{max-height:180px;overflow:auto;padding:10px 0}#tasks label{display:block;padding:3px}.start-line{display:flex;justify-content:space-between;align-items:center;margin-top:20px;font-size:11px;color:#83a199}section{margin-bottom:34px}#setup{border-bottom:1px solid #91b1bb22;padding-bottom:28px}details{margin:12px 0}summary{cursor:pointer;color:#8ba8b2;font-size:12px}#notice{min-height:20px;margin-bottom:10px;color:#a6dcca}#notice.error{color:#e5a08c}#results .section-title{margin-top:25px}.progress-line{display:flex;align-items:center;gap:18px;font-size:12px;color:#a5c4c3;margin:20px 0}progress{flex:1;height:5px;accent-color:#b0dfd0}.table-wrap{overflow:auto;border-top:1px solid #91b1bb33;border-bottom:1px solid #91b1bb33}table{border-collapse:collapse;width:100%;white-space:nowrap;font-variant-numeric:tabular-nums}th{text-align:right;color:#74909b;font-size:10px;font-weight:500;padding:12px 10px}td{text-align:right;padding:17px 10px;border-top:1px solid #91b1bb18}th:first-child,td:first-child{text-align:left}td:first-child{color:#d9e9e9}td strong{font-size:21px;font-weight:500}.chart-grid{display:grid;grid-template-columns:1fr 1fr;gap:45px;margin-top:22px}.chart-row{margin:12px 0}.chart-label{display:flex;justify-content:space-between;font-size:11px;color:#91a9b2;margin-bottom:6px}.bar{height:6px;background:#253740;border-radius:2px;overflow:hidden;display:flex}.bar span{display:block;height:100%}.legend{font-size:10px;color:#78959e;margin-top:6px}.attempt{border-top:1px solid #8ba6b522;margin:0;padding:0}.attempt summary{display:grid;grid-template-columns:75px 1fr 100px 90px 80px;gap:12px;padding:13px 2px;color:#a9bec7}.attempt summary strong{font-weight:500;color:#d3e3e5}.attempt .detail{padding:8px 12px 20px;color:#8fa8b0;font-size:12px}.attempt pre,#semantics pre{font:11px/1.6 Consolas,monospace;white-space:pre-wrap;overflow-wrap:anywhere;color:#8aa3af}.status{color:#9cd1bd}.status.blocked,.status.failed{color:#e2ac88}#coverage{font-size:11px;color:#c7ac83;margin-bottom:12px}.history{border-top:1px solid #91b1bb22;padding-top:25px}.history h2{margin-bottom:15px}.run-link{display:flex;gap:20px;justify-content:space-between;padding:10px 0;border-bottom:1px solid #91b1bb12;font-size:12px}[hidden]{display:none!important}@media(max-width:850px){main{padding:22px}.setup-grid,.chart-grid{grid-template-columns:1fr;gap:25px}.title{align-items:flex-start}h1{font-size:25px}.attempt summary{grid-template-columns:55px 1fr 70px}.attempt summary span:nth-last-child(-n+2){display:none}}

.observed{display:block;margin-top:4px;color:#9bb9b8;font-size:10px}.usage-note td{text-align:left;padding:0 10px 12px;border-top:0;color:#809ba6;font-size:10px;white-space:normal}
.history-toolbar,.history-toolbar>div,.history-plot-controls{display:flex;align-items:center;gap:12px;flex-wrap:wrap}.history-toolbar{justify-content:space-between;font-size:11px}.history-plot-controls{margin:22px 0 8px}.history-plot-controls label{color:#9bb9b8;font-size:12px}.history-table td{font-size:11px;vertical-align:top}.history-table td:nth-child(3){text-align:left}.history-table button{font-size:11px;padding:4px 9px}.history-detail{padding:12px 15px 22px;background:#07101633;text-align:left}.history-detail h3{margin:16px 0 8px;color:#c3dcd9}.history-detail table{font-size:11px}.history-detail td{padding:10px}.history-detail p{white-space:normal}.history-legend{display:flex;gap:20px;font-size:11px;margin:0 0 18px}.history-warning{border-left:2px solid #c8b48d;padding-left:12px;color:#c8b48d}.history-comparison{margin-top:28px}.history-comparison>h3{font-size:15px}.history-plot-controls+div svg{display:block;width:100%;max-height:300px}.public-intro{max-width:850px;color:#9bb0b9}.public-import{display:flex;gap:20px;align-items:center;flex-wrap:wrap;border-bottom:1px solid #91b1bb22;padding-bottom:22px;margin-bottom:25px}.public-import label{font-size:12px}.public-import input{max-width:300px;font-size:11px}.public-mode{color:#c8b48d}