dashboard/public/styles.css

/* ══════════════════════════════════════════════════════
   PROOFBRIDGE LINER — Afro-Futurist AMD Safety Kernel UI
   Design language: Ubuntu-Bridge × Radeon-Ndebele
   ══════════════════════════════════════════════════════ */

:root {
  --void:      #050505;
  --void-2:    #0d0d0d;
  --void-3:    #141414;
  --void-4:    #1a1a1a;
  --tech-gray: #1F1F1F;
  --border:    #2a2a2a;
  --border-2:  #333;
  --text:      #e8e8e8;
  --dim:       #666;
  --muted:     #999;

  --gold:      #FFB900;
  --gold-dim:  rgba(255,185,0,0.12);
  --gold-glow: rgba(255,185,0,0.25);
  --red:       #ED1C24;
  --red-dim:   rgba(237,28,36,0.12);
  --clay:      #E2725B;
  --clay-dim:  rgba(226,114,91,0.15);
  --green:     #39d98a;
  --green-dim: rgba(57,217,138,0.12);

  --font-head: 'Orbitron', 'Segoe UI', sans-serif;
  --font-mono: 'JetBrains Mono', 'Fira Code', ui-monospace, monospace;
  --font-body: 'JetBrains Mono', ui-sans-serif, system-ui, sans-serif;
}

/* ── Reset ── */
*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }
html { scroll-behavior: smooth; }

body {
  background: var(--void);
  color: var(--text);
  font-family: var(--font-body);
  font-size: 13px;
  min-height: 100vh;
  overflow-x: hidden;
  position: relative;
}

/* ── Ndebele Geometric Backdrop ── */
.ndebele-backdrop {
  position: fixed;
  inset: 0;
  pointer-events: none;
  z-index: 0;
  opacity: 0.6;
}

/* ── CRT Scanlines ── */
.scanlines {
  position: fixed;
  inset: 0;
  pointer-events: none;
  z-index: 1;
  background: repeating-linear-gradient(
    0deg,
    transparent,
    transparent 2px,
    rgba(0,0,0,0.08) 2px,
    rgba(0,0,0,0.08) 4px
  );
}

/* ── Typography ── */
.mono { font-family: var(--font-mono); }
.gold { color: var(--gold); }
.red  { color: var(--red); }
.clay { color: var(--clay); }
.dim  { color: var(--dim); }
.hint { color: var(--muted); font-size: 0.82rem; margin: 0.3rem 0 0; }
code  { font-family: var(--font-mono); color: var(--gold); font-size: 0.82rem; }

/* ══════════════════════════════════════════════════════
   HEADER / TOPBAR
   ══════════════════════════════════════════════════════ */
.topbar {
  position: relative;
  z-index: 10;
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 18px 28px;
  background: rgba(5,5,5,0.92);
  border-bottom: 2px solid var(--red);
  backdrop-filter: blur(12px);
}

/* Radeon-red left accent bar */
.topbar::before {
  content: '';
  position: absolute;
  left: 0; top: 0; bottom: 0;
  width: 4px;
  background: linear-gradient(180deg, var(--gold), var(--red));
}

.brand {
  display: flex;
  gap: 14px;
  align-items: center;
}

.brand-icon { flex-shrink: 0; }

.brand-name {
  font-family: var(--font-head);
  font-size: 1.55rem;
  font-weight: 900;
  letter-spacing: 0.12em;
  color: #fff;
  line-height: 1;
}

.brand-sub {
  margin-top: 5px;
  font-size: 0.7rem;
  letter-spacing: 0.15em;
  color: var(--muted);
  display: flex;
  align-items: center;
  gap: 5px;
}

/* Animated ONLINE pulse dot */
.online-dot {
  display: inline-block;
  width: 7px; height: 7px;
  border-radius: 50%;
  background: var(--green);
  box-shadow: 0 0 6px var(--green);
  animation: pulse 2s ease-in-out infinite;
}
.online-text { color: var(--green); letter-spacing: 0.12em; }

@keyframes pulse {
  0%, 100% { opacity: 1; box-shadow: 0 0 6px var(--green); }
  50%       { opacity: 0.5; box-shadow: 0 0 12px var(--green); }
}

/* Telemetry blocks (right side of header) */
.telemetry {
  display: flex;
  align-items: center;
  gap: 0;
}
.telem-block {
  padding: 4px 20px;
  text-align: right;
}
.telem-sep {
  width: 1px;
  height: 32px;
  background: var(--border-2);
}
.telem-lbl {
  font-size: 0.62rem;
  letter-spacing: 0.18em;
  color: var(--dim);
  text-transform: uppercase;
}
.telem-val {
  font-size: 0.88rem;
  font-weight: 600;
  color: var(--text);
  margin-top: 2px;
}
.telem-val.gold { color: var(--gold); }

/* ══════════════════════════════════════════════════════
   MAIN LAYOUT
   ══════════════════════════════════════════════════════ */
main {
  position: relative;
  z-index: 5;
  max-width: 1200px;
  margin: 0 auto;
  padding: 24px 24px 80px;
  display: flex;
  flex-direction: column;
  gap: 18px;
}

.grid-2 {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 18px;
}
@media (max-width: 900px) { .grid-2 { grid-template-columns: 1fr; } }

/* ══════════════════════════════════════════════════════
   CARDS — Glass HUD Panels
   ══════════════════════════════════════════════════════ */
.card {
  position: relative;
  background: rgba(14,14,14,0.85);
  border: 1px solid var(--border);
  border-top: 1px solid var(--clay);
  border-radius: 4px;
  padding: 18px 20px;
  backdrop-filter: blur(8px);
  box-shadow:
    0 0 0 1px rgba(226,114,91,0.06) inset,
    0 4px 32px rgba(0,0,0,0.6);
  overflow: hidden;
}

/* Clay corner accents */
.card::before,
.card::after {
  content: '';
  position: absolute;
  width: 14px; height: 14px;
  border-color: var(--clay);
  border-style: solid;
  opacity: 0.5;
}
.card::before { top: -1px; left: -1px; border-width: 2px 0 0 2px; }
.card::after  { bottom: -1px; right: -1px; border-width: 0 2px 2px 0; }

.card h2 {
  font-family: var(--font-head);
  font-size: 0.65rem;
  font-weight: 700;
  letter-spacing: 0.22em;
  text-transform: uppercase;
  color: var(--muted);
  margin-bottom: 16px;
  display: flex;
  align-items: center;
  gap: 10px;
}

.section-num {
  font-family: var(--font-mono);
  font-size: 0.6rem;
  color: var(--clay);
  border: 1px solid var(--clay-dim);
  padding: 1px 5px;
  border-radius: 2px;
  letter-spacing: 0.05em;
}

/* ══════════════════════════════════════════════════════
   SPRINT PHASES
   ══════════════════════════════════════════════════════ */
.phases { display: flex; flex-direction: column; gap: 8px; }

.phase {
  display: grid;
  grid-template-columns: 30px 1fr 60px;
  gap: 12px;
  align-items: center;
}
.phase .num {
  width: 28px; height: 28px;
  display: grid; place-items: center;
  font-family: var(--font-mono);
  font-size: 0.7rem;
  color: var(--clay);
  border: 1px solid var(--clay-dim);
  border-radius: 3px;
}
.phase .lbl {
  font-size: 0.85rem;
  color: var(--text);
  letter-spacing: 0.02em;
}
.phase .lbl small {
  display: block;
  font-family: var(--font-mono);
  font-size: 0.68rem;
  color: var(--dim);
  margin-top: 2px;
}
.phase .bar {
  height: 5px;
  background: var(--void-4);
  border-radius: 0;
  overflow: hidden;
  margin-top: 4px;
  border-left: 2px solid var(--clay-dim);
}
.phase .bar > span {
  display: block; height: 100%;
  background: linear-gradient(90deg, var(--clay), var(--gold));
  transition: width 0.6s ease;
}
.phase .pct {
  font-family: var(--font-mono);
  font-size: 0.78rem;
  text-align: right;
  color: var(--gold);
}

/* ══════════════════════════════════════════════════════
   KPI BLOCKS
   ══════════════════════════════════════════════════════ */
.kpi {
  display: flex;
  gap: 28px;
  padding: 8px 0 16px;
  border-bottom: 1px solid var(--border);
  margin-bottom: 12px;
}
.kpi > div { display: flex; flex-direction: column; }
.kpi-num {
  font-family: var(--font-head);
  font-size: 1.6rem;
  font-weight: 700;
  color: var(--text);
  line-height: 1;
}
.kpi-num.gold { color: var(--gold); }
.kpi-num.ok   { color: var(--green); font-size: 1.1rem; margin-top: 6px; }
.kpi-lbl {
  font-family: var(--font-mono);
  font-size: 0.6rem;
  letter-spacing: 0.2em;
  color: var(--dim);
  text-transform: uppercase;
  margin-top: 4px;
}

/* ══════════════════════════════════════════════════════
   TEST LIST
   ══════════════════════════════════════════════════════ */
.scroll {
  max-height: 260px;
  overflow: auto;
  padding-right: 4px;
}
.scroll::-webkit-scrollbar { width: 3px; }
.scroll::-webkit-scrollbar-track { background: transparent; }
.scroll::-webkit-scrollbar-thumb { background: var(--clay-dim); }

.test {
  display: grid;
  grid-template-columns: 12px 1fr 90px;
  gap: 10px;
  align-items: center;
  padding: 7px 4px;
  border-bottom: 1px solid rgba(255,255,255,0.03);
  font-size: 0.78rem;
}
.test .dot {
  width: 8px; height: 8px;
  border-radius: 50%;
  background: var(--green);
  box-shadow: 0 0 5px var(--green);
  flex-shrink: 0;
}
.test .gas {
  font-family: var(--font-mono);
  color: var(--dim);
  text-align: right;
  font-size: 0.72rem;
}

/* ══════════════════════════════════════════════════════
   KEY-VALUE LIST
   ══════════════════════════════════════════════════════ */
.kv {
  display: grid;
  grid-template-columns: 110px 1fr;
  gap: 10px 16px;
}
.kv dt {
  font-family: var(--font-mono);
  font-size: 0.7rem;
  letter-spacing: 0.12em;
  text-transform: uppercase;
  color: var(--clay);
  align-self: start;
  padding-top: 2px;
}
.kv dd {
  font-size: 0.84rem;
  color: var(--text);
  word-break: break-all;
}

/* ══════════════════════════════════════════════════════
   ARCHITECTURE LAYERS
   ══════════════════════════════════════════════════════ */
.arch-layers { display: flex; flex-direction: column; gap: 10px; }

.arch-layer {
  position: relative;
  background: var(--void-3);
  border: 1px solid var(--border);
  border-left: 3px solid var(--clay);
  padding: 12px 16px;
  border-radius: 2px;
}
.arch-layer-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: 4px;
}
.arch-layer-name {
  font-family: var(--font-head);
  font-size: 0.75rem;
  font-weight: 700;
  letter-spacing: 0.12em;
  color: var(--text);
}
.theorems {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  margin-top: 10px;
}
.theorem {
  font-family: var(--font-mono);
  font-size: 0.68rem;
  padding: 3px 8px;
  background: var(--gold-dim);
  border: 1px solid rgba(255,185,0,0.2);
  color: var(--gold);
  border-radius: 2px;
  letter-spacing: 0.02em;
}

/* ══════════════════════════════════════════════════════
   VERIFICATION ARTIFACTS
   ══════════════════════════════════════════════════════ */
.ver-item {
  padding: 10px 0;
  border-bottom: 1px solid var(--border);
}
.ver-item:last-child { border-bottom: none; }
.ver-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
}
.ver-name {
  font-family: var(--font-mono);
  font-size: 0.82rem;
  color: var(--text);
  letter-spacing: 0.05em;
}

/* ══════════════════════════════════════════════════════
   TAGS / STATUS BADGES
   ══════════════════════════════════════════════════════ */
.tag {
  display: inline-block;
  font-family: var(--font-mono);
  font-size: 0.65rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  padding: 3px 8px;
  border-radius: 2px;
  border: 1px solid transparent;
}
.tag.ok, .tag.complete, .tag.proven {
  background: var(--green-dim);
  border-color: rgba(57,217,138,0.25);
  color: var(--green);
}
.tag.warn, .tag.deployed-pending {
  background: rgba(255,185,0,0.1);
  border-color: rgba(255,185,0,0.2);
  color: var(--gold);
}
.tag.muted, .tag.unknown, .tag.pending {
  background: rgba(255,255,255,0.04);
  border-color: var(--border);
  color: var(--dim);
}
.tag.fresh  { background: var(--green-dim); border-color: rgba(57,217,138,0.25); color: var(--green); }
.tag.mismatch  { background: var(--red-dim); border-color: rgba(237,28,36,0.25); color: var(--red); }
.tag.unreachable { background: rgba(255,185,0,0.1); border-color: rgba(255,185,0,0.2); color: var(--gold); }

/* ══════════════════════════════════════════════════════
   ASSETS TABLE
   ══════════════════════════════════════════════════════ */
.table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.8rem;
  font-family: var(--font-mono);
}
.table th {
  text-align: left;
  padding: 8px 10px;
  font-size: 0.65rem;
  letter-spacing: 0.15em;
  text-transform: uppercase;
  color: var(--clay);
  border-bottom: 1px solid var(--clay-dim);
  font-weight: 500;
}
.table td {
  padding: 10px 10px;
  border-bottom: 1px solid var(--border);
  vertical-align: middle;
  color: var(--text);
}
.table tr:hover td { background: rgba(226,114,91,0.04); }

/* ══════════════════════════════════════════════════════
   SIGNER NODES
   ══════════════════════════════════════════════════════ */
.nodes {
  list-style: none;
  display: flex;
  flex-direction: column;
  gap: 6px;
}
.nodes li {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 9px 12px;
  background: var(--void-4);
  border: 1px solid var(--border);
  border-left: 2px solid var(--clay-dim);
  font-size: 0.8rem;
}
.nodes .endpoint {
  font-family: var(--font-mono);
  font-size: 0.72rem;
  color: var(--dim);
}

/* ══════════════════════════════════════════════════════
   PROVER STATE
   ══════════════════════════════════════════════════════ */
.prover-state pre {
  background: var(--void);
  border: 1px solid var(--border);
  border-left: 2px solid var(--gold-dim);
  padding: 12px;
  max-height: 240px;
  overflow: auto;
  font-family: var(--font-mono);
  font-size: 0.72rem;
  color: rgba(255,185,0,0.7);
  border-radius: 2px;
  margin-top: 8px;
}

/* ══════════════════════════════════════════════════════
   FOOTER
   ══════════════════════════════════════════════════════ */
footer {
  position: relative;
  z-index: 5;
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 12px 28px;
  border-top: 1px solid var(--border);
  font-family: var(--font-mono);
  font-size: 0.65rem;
  letter-spacing: 0.12em;
  color: var(--dim);
  background: rgba(5,5,5,0.9);
}
footer::before {
  content: '';
  position: absolute;
  left: 0; top: 0; bottom: 0;
  width: 3px;
  background: linear-gradient(180deg, var(--gold), transparent);
}