:root {
  --bg: #0d1117;
  --surface: #161b22;
  --border: #30363d;
  --text: #c9d1d9;
  --dim: #8b949e;
  --green: #3fb950;
  --red: #f85149;
  --yellow: #d2991d;
  --cyan: #58a6ff;
  --purple: #a371f7;
  --orange: #db6d28;
  --accent: #00e5a0;
}
* { box-sizing: border-box; margin: 0; padding: 0; }
body {
  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, monospace;
  background: var(--bg);
  color: var(--text);
  max-width: 1200px;
  margin: 0 auto;
  padding: 20px;
}
header {
  display: flex; align-items: center; gap: 12px; flex-wrap: wrap;
  padding: 16px 0; border-bottom: 1px solid var(--border); margin-bottom: 24px;
}
header h1 { font-size: 24px; color: var(--accent); }
header span { color: var(--dim); font-size: 14px; }
.badge {
  font-size: 11px; padding: 3px 8px; border-radius: 12px; font-weight: 600;
  background: #1a3a2a; color: var(--accent); border: 1px solid var(--accent);
}
.mode-badge {
  font-size: 11px; padding: 3px 8px; border-radius: 12px; font-weight: 600;
}
.mode-wasm { background: #1a2a3a; color: var(--cyan); border: 1px solid var(--cyan); }
.mode-server { background: #2a1a3a; color: var(--purple); border: 1px solid var(--purple); }

/* Form */
form {
  display: grid; grid-template-columns: 1fr 1fr 1fr;
  gap: 12px; padding: 20px; background: var(--surface);
  border: 1px solid var(--border); border-radius: 8px; margin-bottom: 24px;
}
form label { font-size: 12px; color: var(--dim); text-transform: uppercase; letter-spacing: 0.5px; }
form input, form select { width: 100%; padding: 8px 12px; background: var(--bg); border: 1px solid var(--border); border-radius: 6px; color: var(--text); font-family: inherit; font-size: 14px; }
form input:focus, form select:focus { outline: none; border-color: var(--accent); }
.form-full { grid-column: 1 / -1; display: flex; gap: 10px; align-items: flex-end; flex-wrap: wrap; }
.btn {
  padding: 10px 24px; border: none; border-radius: 6px; font-size: 14px;
  font-weight: 600; cursor: pointer; font-family: inherit;
}
.btn-run { background: var(--accent); color: #000; }
.btn-run:hover { opacity: 0.85; }
.btn-run:disabled { opacity: 0.4; cursor: not-allowed; }
.btn-stop { background: var(--red); color: #fff; }

/* Stats grid */
.stats-grid { display: grid; grid-template-columns: repeat(4, 1fr); gap: 12px; margin-bottom: 24px; }
.stat-card {
  background: var(--surface); border: 1px solid var(--border);
  border-radius: 8px; padding: 16px; text-align: center;
}
.stat-card .value { font-size: 36px; font-weight: 700; font-variant-numeric: tabular-nums; }
.stat-card .label { font-size: 11px; color: var(--dim); text-transform: uppercase; margin-top: 4px; }
.stat-pass .value { color: var(--green); }
.stat-violation .value { color: var(--red); }
.stat-zk .value { color: var(--cyan); }
.stat-mismatch .value { color: var(--orange); }

/* Progress section */
.progress-section { margin-bottom: 24px; }
.progress-section h3 { font-size: 14px; color: var(--dim); margin-bottom: 10px; text-transform: uppercase; }
.progress-bar-wrap { margin-bottom: 8px; }
.progress-bar-label { display: flex; justify-content: space-between; font-size: 13px; margin-bottom: 3px; }
.progress-bar-track { height: 8px; background: var(--bg); border-radius: 4px; overflow: hidden; }
.progress-bar-fill { height: 100%; border-radius: 4px; transition: width 0.3s; }
.fill-pass { background: var(--green); }
.fill-violation { background: var(--red); }
.fill-running { background: var(--yellow); width: 100% !important; animation: pulse 1.2s infinite; }
@keyframes pulse { 0%, 100% { opacity: 0.3; } 50% { opacity: 1; } }

/* Event log */
.log-section { margin-bottom: 24px; }
.log-section h3 { font-size: 14px; color: var(--dim); margin-bottom: 10px; text-transform: uppercase; }
.log-container {
  background: var(--surface); border: 1px solid var(--border);
  border-radius: 8px; max-height: 300px; overflow-y: auto; padding: 12px;
  font-size: 13px; font-family: 'SF Mono', 'Fira Code', monospace;
}
.log-entry { padding: 3px 0; border-bottom: 1px solid rgba(48,54,61,0.5); }
.log-entry .iter { color: var(--dim); margin-right: 8px; }
.log-entry .fn-name { color: var(--purple); }
.log-entry .pass { color: var(--green); }
.log-entry .violation { color: var(--red); }
.log-entry .zk-ok { color: var(--cyan); }
.log-entry .zk-fail { color: var(--orange); }

/* Charts */
.charts-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; margin-bottom: 24px; }
.chart-card {
  background: var(--surface); border: 1px solid var(--border);
  border-radius: 8px; padding: 16px;
}
.chart-card h3 { font-size: 13px; color: var(--dim); margin-bottom: 12px; text-transform: uppercase; }
.chart-card canvas { max-height: 220px; }

/* ZK highlight card */
.zk-highlight {
  background: linear-gradient(135deg, #0d1f2d, #0a1628);
  border: 1px solid var(--cyan);
  border-radius: 8px; padding: 20px; margin-bottom: 24px;
}
.zk-highlight h2 { color: var(--cyan); font-size: 18px; margin-bottom: 12px; }
.zk-highlight p { color: var(--dim); font-size: 14px; line-height: 1.6; }

.status-dot { display: inline-block; width: 8px; height: 8px; border-radius: 50%; margin-right: 6px; }
.dot-idle { background: var(--dim); }
.dot-running { background: var(--yellow); animation: pulse 0.8s infinite; }
.dot-done { background: var(--green); }

footer { text-align: center; color: var(--dim); font-size: 12px; padding: 24px 0; border-top: 1px solid var(--border); margin-top: 24px; }

@media (max-width: 768px) {
  form { grid-template-columns: 1fr; }
  .stats-grid { grid-template-columns: repeat(2, 1fr); }
  .charts-grid { grid-template-columns: 1fr; }
}