/* Verdict site — cold paper, ink, mono labels, dark code islands.
   Accent duty is done by the semantic pair: allow-green / deny-red. */

:root {
  --paper: #f3f5f8;
  --panel: #ffffff;
  --ink: #0d1b2a;
  --muted: #5b6b7c;
  --line: #d9dfe8;
  --allow: #0e8a54;
  --allow-ink: #0b6e43;
  --allow-wash: #e3f2ea;
  --deny: #c43d35;
  --deny-wash: #f9e9e8;
  --terminal: #0e1116;
  --terminal-line: #2a3342;
  --terminal-text: #dbe2ec;
  --terminal-muted: #8b98a9;
  --max: 1080px;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: "IBM Plex Sans", "Segoe UI", system-ui, sans-serif;
  font-size: 16px;
  line-height: 1.65;
}
::selection { background: var(--allow-wash); }

a { color: var(--allow-ink); text-decoration: none; }
a:hover { text-decoration: underline; }
a:focus-visible, button:focus-visible {
  outline: 2px solid var(--allow);
  outline-offset: 2px;
}

.wrap { max-width: var(--max); margin: 0 auto; padding: 0 24px; }

/* ---- header ---- */
header.site {
  border-bottom: 1px solid var(--line);
  background: var(--paper);
  position: sticky; top: 0; z-index: 10;
}
header.site .wrap {
  display: flex; align-items: center; gap: 28px; height: 60px;
}
.logo {
  font-family: "Archivo", sans-serif; font-weight: 800; font-size: 19px;
  letter-spacing: -0.02em; color: var(--ink);
}
.logo .tick { color: var(--allow); }
header.site nav { display: flex; gap: 22px; margin-left: auto; }
header.site nav a {
  font-family: "IBM Plex Mono", monospace; font-size: 13px; color: var(--muted);
}
header.site nav a:hover { color: var(--ink); text-decoration: none; }

/* ---- type ---- */
.eyebrow {
  font-family: "IBM Plex Mono", monospace; font-size: 12px;
  letter-spacing: 0.14em; text-transform: uppercase; color: var(--allow-ink);
  margin: 0 0 14px;
}
h1 {
  font-family: "Archivo", sans-serif; font-weight: 800;
  font-size: clamp(38px, 5.4vw, 58px); line-height: 1.04;
  letter-spacing: -0.03em; margin: 0 0 20px;
}
h2 {
  font-family: "Archivo", sans-serif; font-weight: 700;
  font-size: clamp(26px, 3.2vw, 34px); letter-spacing: -0.02em;
  line-height: 1.15; margin: 0 0 10px;
}
h3 {
  font-family: "Archivo", sans-serif; font-weight: 700; font-size: 18px;
  letter-spacing: -0.01em; margin: 0 0 8px;
}
.lede { font-size: 18px; color: var(--muted); max-width: 54ch; }
.muted { color: var(--muted); }

/* ---- buttons ---- */
.btn {
  display: inline-block; font-family: "IBM Plex Mono", monospace;
  font-size: 14px; padding: 11px 20px; border-radius: 6px;
  border: 1px solid transparent; cursor: pointer;
}
.btn.primary { background: var(--allow); color: #fff; }
.btn.primary:hover { background: var(--allow-ink); text-decoration: none; }
.btn.ghost { border-color: var(--line); color: var(--ink); background: var(--panel); }
.btn.ghost:hover { border-color: var(--muted); text-decoration: none; }

/* ---- hero ---- */
.hero { padding: 76px 0 64px; }
.hero .wrap { display: grid; grid-template-columns: 1.05fr 1fr; gap: 56px; align-items: center; }
.hero .ctas { display: flex; gap: 12px; margin-top: 28px; flex-wrap: wrap; }

/* ---- the signature: a decision, evaluating ---- */
.decision {
  background: var(--terminal); border: 1px solid var(--terminal-line);
  border-radius: 10px; padding: 18px 20px 20px;
  font-family: "IBM Plex Mono", monospace; font-size: 13px;
  color: var(--terminal-text); box-shadow: 0 24px 60px -30px rgba(13, 27, 42, 0.45);
}
.decision .bar { display: flex; gap: 10px; align-items: center; margin-bottom: 14px; color: var(--terminal-muted); font-size: 12px; }
.decision .dot { width: 9px; height: 9px; border-radius: 50%; background: var(--terminal-line); }
.decision pre { margin: 0 0 14px; white-space: pre-wrap; line-height: 1.55; }
.decision .k { color: #7fb4ff; }
.decision .s { color: #8fd4a8; }
.decision .c { color: var(--terminal-muted); }
.trace { border-top: 1px solid var(--terminal-line); padding-top: 12px; }
.trace .row {
  display: flex; justify-content: space-between; gap: 12px;
  padding: 3px 0; color: var(--terminal-muted);
  opacity: 0; transform: translateY(4px);
  animation: settle 0.35s ease-out forwards;
}
.trace .row b { color: var(--terminal-text); font-weight: 500; }
.trace .row:nth-child(2) { animation-delay: 0.5s; }
.trace .row:nth-child(3) { animation-delay: 0.9s; }
.trace .row:nth-child(4) { animation-delay: 1.3s; }
.trace .outcome.miss { color: var(--terminal-muted); }
.trace .outcome.hit { color: #58d68d; }
.verdict-line {
  display: flex; align-items: center; gap: 10px; margin-top: 12px;
  opacity: 0; animation: settle 0.4s ease-out 1.8s forwards;
}
.stamp {
  font-weight: 700; letter-spacing: 0.08em; font-size: 14px;
  color: #58d68d; border: 1.5px solid #58d68d; border-radius: 4px;
  padding: 2px 10px;
}
.verdict-line .lat { color: var(--terminal-muted); font-size: 12px; }
@keyframes settle { to { opacity: 1; transform: translateY(0); } }
@media (prefers-reduced-motion: reduce) {
  .trace .row, .verdict-line { animation: none; opacity: 1; transform: none; }
}

/* ---- fact strip: measured, not marketed ---- */
.facts { border-block: 1px solid var(--line); background: var(--panel); }
.facts .wrap {
  display: grid; grid-template-columns: repeat(4, 1fr); gap: 18px; padding: 26px 24px;
}
.fact { font-family: "IBM Plex Mono", monospace; }
.fact b { display: block; font-size: 20px; color: var(--ink); font-weight: 600; }
.fact span { font-size: 12.5px; color: var(--muted); }

/* ---- sections ---- */
section.block { padding: 72px 0; }
section.block.alt { background: var(--panel); border-block: 1px solid var(--line); }
.cols { display: grid; grid-template-columns: 1fr 1fr; gap: 48px; align-items: start; }
.grid3 { display: grid; grid-template-columns: repeat(3, 1fr); gap: 20px; margin-top: 32px; }
.grid2 { display: grid; grid-template-columns: repeat(2, 1fr); gap: 20px; margin-top: 32px; }

.card {
  background: var(--panel); border: 1px solid var(--line); border-radius: 8px;
  padding: 22px;
}
section.block.alt .card { background: var(--paper); }
.card .mode {
  font-family: "IBM Plex Mono", monospace; font-size: 12px; color: var(--allow-ink);
  letter-spacing: 0.1em; text-transform: uppercase;
}
.card p { color: var(--muted); font-size: 14.5px; margin-bottom: 0; }
.card pre.mini {
  background: var(--terminal); color: var(--terminal-muted); border-radius: 6px;
  font-size: 11.5px; line-height: 1.6; padding: 12px 14px; margin: 14px 0;
  overflow-x: auto; font-family: "IBM Plex Mono", monospace;
}
.card pre.mini b { color: var(--terminal-text); font-weight: 500; }

/* ---- code islands ---- */
pre.code {
  background: var(--terminal); color: var(--terminal-text);
  border: 1px solid var(--terminal-line); border-radius: 8px;
  padding: 18px 20px; overflow-x: auto;
  font-family: "IBM Plex Mono", monospace; font-size: 13px; line-height: 1.6;
  margin: 16px 0;
}
pre.code .k { color: #7fb4ff; }
pre.code .s { color: #8fd4a8; }
pre.code .c { color: var(--terminal-muted); }
pre.code .d { color: #e8a4a0; }
code.inline {
  font-family: "IBM Plex Mono", monospace; font-size: 0.88em;
  background: #e8edf3; border-radius: 4px; padding: 1px 6px;
}

ul.checks { list-style: none; padding: 0; margin: 18px 0 0; }
ul.checks li { padding-left: 26px; position: relative; margin-bottom: 10px; color: var(--muted); font-size: 15px; }
ul.checks li::before { content: "✓"; position: absolute; left: 0; color: var(--allow); font-weight: 700; }
ul.checks li b { color: var(--ink); font-weight: 600; }

/* ---- footer ---- */
footer.site { border-top: 1px solid var(--line); padding: 36px 0 48px; }
footer.site .wrap { display: flex; justify-content: space-between; gap: 20px; flex-wrap: wrap; }
footer.site span, footer.site a { font-family: "IBM Plex Mono", monospace; font-size: 12.5px; color: var(--muted); }

/* ---- docs layout ---- */
.docs { display: grid; grid-template-columns: 230px 1fr; gap: 48px; padding: 44px 0 96px; }
.docs aside { position: sticky; top: 84px; align-self: start; }
.docs aside .group {
  font-family: "IBM Plex Mono", monospace; font-size: 11px; letter-spacing: 0.12em;
  text-transform: uppercase; color: var(--muted); margin: 22px 0 8px;
}
.docs aside a {
  display: block; font-size: 14px; color: var(--ink); padding: 4px 0 4px 12px;
  border-left: 2px solid var(--line);
}
.docs aside a:hover { border-left-color: var(--allow); text-decoration: none; }
.docs article { min-width: 0; }
.docs article section { margin-bottom: 64px; scroll-margin-top: 84px; }
.docs article h2 { border-bottom: 1px solid var(--line); padding-bottom: 10px; margin-bottom: 18px; }
.docs article h3 { margin-top: 30px; }
.docs article p { max-width: 72ch; }
.docs table { border-collapse: collapse; width: 100%; font-size: 14px; margin: 14px 0; }
.docs th { text-align: left; font-family: "IBM Plex Mono", monospace; font-size: 12px; color: var(--muted); border-bottom: 1px solid var(--line); padding: 8px 12px 8px 0; }
.docs td { border-bottom: 1px solid var(--line); padding: 8px 12px 8px 0; vertical-align: top; }
.note {
  border-left: 3px solid var(--allow); background: var(--allow-wash);
  border-radius: 0 6px 6px 0; padding: 12px 16px; font-size: 14.5px; margin: 16px 0;
}
.note.warn { border-left-color: var(--deny); background: var(--deny-wash); }

/* ---- responsive ---- */
@media (max-width: 900px) {
  .hero .wrap, .cols { grid-template-columns: 1fr; gap: 36px; }
  .grid3 { grid-template-columns: 1fr; }
  .grid2 { grid-template-columns: 1fr; }
  .facts .wrap { grid-template-columns: repeat(2, 1fr); }
  .docs { grid-template-columns: 1fr; }
  .docs aside { position: static; display: flex; flex-wrap: wrap; gap: 4px 16px; }
  .docs aside .group { width: 100%; margin: 10px 0 2px; }
  .docs aside a { border-left: none; padding-left: 0; }
  header.site nav { gap: 14px; }
}