/* =============================================================================
   components.css — VerifAIer v1.33.0 · Localhost Enterprise Demo Surface
   Component library: nav, footer, cards, panels, badges, tables, buttons, etc.
   Depends on demo.css being loaded first (uses its CSS custom properties).
   ============================================================================= */

/* ── Navigation ────────────────────────────────────────────────────────────── */

.vrf-nav {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  height: var(--nav-h);
  background: rgba(10, 13, 18, 0.92);
  border-bottom: 1px solid var(--border-subtle);
  backdrop-filter: blur(12px);
  -webkit-backdrop-filter: blur(12px);
  z-index: 1000;
}

.vrf-nav__inner {
  display: flex;
  align-items: center;
  gap: var(--s-6);
  height: 100%;
  max-width: var(--max-w);
  margin: 0 auto;
  padding: 0 var(--page-px);
}

.vrf-nav__brand {
  display: flex;
  align-items: center;
  gap: var(--s-2);
  text-decoration: none;
  flex-shrink: 0;
  color: var(--text-primary);
}

.vrf-nav__brand:hover { color: var(--text-primary); opacity: 1; }

.vrf-nav__brand-mark {
  font-size: 1.1rem;
  color: var(--color-green);
  line-height: 1;
}

.vrf-nav__brand-name {
  font-size: var(--text-base);
  font-weight: var(--fw-semibold);
  letter-spacing: -0.01em;
}

.vrf-nav__brand-version {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--text-muted);
  margin-left: var(--s-1);
}

.vrf-nav__links {
  display: flex;
  align-items: center;
  gap: var(--s-1);
  flex: 1;
  min-width: 0;     /* allow flex item to shrink below min-content */
  overflow: hidden; /* prevent link row from bleeding into .vrf-nav__actions */
}

.vrf-nav__link {
  font-size: var(--text-sm);
  font-weight: var(--fw-medium);
  color: var(--text-secondary);
  text-decoration: none;
  padding: var(--s-2) var(--s-3);
  border-radius: var(--r-md);
  transition: color var(--t-fast), background var(--t-fast);
  white-space: nowrap;
}

.vrf-nav__link:hover {
  color: var(--text-primary);
  background: var(--bg-elevated);
  opacity: 1;
}

.vrf-nav__link--active {
  color: var(--color-green);
  background: var(--color-green-bg);
}

.vrf-nav__link--active:hover {
  color: var(--color-green);
  background: var(--color-green-bg);
}

.vrf-nav__actions {
  display: flex;
  align-items: center;
  gap: var(--s-3);
  flex-shrink: 0;
}

.vrf-nav__api-status {
  display: flex;
  align-items: center;
  gap: var(--s-2);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--text-muted);
  padding: var(--s-1) var(--s-3);
  border: 1px solid var(--border-subtle);
  border-radius: var(--r-full);
  cursor: default;
  user-select: none;
}

.vrf-nav__api-dot {
  width: 6px;
  height: 6px;
  border-radius: 50%;
  background: var(--color-slate);
  flex-shrink: 0;
}

.vrf-nav__api-dot--online {
  background: var(--color-green);
  box-shadow: 0 0 6px var(--color-green-glow);
  animation: vrf-pulse 2s ease-in-out infinite;
}

.vrf-nav__menu-toggle {
  display: none;
  flex-direction: column;
  gap: 4px;
  background: none;
  border: none;
  cursor: pointer;
  padding: var(--s-2);
  border-radius: var(--r-md);
}

.vrf-nav__menu-toggle span {
  display: block;
  width: 20px;
  height: 2px;
  background: var(--text-secondary);
  border-radius: var(--r-full);
  transition: transform var(--t-base), opacity var(--t-base);
}

.vrf-nav-spacer {
  height: var(--nav-h);
}

/* ── Footer ────────────────────────────────────────────────────────────────── */

.vrf-footer {
  background: var(--bg-surface);
  border-top: 1px solid var(--border-subtle);
  padding: var(--s-6) 0;
}

.vrf-footer__inner {
  max-width: var(--max-w);
  margin: 0 auto;
  padding: 0 var(--page-px);
  display: flex;
  flex-direction: column;
  gap: var(--s-4);
}

.vrf-footer__invariants {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: var(--s-4);
}

.vrf-footer__invariants-label {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  flex-shrink: 0;
}

.vrf-footer__invariants-strip {
  display: flex;
  flex-wrap: wrap;
  gap: var(--s-2);
}

.vrf-footer__meta {
  display: flex;
  align-items: center;
  gap: var(--s-3);
  font-size: var(--text-xs);
  color: var(--text-muted);
}

.vrf-footer__brand {
  font-weight: var(--fw-semibold);
  color: var(--text-secondary);
}

.vrf-footer__sep { color: var(--border-strong); }

.vrf-footer__version {
  font-family: var(--font-mono);
  color: var(--color-green);
}

.vrf-footer__tagline { color: var(--text-muted); }

.vrf-footer__contact {
  color: var(--color-green);
  text-decoration: none;
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  transition: color var(--t-base);
}

.vrf-footer__contact:hover {
  color: var(--color-green-dim);
  text-decoration: underline;
}

/* ── Invariant badge ───────────────────────────────────────────────────────── */

.vrf-invariant-badge {
  display: inline-flex;
  align-items: center;
  gap: var(--s-2);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: var(--fw-medium);
  color: var(--color-green);
  background: var(--color-green-bg);
  border: 1px solid var(--border-green);
  border-radius: var(--r-full);
  padding: 3px var(--s-3);
  white-space: nowrap;
  user-select: none;
}

.vrf-invariant-badge--muted {
  color: var(--text-muted);
  background: var(--bg-elevated);
  border-color: var(--border-subtle);
}

/* ── Status badge ──────────────────────────────────────────────────────────── */

.vrf-badge {
  display: inline-flex;
  align-items: center;
  gap: var(--s-2);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: var(--fw-semibold);
  letter-spacing: 0.04em;
  text-transform: uppercase;
  border-radius: var(--r-full);
  padding: 3px var(--s-3);
  white-space: nowrap;
  user-select: none;
}

.vrf-badge::before {
  content: '';
  display: block;
  width: 5px;
  height: 5px;
  border-radius: 50%;
  flex-shrink: 0;
}

.vrf-badge--green {
  color: var(--color-green);
  background: var(--color-green-bg);
  border: 1px solid var(--border-green);
}
.vrf-badge--green::before { background: var(--color-green); }

.vrf-badge--yellow {
  color: var(--color-yellow);
  background: var(--color-yellow-bg);
  border: 1px solid var(--border-yellow);
}
.vrf-badge--yellow::before { background: var(--color-yellow); }

.vrf-badge--red {
  color: var(--color-red);
  background: var(--color-red-bg);
  border: 1px solid var(--border-red);
}
.vrf-badge--red::before { background: var(--color-red); }

.vrf-badge--blue {
  color: var(--color-blue);
  background: var(--color-blue-bg);
  border: 1px solid rgba(96, 165, 250, 0.25);
}
.vrf-badge--blue::before { background: var(--color-blue); }

.vrf-badge--neutral {
  color: var(--text-muted);
  background: var(--bg-elevated);
  border: 1px solid var(--border-default);
}
.vrf-badge--neutral::before { background: var(--color-slate); }

/* ── Tag / chip ────────────────────────────────────────────────────────────── */

.vrf-tag {
  display: inline-block;
  font-size: var(--text-xs);
  font-weight: var(--fw-medium);
  color: var(--text-secondary);
  background: var(--bg-elevated);
  border: 1px solid var(--border-default);
  border-radius: var(--r-sm);
  padding: 2px var(--s-2);
  font-family: var(--font-mono);
  white-space: nowrap;
}

.vrf-tag--finding {
  color: var(--color-red);
  background: var(--color-red-bg);
  border-color: var(--border-red);
}

.vrf-tag--rule {
  color: var(--color-yellow);
  background: var(--color-yellow-bg);
  border-color: var(--border-yellow);
}

.vrf-tag--profile {
  color: var(--color-blue);
  background: var(--color-blue-bg);
  border-color: rgba(96, 165, 250, 0.25);
}

/* ── Card ──────────────────────────────────────────────────────────────────── */

.vrf-card {
  background: var(--bg-surface);
  border: 1px solid var(--border-default);
  border-radius: var(--r-xl);
  padding: var(--s-6);
  transition: border-color var(--t-base), box-shadow var(--t-base);
}

.vrf-card:hover {
  border-color: var(--border-strong);
  box-shadow: var(--shadow-md);
}

.vrf-card--green:hover  { border-color: var(--border-green); box-shadow: var(--shadow-green); }
.vrf-card--yellow:hover { border-color: var(--border-yellow); box-shadow: var(--shadow-yellow); }
.vrf-card--red:hover    { border-color: var(--border-red); box-shadow: var(--shadow-red); }

.vrf-card--elevated {
  background: var(--bg-elevated);
}

.vrf-card--flat {
  border-color: var(--border-subtle);
}
.vrf-card--flat:hover {
  border-color: var(--border-default);
  box-shadow: none;
}

.vrf-card__header {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: var(--s-4);
  margin-bottom: var(--s-4);
}

.vrf-card__title {
  font-size: var(--text-base);
  font-weight: var(--fw-semibold);
  color: var(--text-primary);
  letter-spacing: -0.01em;
  line-height: var(--lh-snug);
}

.vrf-card__subtitle {
  font-size: var(--text-sm);
  color: var(--text-secondary);
  margin-top: var(--s-1);
  line-height: var(--lh-relaxed);
}

.vrf-card__body {
  /* content area */
}

.vrf-card__footer {
  margin-top: var(--s-5);
  padding-top: var(--s-4);
  border-top: 1px solid var(--border-subtle);
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--s-3);
}

/* ── Panel ─────────────────────────────────────────────────────────────────── */

.vrf-panel {
  background: var(--bg-surface);
  border: 1px solid var(--border-default);
  border-radius: var(--r-2xl);
  overflow: hidden;
}

.vrf-panel__header {
  padding: var(--s-5) var(--s-6);
  border-bottom: 1px solid var(--border-subtle);
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--s-4);
  background: var(--bg-elevated);
}

.vrf-panel__title {
  font-size: var(--text-sm);
  font-weight: var(--fw-semibold);
  color: var(--text-primary);
  letter-spacing: 0.01em;
}

.vrf-panel__body {
  padding: var(--s-6);
}

.vrf-panel__footer {
  padding: var(--s-4) var(--s-6);
  border-top: 1px solid var(--border-subtle);
  background: var(--bg-base);
  display: flex;
  align-items: center;
  justify-content: flex-end;
  gap: var(--s-3);
}

/* ── Stat counter ──────────────────────────────────────────────────────────── */

.vrf-stat {
  display: flex;
  flex-direction: column;
  gap: var(--s-1);
}

.vrf-stat__value {
  font-size: var(--text-4xl);
  font-weight: var(--fw-bold);
  letter-spacing: -0.04em;
  line-height: 1;
  color: var(--text-primary);
  font-variant-numeric: tabular-nums;
}

.vrf-stat__value--green  { color: var(--color-green); }
.vrf-stat__value--yellow { color: var(--color-yellow); }
.vrf-stat__value--red    { color: var(--color-red); }

.vrf-stat__label {
  font-size: var(--text-sm);
  color: var(--text-secondary);
  font-weight: var(--fw-medium);
}

.vrf-stat__delta {
  font-size: var(--text-xs);
  font-family: var(--font-mono);
  color: var(--text-muted);
  margin-top: var(--s-1);
}

/* ── Signal / verdict row ──────────────────────────────────────────────────── */

.vrf-signal-row {
  display: flex;
  align-items: center;
  gap: var(--s-4);
  padding: var(--s-3) var(--s-4);
  border-radius: var(--r-lg);
  border: 1px solid transparent;
  transition: background var(--t-fast), border-color var(--t-fast);
}

.vrf-signal-row:hover {
  background: var(--bg-elevated);
  border-color: var(--border-subtle);
}

.vrf-signal-row + .vrf-signal-row {
  border-top: 1px solid var(--border-subtle);
  border-radius: 0;
}

.vrf-signal-row:first-child { border-top-left-radius: var(--r-lg); border-top-right-radius: var(--r-lg); }
.vrf-signal-row:last-child  { border-bottom-left-radius: var(--r-lg); border-bottom-right-radius: var(--r-lg); }

.vrf-signal-row__id {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--text-muted);
  flex-shrink: 0;
  width: 160px;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.vrf-signal-row__rules {
  flex: 1;
  display: flex;
  flex-wrap: wrap;
  gap: var(--s-2);
}

.vrf-signal-row__meta {
  display: flex;
  align-items: center;
  gap: var(--s-3);
  flex-shrink: 0;
}

.vrf-signal-row__latency {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--text-muted);
  white-space: nowrap;
}

.vrf-signal-row__time {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--text-muted);
  white-space: nowrap;
}

/* ── Receipt block ─────────────────────────────────────────────────────────── */

.vrf-receipt {
  background: var(--bg-input);
  border: 1px solid var(--border-default);
  border-radius: var(--r-xl);
  overflow: hidden;
}

.vrf-receipt--green  { border-color: var(--border-green); }
.vrf-receipt--yellow { border-color: var(--border-yellow); }
.vrf-receipt--red    { border-color: var(--border-red); }

.vrf-receipt__header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: var(--s-4) var(--s-5);
  background: var(--bg-elevated);
  border-bottom: 1px solid var(--border-default);
  gap: var(--s-4);
}

.vrf-receipt__id {
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  font-weight: var(--fw-semibold);
  color: var(--text-primary);
}

.vrf-receipt__actions {
  display: flex;
  align-items: center;
  gap: var(--s-2);
}

.vrf-receipt__body {
  padding: var(--s-5);
}

.vrf-receipt__grid {
  display: grid;
  grid-template-columns: repeat(2, 1fr);
  gap: var(--s-4);
  margin-bottom: var(--s-5);
}

.vrf-receipt__field {
  display: flex;
  flex-direction: column;
  gap: var(--s-1);
}

.vrf-receipt__field-label {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.08em;
}

.vrf-receipt__field-value {
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  color: var(--text-primary);
  word-break: break-all;
}

.vrf-receipt__hash-block {
  background: var(--bg-surface);
  border: 1px solid var(--border-subtle);
  border-radius: var(--r-md);
  padding: var(--s-3) var(--s-4);
  margin-top: var(--s-4);
}

.vrf-receipt__hash-label {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  margin-bottom: var(--s-2);
}

.vrf-receipt__hash-value {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--color-green);
  word-break: break-all;
  line-height: 1.6;
}

/* ── Table ─────────────────────────────────────────────────────────────────── */

.vrf-table-wrap {
  width: 100%;
  overflow-x: auto;
  border-radius: var(--r-xl);
  border: 1px solid var(--border-default);
}

.vrf-table {
  width: 100%;
  border-collapse: collapse;
  font-size: var(--text-sm);
}

.vrf-table thead {
  background: var(--bg-elevated);
}

.vrf-table th {
  text-align: left;
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: var(--fw-semibold);
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  padding: var(--s-3) var(--s-5);
  border-bottom: 1px solid var(--border-default);
  white-space: nowrap;
}

.vrf-table td {
  padding: var(--s-4) var(--s-5);
  border-bottom: 1px solid var(--border-subtle);
  color: var(--text-secondary);
  vertical-align: middle;
}

.vrf-table tbody tr:last-child td { border-bottom: none; }

.vrf-table tbody tr:hover td {
  background: var(--bg-elevated);
  color: var(--text-primary);
}

.vrf-table td.mono {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--text-muted);
}

/* ── Button ────────────────────────────────────────────────────────────────── */

.vrf-btn {
  display: inline-flex;
  align-items: center;
  gap: var(--s-2);
  font-size: var(--text-sm);
  font-weight: var(--fw-semibold);
  line-height: 1;
  text-decoration: none;
  border: 1px solid transparent;
  border-radius: var(--r-lg);
  padding: var(--s-3) var(--s-5);
  cursor: pointer;
  white-space: nowrap;
  transition: background var(--t-fast), border-color var(--t-fast),
              color var(--t-fast), box-shadow var(--t-fast), opacity var(--t-fast);
  user-select: none;
}

.vrf-btn:disabled {
  opacity: 0.4;
  cursor: not-allowed;
}

.vrf-btn--primary {
  background: var(--color-green);
  color: var(--text-inverse);
  border-color: var(--color-green);
}

.vrf-btn--primary:hover:not(:disabled) {
  background: var(--color-green-dim);
  border-color: var(--color-green-dim);
  color: var(--text-inverse);
  opacity: 1;
  box-shadow: 0 4px 16px var(--color-green-glow);
}

.vrf-btn--secondary {
  background: var(--bg-elevated);
  color: var(--text-primary);
  border-color: var(--border-default);
}

.vrf-btn--secondary:hover:not(:disabled) {
  background: var(--bg-overlay);
  border-color: var(--border-strong);
  color: var(--text-primary);
  opacity: 1;
}

.vrf-btn--ghost {
  background: transparent;
  color: var(--text-secondary);
  border-color: transparent;
}

.vrf-btn--ghost:hover:not(:disabled) {
  background: var(--bg-elevated);
  color: var(--text-primary);
  opacity: 1;
}

.vrf-btn--danger {
  background: var(--color-red-bg);
  color: var(--color-red);
  border-color: var(--border-red);
}

.vrf-btn--sm {
  font-size: var(--text-xs);
  padding: var(--s-2) var(--s-3);
  border-radius: var(--r-md);
}

.vrf-btn--lg {
  font-size: var(--text-base);
  padding: var(--s-4) var(--s-6);
  border-radius: var(--r-xl);
}

/* ── Mono code display ─────────────────────────────────────────────────────── */

.vrf-mono-block {
  background: var(--bg-input);
  border: 1px solid var(--border-default);
  border-radius: var(--r-lg);
  padding: var(--s-4) var(--s-5);
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  color: var(--text-secondary);
  line-height: var(--lh-relaxed);
  overflow-x: auto;
}

.vrf-mono-block--green {
  border-color: var(--border-green);
  color: var(--color-green);
}

/* ── Hero ──────────────────────────────────────────────────────────────────── */

.vrf-hero {
  padding: var(--s-20) 0 var(--s-16);
  text-align: center;
  position: relative;
}

.vrf-hero::before {
  content: '';
  position: absolute;
  top: 0;
  left: 50%;
  transform: translateX(-50%);
  width: 600px;
  height: 300px;
  background: radial-gradient(ellipse at center top,
    rgba(0, 229, 160, 0.07) 0%,
    transparent 70%);
  pointer-events: none;
}

.vrf-hero__eyebrow {
  display: inline-flex;
  align-items: center;
  gap: var(--s-2);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: var(--fw-semibold);
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--color-green);
  border: 1px solid var(--border-green);
  background: var(--color-green-bg);
  border-radius: var(--r-full);
  padding: var(--s-2) var(--s-4);
  margin-bottom: var(--s-6);
}

.vrf-hero__title {
  font-size: clamp(2.25rem, 5vw, 4rem);
  font-weight: var(--fw-black);
  letter-spacing: -0.04em;
  line-height: var(--lh-tight);
  color: var(--text-primary);
  margin-bottom: var(--s-6);
}

.vrf-hero__title em {
  font-style: normal;
  color: var(--color-green);
}

.vrf-hero__subtitle {
  font-size: var(--text-xl);
  color: var(--text-secondary);
  line-height: var(--lh-relaxed);
  max-width: 600px;
  margin: 0 auto var(--s-8);
}

.vrf-hero__cta {
  display: flex;
  align-items: center;
  justify-content: center;
  gap: var(--s-3);
  flex-wrap: wrap;
}

/* ── Divider ───────────────────────────────────────────────────────────────── */

.vrf-divider {
  height: 1px;
  background: var(--border-subtle);
  border: none;
  margin: var(--s-8) 0;
}

.vrf-divider--label {
  display: flex;
  align-items: center;
  gap: var(--s-4);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.08em;
}

.vrf-divider--label::before,
.vrf-divider--label::after {
  content: '';
  flex: 1;
  height: 1px;
  background: var(--border-subtle);
}

/* ── Skeleton loader ───────────────────────────────────────────────────────── */

.vrf-skeleton {
  background: linear-gradient(90deg,
    var(--bg-elevated) 25%,
    var(--bg-overlay)  50%,
    var(--bg-elevated) 75%);
  background-size: 200% 100%;
  border-radius: var(--r-md);
  animation: vrf-shimmer 1.6s ease-in-out infinite;
}

.vrf-skeleton--text    { height: 1em; margin-bottom: 0.5em; }
.vrf-skeleton--heading { height: 1.5em; width: 60%; }
.vrf-skeleton--badge   { height: 22px; width: 80px; border-radius: var(--r-full); }

/* ── Step walkthrough ──────────────────────────────────────────────────────── */

.vrf-steps {
  display: flex;
  flex-direction: column;
  gap: 0;
  position: relative;
}

.vrf-steps::before {
  content: '';
  position: absolute;
  left: 19px;
  top: 0;
  bottom: 0;
  width: 2px;
  background: var(--border-default);
  z-index: 0;
}

.vrf-step {
  display: flex;
  gap: var(--s-5);
  position: relative;
  z-index: 1;
  padding-bottom: var(--s-6);
}

.vrf-step:last-child { padding-bottom: 0; }

.vrf-step__number {
  display: flex;
  align-items: center;
  justify-content: center;
  width: 40px;
  height: 40px;
  border-radius: 50%;
  background: var(--bg-surface);
  border: 2px solid var(--border-default);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: var(--fw-bold);
  color: var(--text-muted);
  flex-shrink: 0;
  transition: background var(--t-base), border-color var(--t-base), color var(--t-base);
}

.vrf-step--active .vrf-step__number {
  background: var(--color-green-bg);
  border-color: var(--color-green);
  color: var(--color-green);
  box-shadow: 0 0 0 4px rgba(0, 229, 160, 0.1);
}

.vrf-step--done .vrf-step__number {
  background: var(--color-green);
  border-color: var(--color-green);
  color: var(--bg-base);
}

.vrf-step__content {
  padding-top: var(--s-2);
  flex: 1;
}

.vrf-step__label {
  font-size: var(--text-sm);
  font-weight: var(--fw-semibold);
  color: var(--text-primary);
  margin-bottom: var(--s-1);
}

.vrf-step__annotation {
  font-size: var(--text-sm);
  color: var(--text-secondary);
  line-height: var(--lh-relaxed);
}

.vrf-step__component {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--color-blue);
  margin-top: var(--s-2);
}

/* ── Profile card ──────────────────────────────────────────────────────────── */

.vrf-profile-card {
  background: var(--bg-surface);
  border: 1px solid var(--border-default);
  border-radius: var(--r-xl);
  padding: var(--s-6);
  display: flex;
  flex-direction: column;
  gap: var(--s-5);
  transition: border-color var(--t-base), box-shadow var(--t-base);
}

.vrf-profile-card--featured {
  border-color: var(--border-green);
  box-shadow: var(--shadow-green);
}

.vrf-profile-card__tier {
  display: flex;
  align-items: center;
  justify-content: space-between;
}

.vrf-profile-card__name {
  font-size: var(--text-xl);
  font-weight: var(--fw-bold);
  letter-spacing: -0.02em;
}

.vrf-profile-card__desc {
  font-size: var(--text-sm);
  color: var(--text-secondary);
  line-height: var(--lh-relaxed);
}

.vrf-profile-card__rules {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s-3);
}

.vrf-profile-card__rule-item {
  display: flex;
  align-items: center;
  gap: var(--s-2);
  font-size: var(--text-xs);
  color: var(--text-secondary);
}

.vrf-profile-card__rule-item::before {
  content: '✓';
  font-size: var(--text-xs);
  color: var(--color-green);
  font-weight: var(--fw-bold);
  flex-shrink: 0;
}

.vrf-profile-card__rule-item--critical { color: var(--color-red); }
.vrf-profile-card__rule-item--critical::before { content: '⬆'; color: var(--color-red); }

/* ── Animations ────────────────────────────────────────────────────────────── */

@keyframes vrf-pulse {
  0%, 100% { opacity: 1; }
  50%       { opacity: 0.4; }
}

@keyframes vrf-shimmer {
  0%   { background-position: 200% 0; }
  100% { background-position: -200% 0; }
}

@keyframes vrf-fade-in {
  from { opacity: 0; transform: translateY(8px); }
  to   { opacity: 1; transform: translateY(0); }
}

@keyframes vrf-slide-in {
  from { opacity: 0; transform: translateX(-12px); }
  to   { opacity: 1; transform: translateX(0); }
}

.vrf-animate-in {
  animation: vrf-fade-in var(--t-slow) ease both;
}

/* ── Responsive nav overrides ──────────────────────────────────────────────── */

/* Raise collapse threshold to 1200px: 12 nav items exceed the 1280px max-w
   budget at all viewport widths; the hamburger ensures all items are
   accessible. The base overflow:hidden on .vrf-nav__links guarantees
   .vrf-nav__actions (toggle + badge) remains visible above 1200px. */
@media (max-width: 1200px) {
  .vrf-nav__menu-toggle { display: flex; }

  .vrf-nav__links {
    display: none;
    overflow: visible; /* reset base overflow:hidden when in dropdown panel */
    position: absolute;
    top: var(--nav-h);
    left: 0;
    right: 0;
    background: var(--bg-surface);
    border-bottom: 1px solid var(--border-default);
    flex-direction: column;
    padding: var(--s-3);
    gap: var(--s-1);
    z-index: 999;
  }

  .vrf-nav__links--open {
    display: flex;
  }

  .vrf-nav__link {
    padding: var(--s-3) var(--s-4);
  }
}

@media (max-width: 768px) {
  .vrf-receipt__grid { grid-template-columns: 1fr; }
  .vrf-signal-row__id { width: 100px; }

  .vrf-footer__meta {
    flex-wrap: wrap;
    gap: var(--s-2);
  }
}

/* =============================================================================
   Receipt Cards (rendered by receipt-renderer.js)
   ============================================================================= */

.rcpt-card {
  background: var(--bg-surface);
  border: 1px solid var(--border-default);
  border-left: 3px solid var(--border-default);
  border-radius: var(--r-xl);
  padding: var(--s-4) var(--s-5);
  cursor: pointer;
  transition: border-color var(--t-base), box-shadow var(--t-base), background var(--t-base);
  outline: none;
  position: relative;
}
.rcpt-card:hover {
  border-color: var(--border-strong);
  background: var(--bg-elevated);
}
.rcpt-card:focus-visible {
  box-shadow: 0 0 0 2px var(--color-green);
}
.rcpt-card--green  { border-left-color: var(--color-green); }
.rcpt-card--yellow { border-left-color: var(--color-yellow); }
.rcpt-card--red    { border-left-color: var(--color-red); }

.rcpt-card--expanded {
  border-color: var(--border-green);
  box-shadow: var(--shadow-green);
  cursor: default;
}

.rcpt-card__header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--s-3);
  margin-bottom: var(--s-3);
  flex-wrap: wrap;
}
.rcpt-card__id {
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  font-weight: var(--fw-semibold);
  color: var(--text-primary);
}
.rcpt-card__badges {
  display: flex;
  align-items: center;
  gap: var(--s-2);
  flex-wrap: wrap;
}

.rcpt-card__meta {
  display: flex;
  align-items: center;
  gap: var(--s-2);
  flex-wrap: wrap;
  margin-bottom: var(--s-3);
}
.rcpt-meta-item {
  font-size: var(--text-xs);
  color: var(--text-muted);
}
.rcpt-meta-item strong {
  color: var(--text-secondary);
  font-weight: var(--fw-medium);
}
.rcpt-meta-sep {
  color: var(--border-default);
  font-size: var(--text-xs);
}

.rcpt-card__rules {
  display: flex;
  flex-wrap: wrap;
  gap: var(--s-2);
  margin-bottom: var(--s-3);
}
.rcpt-rule-tag {
  font-family: var(--font-mono);
  font-size: 10px;
  color: var(--color-yellow);
  background: var(--color-yellow-bg);
  border: 1px solid var(--border-yellow);
  border-radius: var(--r-md);
  padding: 1px var(--s-2);
  white-space: nowrap;
}
.rcpt-rule-tag--none {
  color: var(--text-muted);
  background: var(--bg-elevated);
  border-color: var(--border-subtle);
}

.rcpt-card__footer {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--s-3);
  flex-wrap: wrap;
}
.rcpt-card__hash {
  display: flex;
  align-items: center;
  gap: var(--s-2);
}
.rcpt-hash-label {
  font-family: var(--font-mono);
  font-size: 10px;
  color: var(--text-muted);
}
.rcpt-hash-value {
  font-family: var(--font-mono);
  font-size: 10px;
  color: var(--text-secondary);
  background: var(--bg-base);
  border: 1px solid var(--border-subtle);
  border-radius: var(--r-sm);
  padding: 1px var(--s-2);
}
.rcpt-card__invariants {
  display: flex;
  align-items: center;
  gap: var(--s-2);
}
.rcpt-inv-badge {
  font-family: var(--font-mono);
  font-size: 11px;
  color: var(--color-green);
  background: var(--color-green-bg);
  border: 1px solid var(--border-green);
  border-radius: var(--r-full);
  padding: 1px var(--s-2);
  white-space: nowrap;
}

.rcpt-card__chevron {
  position: absolute;
  top: var(--s-4);
  right: var(--s-4);
  font-size: 18px;
  color: var(--text-muted);
  transition: transform var(--t-fast), color var(--t-fast);
  line-height: 1;
  pointer-events: none;
}
.rcpt-card--expanded .rcpt-card__chevron {
  transform: rotate(180deg);
  color: var(--color-green);
}

/* ── Detail panel (inside expanded card) ────────────────────────────────── */

.rcpt-card__detail-wrap {
  margin-top: var(--s-4);
  padding-top: var(--s-4);
  border-top: 1px solid var(--border-subtle);
  animation: vrf-fade-in 200ms ease both;
}
.rcpt-detail {
  display: flex;
  flex-direction: column;
  gap: var(--s-4);
}
.rcpt-detail__section {
  background: var(--bg-base);
  border: 1px solid var(--border-subtle);
  border-radius: var(--r-lg);
  overflow: hidden;
}
.rcpt-detail__section-title {
  font-family: var(--font-mono);
  font-size: 10px;
  font-weight: var(--fw-bold);
  color: var(--text-muted);
  text-transform: uppercase;
  letter-spacing: 0.1em;
  padding: var(--s-2) var(--s-4);
  background: var(--bg-elevated);
  border-bottom: 1px solid var(--border-subtle);
}
.rcpt-detail__hash-note {
  font-size: var(--text-xs);
  color: var(--text-muted);
  padding: var(--s-2) var(--s-4) 0;
  line-height: 1.5;
}

.rcpt-hash-row {
  display: flex;
  align-items: flex-start;
  gap: var(--s-3);
  padding: var(--s-2) var(--s-4);
  border-bottom: 1px solid var(--border-subtle);
}
.rcpt-hash-row:last-child { border-bottom: none; }
.rcpt-hash-row__label {
  font-family: var(--font-mono);
  font-size: 10px;
  color: var(--text-muted);
  white-space: nowrap;
  width: 130px;
  flex-shrink: 0;
  padding-top: 2px;
}
.rcpt-hash-row__value {
  font-family: var(--font-mono);
  font-size: 10px;
  color: var(--color-green);
  word-break: break-all;
  line-height: 1.6;
}

.rcpt-field-row {
  display: flex;
  align-items: flex-start;
  gap: var(--s-3);
  padding: var(--s-2) var(--s-4);
  border-bottom: 1px solid var(--border-subtle);
}
.rcpt-field-row:last-child { border-bottom: none; }
.rcpt-field-row__label {
  font-family: var(--font-mono);
  font-size: 10px;
  color: var(--text-muted);
  white-space: nowrap;
  width: 160px;
  flex-shrink: 0;
  padding-top: 3px;
}
.rcpt-field-row__value {
  font-size: var(--text-xs);
  color: var(--text-secondary);
  line-height: 1.5;
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: var(--s-2);
}
.rcpt-field-row__value--mono {
  font-family: var(--font-mono);
  font-size: 11px;
}
.rcpt-field-wiw {
  font-size: var(--text-xs);
  color: var(--text-secondary);
}
.rcpt-field-wiw--false {
  color: var(--color-green);
  font-family: var(--font-mono);
  font-size: 11px;
  font-weight: var(--fw-bold);
}
.rcpt-field-wiw__note {
  font-family: var(--font-sans);
  font-size: var(--text-xs);
  color: var(--text-muted);
  font-weight: var(--fw-normal);
}

.rcpt-detail__section--context {
  background: rgba(0, 229, 160, 0.03);
  border-color: rgba(0, 229, 160, 0.12);
}
.rcpt-detail__context-text {
  font-size: var(--text-xs);
  color: var(--text-secondary);
  line-height: 1.6;
  padding: var(--s-3) var(--s-4);
}
.rcpt-empty {
  text-align: center;
  padding: var(--s-12);
  color: var(--text-muted);
  font-size: var(--text-sm);
}

/* =============================================================================
   Demo Flow Steps (driven by demo-flow.js)
   ============================================================================= */

.flow-step {
  display: flex;
  align-items: flex-start;
  gap: var(--s-4);
  padding: var(--s-4) var(--s-5);
  border-radius: var(--r-lg);
  border: 1px solid transparent;
  transition: background var(--t-base), border-color var(--t-base);
  cursor: pointer;
  position: relative;
}
.flow-step:hover {
  background: var(--bg-elevated);
}
.flow-step--visited {
  opacity: 0.6;
}
.flow-step--active {
  background: rgba(0, 229, 160, 0.04);
  border-color: rgba(0, 229, 160, 0.2);
  opacity: 1;
}
.flow-step__num {
  width: 28px;
  height: 28px;
  border-radius: 50%;
  background: var(--bg-elevated);
  border: 1px solid var(--border-default);
  display: flex;
  align-items: center;
  justify-content: center;
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: var(--fw-bold);
  color: var(--text-muted);
  flex-shrink: 0;
  transition: background var(--t-base), border-color var(--t-base), color var(--t-base);
}
.flow-step--active .flow-step__num {
  background: var(--color-green-bg);
  border-color: var(--border-green);
  color: var(--color-green);
}
.flow-step--visited .flow-step__num {
  background: var(--bg-elevated);
  color: var(--text-muted);
}
.flow-step__body {
  flex: 1;
  min-width: 0;
}
.flow-step__label {
  font-size: var(--text-sm);
  font-weight: var(--fw-medium);
  color: var(--text-secondary);
  margin-bottom: var(--s-1);
  transition: color var(--t-base);
}
.flow-step--active .flow-step__label {
  color: var(--text-primary);
}
.flow-step__component {
  font-family: var(--font-mono);
  font-size: 10px;
  color: var(--text-muted);
}
.flow-step__annotation {
  font-size: var(--text-xs);
  color: var(--text-secondary);
  line-height: 1.6;
  margin-top: var(--s-2);
  display: none;
}
.flow-step--active .flow-step__annotation {
  display: block;
  animation: vrf-fade-in 200ms ease both;
}
.flow-step__duration {
  font-family: var(--font-mono);
  font-size: 11px;
  color: var(--text-muted);
  margin-top: var(--s-2);
  display: none;
}
.flow-step--active .flow-step__duration {
  display: block;
}

@media (max-width: 640px) {
  .rcpt-hash-row { flex-direction: column; gap: var(--s-1); }
  .rcpt-hash-row__label { width: auto; }
  .rcpt-field-row { flex-direction: column; gap: var(--s-1); }
  .rcpt-field-row__label { width: auto; }
}