/* Fuzzing campaign simulation page. Builds on the tokens and components in styles.css. */

.fz { padding-top: 72px; padding-bottom: 96px; }

.fz-back { font-size: 14px; color: var(--muted); transition: color 0.15s; }
.fz-back:hover { color: var(--text); }

.fz-head h1 {
  max-width: 20ch;
  font-size: clamp(30px, 4.6vw, 48px);
  line-height: 1.08;
  letter-spacing: -0.035em;
  font-weight: 600;
  text-wrap: balance;
}
.fz-head .lede { max-width: 66ch; }

.fz-badge {
  display: inline-block;
  margin-right: 8px;
  padding: 2px 8px;
  border-radius: 999px;
  background: var(--high-bg);
  color: var(--high);
  font-weight: 500;
}

.fz-controls {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 10px;
  margin-top: 32px;
}
.btn-sm { height: 36px; padding-inline: 14px; font-size: 14px; background: transparent; cursor: pointer; font-family: inherit; }

.fz-state {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  margin-right: 8px;
  font-family: var(--mono);
  font-size: 13px;
  color: var(--muted);
}
.fz-state::before {
  content: "";
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: var(--faint);
}
.fz-state-run::before { background: var(--ok); animation: live 1.6s ease-in-out infinite; }
.fz-state-triage::before { background: var(--critical); animation: live 0.8s ease-in-out infinite; }
.fz-state-triage { color: var(--text); }
.fz-state-done::before { background: var(--accent); }

/* Stats strip */
.fz-stats {
  display: grid;
  grid-template-columns: repeat(7, minmax(0, 1fr));
  margin-top: 48px;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
}
.fz-stats > div { padding: 16px 16px 16px 0; }
.fz-stats > div + div { padding-left: 16px; border-left: 1px solid var(--line); }
.fz-stats dt { font-size: 12.5px; color: var(--muted); }
.fz-stats dd {
  margin-top: 4px;
  font-family: var(--mono);
  font-size: 22px;
  font-weight: 500;
  letter-spacing: -0.02em;
  font-variant-numeric: tabular-nums;
}
.fz-crit { color: var(--critical); }
.fz-ok { color: var(--ok); }

/* Panels */
.fz-panel {
  border: 1px solid var(--line);
  border-radius: 12px;
  background: var(--surface);
  overflow: hidden;
  box-shadow: var(--shadow-sm), var(--highlight);
}
.fz-chart-panel { margin-top: 24px; }
.fz-chart { display: block; width: 100%; height: 120px; }

.fz-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.3fr) minmax(0, 1fr);
  gap: 16px;
  margin-top: 16px;
}

/* Fuzzer log */
.fz-log {
  height: 520px;
  overflow-y: auto;
  padding: 12px 14px;
  font-family: var(--mono);
  font-size: 11.5px;
  line-height: 1.65;
  white-space: pre-wrap;
  word-break: break-all;
  color: var(--muted);
  tab-size: 2;
}
.l-info, .l-pulse { color: var(--faint); }
.l-new { color: var(--text); }
.l-reduce { color: var(--muted); }
.l-err { color: var(--critical); }
.l-camp { color: var(--ok); }

/* Triage agent */
.fz-triage { display: flex; flex-direction: column; }

.fz-stages {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 8px 12px;
  padding: 14px;
  border-bottom: 1px solid var(--line);
  font-size: 12.5px;
  color: var(--faint);
}
.fz-stages li { display: flex; align-items: center; gap: 8px; }
.fz-dot {
  flex: none;
  width: 8px;
  height: 8px;
  border-radius: 50%;
  border: 1.5px solid currentColor;
}
.fz-stages .is-active { color: var(--text); font-weight: 500; }
.fz-stages .is-active .fz-dot { background: var(--accent); border-color: var(--accent); animation: live 0.9s ease-in-out infinite; }
.fz-stages .is-done { color: var(--ok); }
.fz-stages .is-done .fz-dot { background: var(--ok); border-color: var(--ok); }

.fz-report { padding: 14px; }
.fz-idle { color: var(--faint); font-size: 14px; }
.fz-crash-title { color: var(--critical); font-weight: 600; font-size: 15px; }
.fz-crash-meta { margin-top: 2px; font-size: 13.5px; color: var(--muted); }
.fz-frames {
  margin-top: 10px;
  font-family: var(--mono);
  font-size: 11.5px;
  line-height: 1.7;
  color: var(--faint);
  overflow-wrap: anywhere;
}

.fz-diff-wrap { padding: 0 14px 14px; }
.fz-sub { margin-bottom: 8px; font-size: 12.5px; color: var(--muted); }
.fz-diff {
  margin: 0;
  padding: 10px 0;
  border: 1px solid var(--line);
  border-radius: 8px;
  background: var(--bg);
  font-family: var(--mono);
  font-size: 11.5px;
  line-height: 1.6;
  overflow-x: auto;
}
.fz-diff span { display: block; padding-inline: 12px; white-space: pre; }
.d-file { color: var(--faint); }
.d-hunk { color: var(--accent); }
.d-ctx { color: var(--muted); }
.d-add { color: var(--ok); background: color-mix(in srgb, var(--ok) 12%, transparent); }
.d-del { color: var(--critical); background: color-mix(in srgb, var(--critical) 12%, transparent); }

.fz-agent {
  flex: 1;
  min-height: 120px;
  max-height: 180px;
  margin-top: auto;
  overflow-y: auto;
  padding: 12px 14px;
  border-top: 1px solid var(--line);
  font-family: var(--mono);
  font-size: 11.5px;
  line-height: 1.65;
  color: var(--muted);
}
.a-info { color: var(--faint); }
.a-ok { color: var(--ok); }

/* Findings table */
.fz-findings { margin-top: 16px; }
.fz-findings table { width: 100%; border-collapse: collapse; font-size: 14px; }
.fz-findings th {
  padding: 10px 14px;
  text-align: left;
  font-size: 12px;
  font-weight: 500;
  color: var(--faint);
  border-bottom: 1px solid var(--line);
}
.fz-findings td { padding: 12px 14px; border-bottom: 1px solid var(--line); vertical-align: middle; }
.fz-findings tr:last-child td { border-bottom: 0; }
.fz-findings td.mono { font-size: 12.5px; }
.fz-pill {
  display: inline-block;
  padding: 2px 9px;
  border-radius: 999px;
  font-family: var(--mono);
  font-size: 12px;
  white-space: nowrap;
}
.fz-pill-triage { color: var(--critical); background: var(--critical-bg); }
.fz-pill-fixed { color: var(--ok); background: color-mix(in srgb, var(--ok) 12%, transparent); }

.fz-note { margin-top: 40px; font-size: 15px; color: var(--muted); }
.fz-note a { color: var(--accent); }
.fz-note a:hover { text-decoration: underline; text-underline-offset: 3px; }

/* Responsive */
@media (max-width: 960px) {
  .fz-stats { grid-template-columns: repeat(4, minmax(0, 1fr)); }
  .fz-stats > div:nth-child(5) { border-left: 0; padding-left: 0; }
  .fz-stats > div:nth-child(n + 5) { border-top: 1px solid var(--line); }
  .fz-grid { grid-template-columns: minmax(0, 1fr); }
  .fz-log { height: 360px; }
}

@media (max-width: 640px) {
  .fz { padding-top: 48px; }
  .fz-stats { grid-template-columns: repeat(3, minmax(0, 1fr)); }
  .fz-stats > div:nth-child(5) { border-left: 1px solid var(--line); padding-left: 12px; }
  .fz-stats > div:nth-child(4),
  .fz-stats > div:nth-child(7) { border-left: 0; padding-left: 0; }
  .fz-stats > div:nth-child(n + 4) { border-top: 1px solid var(--line); }
  .fz-stats > div { padding: 12px 12px 12px 0; }
  .fz-stats > div + div { padding-left: 12px; }
  .fz-stats dd { font-size: 18px; }
  .fz-log { height: 300px; font-size: 10.5px; }
  .fz-stages { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .fz-col-at { display: none; }
  .fz-findings th, .fz-findings td { padding-inline: 10px; }
  .fz-back { display: none; }
  .fz-state { flex-basis: 100%; margin-bottom: 4px; }
}

/* Show operators like <= and != literally: the bug is often exactly that character */
.fz-log, .fz-diff, .fz-frames, .fz-agent, .fz-stats dd { font-variant-ligatures: none; }