:root { --bg:#f6f7f9; --panel:#ffffff; --ink:#1b1f24; --muted:#5b6470; --line:#e3e6ea; --accent:#2457d6; --ok:#1f8a4c; --bad:#c62828; --warn:#b26a00; --mono:ui-monospace,SFMono-Regular,Menlo,Consolas,monospace; }
@media (prefers-color-scheme: dark) { :root { --bg:#0f1216; --panel:#171b21; --ink:#e7eaee; --muted:#9aa4b1; --line:#2a3139; --accent:#7aa2ff; --ok:#4cc38a; --bad:#ff6b6b; --warn:#ffb454; } }
* { box-sizing:border-box; }
body { margin:0; background:var(--bg); color:var(--ink); font:15px/1.5 -apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Helvetica,Arial,sans-serif; }
a { color:var(--accent); }
.top { display:flex; justify-content:space-between; align-items:center; gap:16px; padding:14px 24px; border-bottom:1px solid var(--line); background:var(--panel); }
.brand { display:flex; align-items:center; gap:14px; }
.mark { width:40px; height:40px; border-radius:10px; background:var(--accent); color:#fff; display:grid; place-items:center; font-weight:700; font-size:22px; }
.brand h1 { margin:0; font-size:20px; } .brand p { margin:0; color:var(--muted); font-size:13px; }
.health { font-size:13px; color:var(--muted); }
.layout { display:grid; grid-template-columns:340px 1fr; gap:20px; padding:20px 24px; }
@media (max-width: 900px) { .layout { grid-template-columns:1fr; } }
.card { background:var(--panel); border:1px solid var(--line); border-radius:12px; padding:16px; margin-bottom:16px; }
.card h2 { margin:0 0 10px; font-size:15px; }
label { display:block; font-size:13px; color:var(--muted); margin:8px 0; }
select, input { width:100%; margin-top:4px; padding:8px; border:1px solid var(--line); border-radius:8px; background:var(--bg); color:var(--ink); font:inherit; }
button { margin-top:10px; width:100%; padding:10px; border:0; border-radius:8px; background:var(--accent); color:#fff; font:inherit; font-weight:600; cursor:pointer; }
button[disabled] { opacity:.6; cursor:default; }
.hint { font-size:12px; color:var(--muted); margin:8px 0 0; }
.runs { list-style:none; margin:0; padding:0; }
.runs li { padding:10px 8px; border-top:1px solid var(--line); cursor:pointer; display:flex; justify-content:space-between; gap:8px; align-items:center; }
.runs li:first-child { border-top:0; } .runs li:hover, .runs li.active { background:var(--bg); border-radius:8px; }
.runs .t { font-size:13px; } .runs .m { font-size:12px; color:var(--muted); }
.badge { display:inline-block; padding:2px 8px; border-radius:999px; font-size:12px; font-weight:600; white-space:nowrap; border:1px solid var(--line); }
.badge.VERIFIED { color:var(--ok); border-color:var(--ok); } .badge.NEEDS { color:var(--warn); border-color:var(--warn); }
.badge.ERROR, .badge.INFEASIBLE { color:var(--bad); border-color:var(--bad); } .badge.running, .badge.queued { color:var(--accent); border-color:var(--accent); }
.detail .empty { color:var(--muted); padding:40px; text-align:center; }
.verdict { display:flex; gap:16px; align-items:center; flex-wrap:wrap; }
.verdict .big { font-size:28px; font-weight:700; }
.verdict .big.VERIFIED { color:var(--ok); } .verdict .big.NEEDS { color:var(--warn); } .verdict .big.ERROR, .verdict .big.INFEASIBLE { color:var(--bad); }
.reasons li { margin:4px 0; } .warn { color:var(--warn); }
table { width:100%; border-collapse:collapse; font-size:13px; } th, td { text-align:left; padding:6px 8px; border-top:1px solid var(--line); vertical-align:top; } th { color:var(--muted); font-weight:600; border-top:0; }
td.ok { color:var(--ok); font-weight:600; } td.bad { color:var(--bad); font-weight:600; }
pre { background:var(--bg); border:1px solid var(--line); border-radius:8px; padding:12px; overflow:auto; font:12.5px/1.45 var(--mono); max-height:520px; }
.diff .add { color:var(--ok); } .diff .del { color:var(--bad); } .diff .hunk { color:var(--accent); }
.timeline { list-style:none; margin:0; padding:0; max-height:300px; overflow:auto; font-size:13px; }
.timeline li { padding:4px 0; border-top:1px solid var(--line); display:grid; grid-template-columns:72px 90px 1fr; gap:8px; }
.timeline .ts { color:var(--muted); font-family:var(--mono); font-size:12px; } .timeline .st { color:var(--accent); font-size:12px; }
.grid2 { display:grid; grid-template-columns:1fr 1fr; gap:16px; } @media (max-width: 1100px) { .grid2 { grid-template-columns:1fr; } }
.downloads a { display:inline-block; margin:4px 8px 4px 0; font-size:13px; }
.kv { display:grid; grid-template-columns:max-content 1fr; gap:4px 14px; font-size:13px; } .kv dt { color:var(--muted); } .kv dd { margin:0; }
details summary { cursor:pointer; color:var(--accent); font-size:13px; }