/* ParityProven — shared styles */
*, *::before, *::after { box-sizing: border-box; }

:root {
  --font: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
  --max-w: 960px;
  --radius: 6px;

  --c-bg:      #0d1117;
  --c-surface: #161b22;
  --c-border:  #30363d;
  --c-text:    #e6edf3;
  --c-muted:   #8b949e;
  --c-link:    #58a6ff;
  --c-accent:  #1f6feb;

  --c-green:   #238636;
  --c-green-fg:#3fb950;
  --c-amber:   #9e6a03;
  --c-amber-fg:#d29922;
  --c-red:     #da3633;
  --c-red-fg:  #f85149;
}

body {
  margin: 0;
  padding: 0 1rem;
  font-family: var(--font);
  font-size: 15px;
  line-height: 1.6;
  color: var(--c-text);
  background: var(--c-bg);
}

.container { max-width: var(--max-w); margin: 0 auto; padding: 2rem 0; }

/* Nav */
nav {
  border-bottom: 1px solid var(--c-border);
  padding: 0.75rem 0;
  margin-bottom: 2rem;
  display: flex;
  align-items: center;
  gap: 1.5rem;
}
nav .brand { font-weight: 700; font-size: 1.1rem; text-decoration: none; color: var(--c-text); }
nav a { color: var(--c-muted); text-decoration: none; font-size: 0.9rem; }
nav a:hover { color: var(--c-text); }

h1 { font-size: 1.5rem; margin: 0 0 0.5rem; }
h2 { font-size: 1.1rem; margin: 1.5rem 0 0.5rem; color: var(--c-text); }
h3 { font-size: 0.95rem; margin: 1rem 0 0.25rem; color: var(--c-muted); text-transform: uppercase; letter-spacing: 0.05em; }

a { color: var(--c-link); }

/* Cards / surfaces */
.card {
  background: var(--c-surface);
  border: 1px solid var(--c-border);
  border-radius: var(--radius);
  padding: 1rem 1.25rem;
  margin-bottom: 1rem;
}

/* Status badges */
.badge {
  display: inline-flex;
  align-items: center;
  gap: 0.3rem;
  padding: 0.2rem 0.6rem;
  border-radius: 2rem;
  font-size: 0.78rem;
  font-weight: 600;
  white-space: nowrap;
}
.badge-verified { background: var(--c-green);  color: #fff; }
.badge-pending  { background: var(--c-amber);  color: #fff; }
.badge-failed   { background: var(--c-red);    color: #fff; }
.badge-pass     { background: var(--c-green);  color: #fff; }
.badge-fail     { background: var(--c-red);    color: #fff; }
.badge-not-run  { background: var(--c-border); color: var(--c-muted); }
.badge-na       { background: var(--c-border); color: var(--c-muted); }

/* Tier chips */
.chip {
  display: inline-block;
  padding: 0.15rem 0.5rem;
  border-radius: var(--radius);
  font-size: 0.78rem;
  border: 1px solid var(--c-border);
  color: var(--c-muted);
}

/* Tables */
table { width: 100%; border-collapse: collapse; font-size: 0.9rem; }
th { text-align: left; padding: 0.5rem 0.75rem; border-bottom: 1px solid var(--c-border); color: var(--c-muted); font-weight: 500; }
td { padding: 0.5rem 0.75rem; border-bottom: 1px solid var(--c-border); vertical-align: middle; }
tr:last-child td { border-bottom: none; }
tr:hover td { background: rgba(255,255,255,0.02); }

/* Code blocks */
pre, code {
  font-family: var(--mono);
  font-size: 0.82rem;
}
pre {
  background: var(--c-surface);
  border: 1px solid var(--c-border);
  border-radius: var(--radius);
  padding: 1rem;
  overflow-x: auto;
  white-space: pre;
  line-height: 1.5;
}

/* Diff */
.diff-add { color: var(--c-green-fg); }
.diff-del { color: var(--c-red-fg); }
.diff-hunk { color: var(--c-muted); font-style: italic; }

/* Tabs */
.tabs { display: flex; gap: 0; border-bottom: 1px solid var(--c-border); margin-bottom: 0; }
.tab-btn {
  background: none;
  border: none;
  color: var(--c-muted);
  padding: 0.5rem 1rem;
  cursor: pointer;
  font-size: 0.875rem;
  border-bottom: 2px solid transparent;
  margin-bottom: -1px;
}
.tab-btn.active { color: var(--c-text); border-bottom-color: var(--c-accent); }
.tab-panel { display: none; }
.tab-panel.active { display: block; }

/* Not-verified banner */
.banner-warning {
  background: rgba(210, 153, 34, 0.15);
  border: 1px solid var(--c-amber);
  color: var(--c-amber-fg);
  border-radius: var(--radius);
  padding: 0.75rem 1rem;
  margin-bottom: 1rem;
  font-size: 0.9rem;
}

/* Step checklist */
.steps { list-style: none; padding: 0; margin: 0; }
.steps li {
  display: flex;
  align-items: center;
  gap: 0.75rem;
  padding: 0.4rem 0;
  border-bottom: 1px solid var(--c-border);
  font-size: 0.9rem;
}
.steps li:last-child { border-bottom: none; }
.step-num { color: var(--c-muted); font-size: 0.8rem; width: 1.5rem; }

/* Stats row */
.stats { display: flex; gap: 2rem; margin: 1rem 0; }
.stat { text-align: center; }
.stat-val { font-size: 1.8rem; font-weight: 700; line-height: 1; }
.stat-lbl { font-size: 0.78rem; color: var(--c-muted); margin-top: 0.2rem; }
.stat-verified .stat-val { color: var(--c-green-fg); }
.stat-pending  .stat-val { color: var(--c-amber-fg); }
.stat-failed   .stat-val { color: var(--c-red-fg); }

/* Empty state */
.empty { text-align: center; padding: 4rem 1rem; color: var(--c-muted); }
.empty h2 { color: var(--c-muted); }

/* Form (questionnaire) */
label { display: block; margin-bottom: 0.25rem; font-size: 0.875rem; color: var(--c-muted); }
input[type="number"], input[type="range"] {
  width: 100%;
  background: var(--c-surface);
  border: 1px solid var(--c-border);
  border-radius: var(--radius);
  color: var(--c-text);
  padding: 0.4rem 0.6rem;
  font-size: 0.9rem;
  margin-bottom: 1rem;
}
input[type="range"] { padding: 0; }
.result-box {
  background: var(--c-surface);
  border: 1px solid var(--c-accent);
  border-radius: var(--radius);
  padding: 1rem 1.25rem;
  margin-top: 1.5rem;
}
.result-box .estimate { font-size: 1.4rem; font-weight: 700; }

/* Command block */
.cmd {
  background: var(--c-surface);
  border: 1px solid var(--c-border);
  border-radius: var(--radius);
  padding: 0.6rem 1rem;
  font-family: var(--mono);
  font-size: 0.82rem;
  color: var(--c-green-fg);
  display: flex;
  align-items: center;
  gap: 0.5rem;
  overflow-x: auto;
}

/* Responsive */
@media (max-width: 640px) {
  .stats { flex-wrap: wrap; gap: 1rem; }
  table { font-size: 0.8rem; }
  th, td { padding: 0.4rem 0.5rem; }
}