:root {
  --bg: #070a0f;
  --panel: #0d121a;
  --panel2: #0b1017;
  --border: #1b2330;
  --text: #e9edf5;
  --muted: #a2adbd;

  --ok: #29d27d;
  --deny: #ff4d4d;
  --warn: #ffb020;

  --mono: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", monospace;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", Inter, Roboto, system-ui, sans-serif;

  --shadow: 0 12px 40px rgba(0,0,0,.35);
  --radius: 12px;
}

* { box-sizing: border-box; }
html, body { height: 100%; }

body {
  margin: 0;
  background: radial-gradient(1200px 800px at 10% 10%, rgba(55, 105, 255, .10), transparent 60%),
              radial-gradient(900px 600px at 90% 15%, rgba(41, 210, 125, .08), transparent 55%),
              var(--bg);
  color: var(--text);
  font-family: var(--sans);
  line-height: 1.55;
}

/* Top bar */
.topbar {
  position: sticky;
  top: 0;
  z-index: 50;
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 14px 18px;
  background: rgba(7,10,15,.75);
  backdrop-filter: blur(10px);
  border-bottom: 1px solid var(--border);
}

.brand-title {
  font-weight: 700;
  letter-spacing: .01em;
}

.brand-subtitle {
  font-size: 12px;
  color: var(--muted);
}

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

.link {
  color: var(--muted);
  text-decoration: none;
  font-size: 13px;
}
.link:hover { color: var(--text); }

.wrap {
  max-width: 1120px;
  margin: 0 auto;
  padding: 26px 18px 40px;
}

/* Pills / chips / badges */
.pill {
  display: inline-flex;
  align-items: center;
  padding: 7px 10px;
  border-radius: 999px;
  border: 1px solid var(--border);
  background: rgba(13,18,26,.65);
  font-size: 12px;
  font-weight: 700;
  letter-spacing: .04em;
  text-transform: uppercase;
}
.pill-ok { color: var(--ok); border-color: rgba(41,210,125,.25); }
.pill-deny { color: var(--deny); border-color: rgba(255,77,77,.25); }
.pill-muted { color: var(--muted); }

.chips {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin: 14px 0 18px;
}

.chip {
  font-size: 12px;
  padding: 6px 10px;
  border-radius: 999px;
  border: 1px solid var(--border);
  background: rgba(13,18,26,.55);
  color: var(--muted);
}

/* Hero */
.hero {
  display: grid;
  grid-template-columns: 1.05fr .95fr;
  gap: 18px;
  align-items: start;
  margin-top: 8px;
}

.eyebrow {
  color: var(--muted);
  font-size: 12px;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.headline {
  margin: 10px 0 10px;
  font-size: 40px;
  line-height: 1.08;
  letter-spacing: -.02em;
}

.headline-accent {
  color: rgba(233, 237, 245, .88);
}

.lede {
  margin: 0;
  max-width: 62ch;
  color: rgba(233, 237, 245, .86);
  font-size: 15px;
}

.hero-cta {
  display: flex;
  gap: 10px;
  margin-top: 14px;
}

.btn {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  padding: 10px 12px;
  border-radius: 10px;
  border: 1px solid var(--border);
  text-decoration: none;
  font-weight: 700;
  font-size: 13px;
}

.btn-primary {
  background: linear-gradient(180deg, rgba(55,105,255,.20), rgba(55,105,255,.08));
  color: var(--text);
  box-shadow: var(--shadow);
}
.btn-primary:hover {
  border-color: rgba(55,105,255,.35);
}

.btn-ghost {
  background: rgba(13,18,26,.35);
  color: var(--muted);
}
.btn-ghost:hover { color: var(--text); }

/* Claim card */
.claim-card {
  background: linear-gradient(180deg, rgba(13,18,26,.92), rgba(11,16,23,.92));
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 16px;
  box-shadow: var(--shadow);
}

.claim-row {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 12px;
  margin-bottom: 10px;
}

.claim-invariant {
  border: 1px solid var(--border);
  background: rgba(7,10,15,.45);
  border-radius: 12px;
  padding: 14px;
  font-size: 14px;
  line-height: 1.65;
}

.divider {
  height: 1px;
  background: var(--border);
  margin: 14px 0;
  opacity: .85;
}

.claim-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 12px;
}

.mini-k {
  font-size: 11px;
  color: var(--muted);
  letter-spacing: .06em;
  text-transform: uppercase;
  margin-bottom: 6px;
}

.mini-v {
  font-weight: 700;
}

.judge-box {
  border: 1px solid var(--border);
  background: rgba(7,10,15,.35);
  border-radius: 12px;
  padding: 12px;
}

.judge-title {
  font-weight: 800;
  letter-spacing: .06em;
  text-transform: uppercase;
  font-size: 12px;
  color: var(--muted);
  margin-bottom: 10px;
}

.judge-list {
  margin: 0;
  padding-left: 18px;
  color: rgba(233, 237, 245, .86);
  font-size: 13px;
}

.judge-list li { margin: 6px 0; }

.judge-foot {
  margin-top: 10px;
  color: var(--muted);
  font-size: 12px;
}

/* Sections */
.section { margin-top: 26px; }

.section-head h2 {
  margin: 0 0 6px;
  font-size: 18px;
  letter-spacing: .01em;
}

.section-head p {
  margin: 0;
  color: rgba(233, 237, 245, .78);
  max-width: 90ch;
}

/* Cards / grids */
.grid-3 {
  display: grid;
  grid-template-columns: repeat(3, 1fr);
  gap: 12px;
  margin-top: 14px;
}

.grid-2 {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 12px;
  margin-top: 14px;
}

.card {
  background: rgba(13,18,26,.75);
  border: 1px solid var(--border);
  border-radius: var(--radius);
  padding: 14px;
}

.card-title {
  font-weight: 800;
  margin-bottom: 8px;
  letter-spacing: .01em;
}

.card-body {
  color: rgba(233, 237, 245, .82);
  font-size: 13px;
}

.card-foot {
  margin-top: 10px;
  padding-top: 10px;
  border-top: 1px solid var(--border);
  color: var(--muted);
  font-size: 12px;
}

/* Flow box */
.flow { margin-top: 12px; }
.flow-title {
  margin: 0 0 8px;
  color: var(--muted);
  font-weight: 800;
  letter-spacing: .06em;
  text-transform: uppercase;
  font-size: 12px;
}
.flow-box {
  margin: 0;
  padding: 14px;
  border-radius: var(--radius);
  border: 1px solid var(--border);
  background: rgba(7,10,15,.45);
  overflow-x: auto;
}

/* Verify */
.verify-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 12px;
  margin-top: 14px;
}

.verify-step {
  display: grid;
  grid-template-columns: 44px 1fr;
  gap: 12px;
  padding: 14px;
  border-radius: var(--radius);
  border: 1px solid var(--border);
  background: rgba(13,18,26,.75);
}

.step-n {
  width: 44px;
  height: 44px;
  border-radius: 12px;
  display: grid;
  place-items: center;
  font-weight: 900;
  background: rgba(55,105,255,.14);
  border: 1px solid rgba(55,105,255,.25);
}

.step-title { font-weight: 900; margin-bottom: 6px; }

.cmd {
  border: 1px solid var(--border);
  background: rgba(7,10,15,.55);
  border-radius: 12px;
  padding: 10px 12px;
  overflow-x: auto;
  margin: 8px 0;
}

.step-note {
  color: var(--muted);
  font-size: 12px;
}

/* Details */
.details {
  margin-top: 12px;
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: rgba(13,18,26,.55);
  padding: 10px 12px;
}
.details summary {
  cursor: pointer;
  font-weight: 800;
}
.details-body { margin-top: 10px; }

.muted { color: var(--muted); }
.mono { font-family: var(--mono); }

/* KV */
.kv {
  display: flex;
  justify-content: space-between;
  gap: 14px;
  padding: 6px 0;
  border-bottom: 1px dashed rgba(27,35,48,.75);
}
.kv:last-child { border-bottom: none; }

.k { color: var(--muted); font-size: 12px; }
.v { font-weight: 800; }

/* Badges */
.badge-row { margin-top: 10px; display: flex; flex-wrap: wrap; gap: 8px; }
.badge {
  font-size: 12px;
  padding: 6px 10px;
  border-radius: 999px;
  border: 1px solid var(--border);
  background: rgba(7,10,15,.35);
  font-family: var(--mono);
}
.badge-ok { color: var(--ok); border-color: rgba(41,210,125,.25); }
.badge-warn { color: var(--warn); border-color: rgba(255,176,32,.25); }
.badge-muted { color: var(--muted); }

/* Table */
.table-wrap {
  overflow-x: auto;
  border-radius: var(--radius);
  border: 1px solid var(--border);
  background: rgba(13,18,26,.55);
  margin-top: 12px;
}

.table {
  width: 100%;
  border-collapse: collapse;
  font-size: 12px;
  font-family: var(--mono);
  min-width: 860px;
}

.table th, .table td {
  padding: 10px 10px;
  border-bottom: 1px solid var(--border);
  vertical-align: top;
}

.table th {
  color: var(--muted);
  font-weight: 800;
  letter-spacing: .06em;
  text-transform: uppercase;
  font-size: 11px;
  background: rgba(7,10,15,.25);
}

.table tr:hover td {
  background: rgba(7,10,15,.18);
}

.allow { color: var(--ok); font-weight: 900; }
.deny { color: var(--deny); font-weight: 900; }

.empty {
  text-align: center;
  color: var(--muted);
  padding: 20px;
}

/* Footer */
.footer {
  margin-top: 34px;
  padding: 14px 18px;
  border-top: 1px solid var(--border);
  display: flex;
  justify-content: space-between;
  gap: 14px;
  background: rgba(7,10,15,.35);
}

.dot { color: var(--muted); padding: 0 8px; }

/* Responsive */
@media (max-width: 980px) {
  .hero { grid-template-columns: 1fr; }
  .grid-3 { grid-template-columns: 1fr; }
  .grid-2 { grid-template-columns: 1fr; }
  .verify-grid { grid-template-columns: 1fr; }
  .headline { font-size: 32px; }
}