:root {
  --bg: #0b0e14;
  --bg-2: #121722;
  --panel: #161c28;
  --panel-2: #1c2432;
  --border: #263041;
  --text: #e6edf6;
  --muted: #8b98ad;
  --accent: #5b8cff;
  --accent-2: #7c5cff;
  --ok: #35d0a5;
  --fail: #ff5c7a;
  --warn: #ffb454;
  --vuln: #ff6b8b;
  --mono: ui-monospace, "SF Mono", "Cascadia Code", Consolas, monospace;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
}

* { box-sizing: border-box; }
html, body { margin: 0; padding: 0; }
body {
  background: radial-gradient(1200px 600px at 20% -10%, #182236 0%, var(--bg) 55%);
  color: var(--text);
  font-family: var(--sans);
  min-height: 100vh;
  font-size: 14px;
}

.topbar {
  display: flex; justify-content: space-between; align-items: center;
  padding: 18px 28px; border-bottom: 1px solid var(--border);
  background: rgba(11,14,20,.6); backdrop-filter: blur(8px);
  position: sticky; top: 0; z-index: 5;
}
.brand { display: flex; gap: 14px; align-items: center; }
.brand-home { display: flex; gap: 14px; align-items: center; text-decoration: none; color: inherit; }
.brand-home:hover h1 { color: var(--accent); }
.logo {
  font-size: 30px; color: var(--accent);
  filter: drop-shadow(0 0 10px rgba(91,140,255,.6));
}
.brand h1 { margin: 0; font-size: 20px; letter-spacing: 1px; text-transform: uppercase; }
.tag { margin: 2px 0 0; color: var(--muted); font-size: 12.5px; }
.nav-tab {
  margin-left: 8px; padding: 6px 12px; border-radius: 8px; font-size: 12.5px;
  border: 1px solid var(--border); color: var(--muted); align-self: center;
  text-decoration: none;
}
a.nav-tab:hover { color: var(--text); border-color: var(--accent); }
.nav-tab.active { color: var(--text); background: var(--panel-2); border-color: var(--accent); }
.topbar-right { display: flex; align-items: center; gap: 16px; }
.health { display: flex; gap: 8px; }
.account { display: flex; align-items: center; gap: 8px; background: var(--panel-2);
  border: 1px solid var(--border); border-radius: 999px; padding: 5px 6px 5px 12px; font-size: 12.5px; }
.acct-dot { width: 8px; height: 8px; border-radius: 50%; background: var(--ok); box-shadow: 0 0 8px var(--ok); }
.acct-user { color: var(--text); font-family: var(--mono); font-size: 12px; max-width: 180px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.acct-logout { color: var(--muted); text-decoration: none; border: 1px solid var(--border);
  border-radius: 999px; padding: 3px 10px; font-size: 11.5px; }
.acct-logout:hover { color: var(--fail); border-color: var(--fail); }
.acct-guest { color: var(--muted); font-size: 12px; }
.acct-signin { color: var(--accent); text-decoration: none; border: 1px solid var(--border);
  border-radius: 999px; padding: 3px 10px; font-size: 11.5px; }
.acct-signin:hover { border-color: var(--accent); }
.pill {
  font-family: var(--mono); font-size: 11px; padding: 4px 10px;
  border-radius: 999px; border: 1px solid var(--border); background: var(--panel);
  color: var(--muted);
}
.pill.on { color: var(--ok); border-color: rgba(53,208,165,.4); }
.pill.off { color: var(--warn); border-color: rgba(255,180,84,.4); }

.stats {
  display: grid; grid-template-columns: repeat(4, 1fr); gap: 14px;
  padding: 20px 28px 0;
}
.stat {
  background: linear-gradient(180deg, var(--panel), var(--bg-2));
  border: 1px solid var(--border); border-radius: 14px; padding: 16px 18px;
  display: flex; flex-direction: column; gap: 4px;
}
.stat .num { font-size: 28px; font-weight: 700; font-family: var(--mono); }
.stat .num.vuln { color: var(--vuln); }
.stat .lbl { color: var(--muted); font-size: 12px; text-transform: uppercase; letter-spacing: .6px; }

main {
  display: grid; grid-template-columns: 260px 1fr; gap: 16px;
  padding: 20px 28px 16px; align-items: start;
}
/* Results get the full page width (they hold wide code + metrics). */
.results-section { padding: 0 28px 28px; }
.panel {
  background: var(--panel); border: 1px solid var(--border);
  border-radius: 14px; overflow: hidden;
}
.panel-head {
  display: flex; justify-content: space-between; align-items: center;
  padding: 14px 16px; border-bottom: 1px solid var(--border);
}
.panel-head h2 { margin: 0; font-size: 13px; text-transform: uppercase; letter-spacing: .8px; color: var(--muted); }

.center { display: flex; flex-direction: column; gap: 16px; }

/* source tabs (paste / upload / examples) */
.src-tabs { display: flex; gap: 4px; padding: 12px 16px 0; }
.src-tab {
  background: transparent; border: 1px solid var(--border); border-bottom: none;
  border-radius: 8px 8px 0 0; padding: 8px 14px; font-size: 12.5px; color: var(--muted);
}
.src-tab.active { color: var(--text); background: var(--panel-2); border-color: var(--accent); }
.src-body { padding: 12px 16px 0; }
.src-panel.hidden { display: none; }
#paste-code {
  width: 100%; min-height: 220px; resize: vertical; background: #0a0d13;
  border: 1px solid var(--border); border-radius: 8px; padding: 12px 12px 12px 14px;
  color: #cdd9e5; font-family: var(--mono); font-size: 13px; line-height: 1.6;
  tab-size: 4;
}
#paste-code:focus { outline: none; border-color: var(--accent); box-shadow: 0 0 0 1px var(--accent); }
.src-row { display: flex; gap: 8px; margin-top: 8px; align-items: center; }
.src-row input { width: 160px; }
.src-status { color: var(--muted); font-size: 12px; flex: 1; }
.src-status.ok { color: var(--ok); }
.steps { font-size: 11.5px; color: var(--muted); }
.steps b { color: var(--accent); font-family: var(--mono); }
button.primary:disabled { opacity: .45; cursor: not-allowed; }
#src-example label { display: flex; flex-direction: column; gap: 6px; font-size: 12px; color: var(--muted); }
#upload-files { color: var(--muted); font-size: 12.5px; }
.src-note { color: var(--muted); font-size: 11.5px; margin: 8px 0; }
.ghost-btn { background: var(--panel-2); border: 1px solid var(--border); font-size: 12.5px; padding: 8px 14px; white-space: nowrap; }
.ghost-btn:hover { border-color: var(--accent); }
.ghost-btn:disabled { opacity: .5; cursor: not-allowed; }

.launch-grid { padding: 16px; display: grid; grid-template-columns: 1fr 1fr; gap: 12px; }
.launch-grid label { display: flex; flex-direction: column; gap: 6px; font-size: 12px; color: var(--muted); }
.launch-grid select {
  background: var(--panel-2); color: var(--text); border: 1px solid var(--border);
  border-radius: 8px; padding: 9px 10px; font-family: var(--mono); font-size: 12.5px;
}
.scope { display: flex; gap: 16px; align-items: center; grid-column: 1 / -1; }
.chk { flex-direction: row !important; align-items: center; gap: 8px; color: var(--text) !important; }
.chk input { accent-color: var(--accent); }
button {
  cursor: pointer; border-radius: 9px; border: 1px solid var(--border);
  background: var(--panel-2); color: var(--text); font-size: 13px; padding: 10px 14px;
  transition: .15s;
}
button:hover { border-color: var(--accent); }
button.primary {
  grid-column: 1 / -1;
  background: linear-gradient(90deg, var(--accent), var(--accent-2));
  border: none; font-weight: 600; letter-spacing: .3px;
}
button.primary:disabled { opacity: .5; cursor: not-allowed; }
button.ghost { background: transparent; border: none; color: var(--muted); font-size: 15px; padding: 2px 8px; }
.target-hint { padding: 0 16px 14px; margin: 0; color: var(--muted); font-family: var(--mono); font-size: 11.5px; min-height: 14px; }

/* "View source" under the picker — see the code that's about to be tested */
.source-view { margin: -6px 16px 14px; }
.source-view.hidden { display: none; }
.source-view summary { cursor: pointer; color: var(--accent); font-size: 11.5px;
  font-family: var(--mono); list-style: none; }
.source-view summary::-webkit-details-marker { display: none; }
.source-view summary::before { content: "\25B8 "; }        /* ▸ */
.source-view[open] summary::before { content: "\25BE "; }  /* ▾ */
.source-view pre {
  background: #0a0d13; border: 1px solid var(--border); border-radius: 8px;
  padding: 12px; overflow: auto; font-size: 12px; line-height: 1.55;
  font-family: var(--mono); color: #7d8ea3; max-height: 340px; margin: 8px 0 0;
}
/* the selected function, lifted out of the surrounding file */
.source-view pre .hl {
  display: inline-block; width: 100%; color: #cdd9e5;
  background: rgba(88, 166, 255, .10);
  box-shadow: inset 2px 0 0 var(--accent);
}

/* pipeline graph */
.graph { display: flex; flex-wrap: wrap; gap: 10px; padding: 18px 16px; align-items: center; }
.node {
  position: relative; display: flex; flex-direction: column; gap: 3px;
  padding: 10px 14px; border-radius: 10px; border: 1px solid var(--border);
  background: var(--panel-2); min-width: 92px;
}
.node .n-name { font-size: 12px; font-weight: 600; }
.node .n-sub { font-size: 10.5px; color: var(--muted); font-family: var(--mono); min-height: 12px; }
.node.active { border-color: var(--accent); box-shadow: 0 0 0 1px var(--accent), 0 0 18px rgba(91,140,255,.35); }
.node.done { border-color: rgba(53,208,165,.5); }
.node.done .n-name::before { content: "✓ "; color: var(--ok); }
.node.retry { border-color: var(--warn); }
.node.error { border-color: var(--fail); }
.arrow { color: var(--muted); font-size: 16px; }

.log {
  font-family: var(--mono); font-size: 11.5px; color: var(--muted);
  border-top: 1px solid var(--border); padding: 12px 16px; max-height: 190px; overflow-y: auto;
  line-height: 1.6;
}
.log .ev-node { color: var(--accent); }
.log .ev-done { color: var(--ok); }
.log .ev-retry { color: var(--warn); }
.log .ev-error { color: var(--fail); }

/* history */
.history-list { list-style: none; margin: 0; padding: 8px; max-height: 640px; overflow-y: auto; }
.history-list li {
  padding: 10px 12px; border-radius: 9px; cursor: pointer; margin-bottom: 6px;
  border: 1px solid transparent;
}
.history-list li:hover { background: var(--panel-2); }
.history-list li.sel { border-color: var(--accent); background: var(--panel-2); }
.h-top { display: flex; justify-content: space-between; align-items: center; }
.h-target { font-family: var(--mono); font-size: 12.5px; }
.h-badge { font-size: 10px; padding: 2px 7px; border-radius: 999px; font-family: var(--mono); }
.h-badge.done { background: rgba(53,208,165,.15); color: var(--ok); }
.h-badge.running { background: rgba(91,140,255,.15); color: var(--accent); }
.h-badge.queued { background: rgba(255,180,84,.15); color: var(--warn); }
.h-badge.error { background: rgba(255,92,122,.15); color: var(--fail); }
.h-meta { color: var(--muted); font-size: 11px; margin-top: 3px; display: flex; gap: 10px; }
.h-meta .v { color: var(--vuln); }

/* results — full-width: metrics row on top, then findings | wide code columns */
.results-body { padding: 18px 20px; }
.muted { color: var(--muted); }
.results-cols {
  display: grid; grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 20px; align-items: start; margin-top: 6px;
}
.results-col { min-width: 0; }                          /* let code scroll inside, not overflow */
.results-col .code-toggle:first-child { margin-top: 0; }
.headline-grid {
  display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
  gap: 12px; margin-bottom: 14px;
}
.hcell { background: var(--panel-2); border: 1px solid var(--border); border-radius: 12px; padding: 14px 16px; }
.hcell .hv { font-size: 26px; font-weight: 700; font-family: var(--mono); line-height: 1.1; }
.hcell .hl { font-size: 11px; color: var(--muted); text-transform: uppercase; letter-spacing: .5px; margin-top: 4px; display: block; }
.hcell.vuln .hv { color: var(--vuln); }
.hcell.ok .hv { color: var(--ok); }

.bar { height: 8px; border-radius: 999px; background: var(--panel-2); overflow: hidden; margin: 6px 0 2px; }
.bar > span { display: block; height: 100%; background: linear-gradient(90deg, var(--ok), var(--accent)); }
.bar-lbl { display: flex; justify-content: space-between; font-size: 11px; color: var(--muted); }

.section-title { font-size: 12px; text-transform: uppercase; letter-spacing: .6px; color: var(--muted); margin: 16px 0 8px; }
.vuln-card {
  border: 1px solid rgba(255,107,139,.35); background: rgba(255,107,139,.07);
  border-radius: 10px; padding: 10px 12px; margin-bottom: 8px;
}
.vuln-card .vc-top { display: flex; justify-content: space-between; align-items: center; }
.vuln-card .cwe { font-family: var(--mono); font-size: 11px; color: var(--vuln); }
.vuln-card .vc-test { font-family: var(--mono); font-size: 12px; }
.vuln-card pre { margin: 6px 0 0; font-size: 10.5px; color: var(--muted); white-space: pre-wrap; max-height: 90px; overflow: auto; }

.code-toggle { margin-top: 12px; }
.code-toggle summary { cursor: pointer; color: var(--accent); font-size: 12px;
  display: flex; align-items: center; gap: 8px; list-style: none; }
.code-toggle summary::-webkit-details-marker { display: none; }
.code-toggle summary .title::before { content: "\25B8 "; }   /* ▸ */
.code-toggle[open] summary .title::before { content: "\25BE "; } /* ▾ */
.code-actions { margin-left: auto; display: inline-flex; gap: 6px; }
.code-btn { font-family: var(--sans); font-size: 11px; padding: 3px 9px; border-radius: 7px;
  border: 1px solid var(--border); background: var(--panel-2); color: var(--muted); cursor: pointer; }
.code-btn:hover { border-color: var(--accent); color: var(--text); }
.code-btn.ok { color: var(--ok); border-color: rgba(53, 208, 165, .4); }
.code-toggle pre {
  background: #0a0d13; border: 1px solid var(--border); border-radius: 8px;
  padding: 14px; overflow: auto; font-size: 12px; line-height: 1.55; font-family: var(--mono);
  color: #cdd9e5; max-height: 520px; margin-top: 8px;
}
/* per-test results shown inside each generated-code block */
.summary-badge { font-family: var(--mono); font-size: 11px; padding: 2px 9px; border-radius: 999px;
  border: 1px solid var(--border); background: var(--panel-2); color: var(--muted); }
.summary-badge.ok { color: var(--ok); border-color: rgba(53,208,165,.4); }
.summary-badge.warn { color: var(--warn); border-color: rgba(255,180,84,.4); }
.outcome-list { margin: 10px 0 4px; border: 1px solid var(--border); border-radius: 8px; overflow: hidden; }
.outcome-row { display: flex; justify-content: space-between; align-items: center; gap: 12px;
  font-family: var(--mono); font-size: 12px; padding: 7px 12px; border-top: 1px solid var(--border); }
.outcome-list > .outcome-row:first-child { border-top: none; }
.outcome-row .o-name { flex: 1; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.outcome-row .o-pass { color: var(--ok); }
.outcome-row .o-fail { color: var(--fail); }
.outcome-row .o-skip { color: var(--muted); }
.outcome-msg { font-family: var(--mono); font-size: 10.5px; color: var(--fail);
  padding: 0 12px 7px; white-space: pre-wrap; word-break: break-word; }
/* security probes grouped by the CWE they target */
.cwe-group { margin-bottom: 8px; }
.cwe-head { display: flex; justify-content: space-between; align-items: center;
  font-family: var(--mono); font-size: 11px; letter-spacing: .4px; margin: 10px 0 5px; }
.cwe-head span:first-child { color: var(--text); }
.cwe-count.ok { color: var(--ok); }
.cwe-count.warn { color: var(--warn); }
.cwe-inline { font-family: var(--mono); color: var(--accent); }
.ok-text { color: var(--ok); }

/* per-function sections in a "test everything" run */
.fn-section { border: 1px solid var(--border); border-radius: 12px; margin-top: 16px; padding: 0 18px 14px; }
.fn-section > summary.fn-title { display: flex; align-items: center; gap: 12px; cursor: pointer;
  padding: 14px 0; list-style: none; }
.fn-section > summary.fn-title::-webkit-details-marker { display: none; }
.fn-name { font-family: var(--mono); font-weight: 600; font-size: 14px; color: var(--text); }
.fn-name::before { content: "\25B8 "; color: var(--muted); }        /* ▸ */
.fn-section[open] > summary .fn-name::before { content: "\25BE "; } /* ▾ */
.fn-section .headline-grid { margin-top: 0; }
#file-wrap.hidden { display: none; }

footer { text-align: center; padding: 20px; color: var(--muted); font-size: 11.5px; border-top: 1px solid var(--border); }

/* "The submitted code didn't run" banner — shown when every generated test
   failed with the same exception (a code/env problem, not a generator failure). */
.target-error {
  background: rgba(255, 180, 84, .08); border: 1px solid rgba(255, 180, 84, .45);
  border-radius: 10px; padding: 12px 14px; margin-bottom: 14px;
  color: #ffd9a8; font-size: 13.5px; line-height: 1.55;
}
.target-error strong { color: var(--warn); }
.target-error code { color: var(--warn); font-family: var(--mono); font-size: 12.5px; }

@media (max-width: 1100px) {
  main { grid-template-columns: 1fr; }
  .stats { grid-template-columns: repeat(2, 1fr); }
  .results-cols { grid-template-columns: 1fr; }   /* stack findings above code */
}

/* Phones: the topbar is a single non-wrapping row (brand + status pills +
   account) that is wider than the screen — let it wrap instead of forcing a
   horizontal scroll of the whole page, and tighten the side padding. */
@media (max-width: 720px) {
  body { overflow-x: hidden; }
  .topbar { flex-wrap: wrap; gap: 10px; padding: 12px 16px; }
  .brand { gap: 10px; flex-wrap: wrap; }
  .tag { display: none; }            /* long descriptor — drop it on small screens */
  .nav-tab { margin-left: 0; }
  .topbar-right { width: 100%; justify-content: flex-start; flex-wrap: wrap; gap: 8px; }
  .health { flex-wrap: wrap; }
  .stats { padding: 16px 16px 0; }
  main { padding: 16px 16px 24px; }
}