:root {
  --bg: #f4f6f8;
  --surface: #fff;
  --text: #1a1d21;
  --muted: #5c6570;
  --accent: #1e4d8c;
  --accent-soft: #e8f0fa;
  --ok: #1a7f4b;
  --ok-bg: #e6f5ec;
  --warn: #b45309;
  --warn-bg: #fef3c7;
  --bad: #b91c1c;
  --bad-bg: #fee2e2;
  --border: #d8dee6;
  --radius: 10px;
  font-family: "Segoe UI", system-ui, -apple-system, sans-serif;
}

* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--text); line-height: 1.5; }
code, pre { font-family: ui-monospace, monospace; font-size: 0.92em; }
.top { background: linear-gradient(135deg, #1e3a5f, #1e4d8c); color: #fff; padding: 1.25rem 1.5rem; }
.top h1 { margin: 0 0 0.35rem; font-size: 1.35rem; }
.subtitle { margin: 0; opacity: 0.92; font-size: 0.95rem; max-width: 52rem; }
.subtitle code { background: rgba(255,255,255,0.15); padding: 0.1em 0.35em; border-radius: 4px; }
main { max-width: 52rem; margin: 0 auto; padding: 1rem 1.25rem 2rem; }
.panel { background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 1.25rem 1.35rem; margin-bottom: 1rem; }
.panel h2 { margin-top: 0; font-size: 1.1rem; }
.panel h3 { font-size: 1rem; margin: 1.25rem 0 0.75rem; }
.hidden { display: none !important; }
.muted { color: var(--muted); }
.file-row { display: flex; flex-wrap: wrap; gap: 0.75rem; margin: 0.75rem 0; }
.file-btn { display: inline-flex; align-items: center; padding: 0.55rem 1rem; background: var(--accent); color: #fff; border-radius: 8px; cursor: pointer; font-size: 0.9rem; }
.file-btn.secondary { background: #4b5563; }
.file-btn input { display: none; }
.status { margin: 0.5rem 0 1rem; font-size: 0.9rem; }
.grid-params { display: grid; grid-template-columns: repeat(auto-fill, minmax(14rem, 1fr)); gap: 0.75rem; margin-bottom: 1rem; }
.grid-params label { display: flex; flex-direction: column; gap: 0.25rem; font-size: 0.85rem; }
.grid-params input, .grid-params select, #run-select { padding: 0.4rem 0.5rem; border: 1px solid var(--border); border-radius: 6px; }
.review-header { display: flex; flex-wrap: wrap; align-items: center; gap: 1rem; justify-content: space-between; }
.vuln-jump { font-size: 0.85rem; display: flex; flex-direction: column; gap: 0.25rem; }
.hint { color: var(--muted); font-size: 0.8rem; }
button { cursor: pointer; border: none; border-radius: 8px; padding: 0.55rem 1rem; font-size: 0.9rem; background: var(--accent); color: #fff; }
button:disabled { opacity: 0.45; cursor: not-allowed; }
.review-header { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: center; gap: 0.75rem; }
.progress-wrap { display: flex; align-items: center; gap: 0.5rem; }
progress { width: 10rem; height: 0.65rem; }
.chips { display: flex; flex-wrap: wrap; gap: 0.4rem; margin-bottom: 0.75rem; }
.chip { font-size: 0.78rem; padding: 0.2rem 0.55rem; border-radius: 999px; background: var(--accent-soft); color: var(--accent); }
.chip.bad { background: var(--bad-bg); color: var(--bad); }
.chip.ok { background: var(--ok-bg); color: var(--ok); }
.case-id-banner {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.45rem 0.75rem;
  padding: 0.7rem 0.9rem;
  margin-bottom: 0.75rem;
  background: #1e293b;
  color: #f8fafc;
  border-radius: 8px;
}
.case-id-label { font-size: 0.78rem; text-transform: uppercase; letter-spacing: 0.04em; opacity: 0.85; }
.case-id-banner code {
  font-size: 0.95rem;
  font-weight: 600;
  color: #93c5fd;
  word-break: break-all;
}
.case-id-copy {
  background: #334155;
  color: #f8fafc;
  padding: 0.3rem 0.65rem;
  font-size: 0.78rem;
}
.case-id-copy:hover { background: #475569; }
.case-id-hint { font-size: 0.78rem; width: 100%; opacity: 0.88; color: #cbd5e1 !important; }
.case-card .block { margin-bottom: 1rem; padding: 0.85rem 1rem; background: var(--bg); border-radius: 8px; }
.case-card pre { margin: 0.35rem 0 0; white-space: pre-wrap; word-break: break-word; }
.judge-block { background: var(--warn-bg); border-left: 4px solid var(--warn); }
.question-box { border: 2px solid var(--accent-soft); background: var(--accent-soft); border-radius: var(--radius); padding: 1rem 1.1rem; margin: 1rem 0; }
.question-box p { margin: 0 0 0.75rem; font-weight: 600; }
.btn-row { display: flex; flex-wrap: wrap; gap: 0.5rem; margin-bottom: 0.75rem; }
button.agree { background: var(--ok); }
button.disagree { background: var(--bad); }
.notes { display: block; font-size: 0.85rem; margin-top: 0.5rem; }
.notes textarea { width: 100%; margin-top: 0.35rem; border: 1px solid var(--border); border-radius: 6px; padding: 0.5rem; font-family: inherit; }
.nav-row { display: flex; flex-wrap: wrap; gap: 0.5rem; justify-content: space-between; }
.metrics { font-size: 0.9rem; background: var(--bg); padding: 1rem; border-radius: 8px; margin-bottom: 1rem; }
.metrics dl { display: grid; grid-template-columns: auto 1fr; gap: 0.25rem 1rem; margin: 0; }
.metrics dt { font-weight: 600; }
.metrics dd { margin: 0; }
#lee-result { background: #111; color: #eee; padding: 0.75rem; border-radius: 8px; font-size: 0.8rem; overflow: auto; }
footer { text-align: center; padding: 1rem; color: var(--muted); font-size: 0.82rem; }