.hero {
  padding: clamp(2rem, 1rem + 3.5vw, 3.5rem) 0 clamp(2.5rem, 1rem + 5vw, 5rem);
  border-bottom: 1px solid var(--line);
}

.hero__inner {
  display: grid;
  gap: clamp(2rem, 1rem + 4vw, 4rem);
  align-items: center;
}

@media (min-width: 900px) {
  .hero__inner {
    grid-template-columns: 1.05fr .95fr;
  }
}

.hero__mark {
  margin: .1em 0 .05em;
  font-family: var(--mono);
  font-size: var(--mark);
  font-weight: 700;
  line-height: .9;
  letter-spacing: -.03em;
  color: var(--blue);
}

.hero__tagline {
  margin: 0 0 1rem;
  font-size: var(--s2);
  font-weight: 600;
  line-height: 1.25;
  text-wrap: balance;
}

.hero__lede {
  color: var(--muted);
  font-size: var(--s1);
}

.hero__actions {
  display: flex;
  flex-wrap: wrap;
  gap: .75rem;
  margin: 1.75rem 0 1rem;
}

.badge {
  display: inline-flex;
  align-items: center;
  gap: .5rem;
  margin: 0 0 .5rem;
  padding: .35rem .9rem;
  background: var(--blue-tint);
  border: 1px solid var(--line);
  border-radius: var(--r-pill);
  font-family: var(--mono);
  font-size: var(--s-1);
  color: var(--ink);
}

.badge__dot {
  width: .5rem;
  height: .5rem;
  border-radius: 50%;
  background: var(--signal);
}

.badge b {
  font-weight: 700;
}

.btn {
  display: inline-block;
  padding: .7rem 1.25rem;
  border: 1px solid var(--line);
  border-radius: var(--r-sm);
  background: var(--surface);
  color: var(--ink);
  font-weight: 600;
  font-size: var(--s-1);
  text-decoration: none;
  transition: background var(--dur-fast) var(--ease),
    border-color var(--dur-fast) var(--ease),
    transform var(--dur-fast) var(--ease);
}

.btn:hover {
  border-color: var(--blue);
  color: var(--ink);
}

.btn--primary {
  background: var(--blue);
  border-color: var(--blue);
  color: var(--on-blue);
}

.btn--primary:hover {
  background: var(--blue-hover);
  color: var(--on-blue);
}

.hero__version {
  margin: 0;
  color: var(--muted);
  font-size: var(--s-1);
}

.hero__version b {
  color: var(--ink);
  font-weight: 600;
}

/* Proof panel */

.proof {
  margin: 0;
  border: 1px solid var(--code-line);
  border-radius: var(--r-md);
  background: var(--code-bg);
  box-shadow: var(--shadow-md);
  overflow: hidden;
}

.proof__code {
  margin: 0;
  padding: 1.25rem;
  overflow-x: auto;
  color: var(--code-ink);
  font-size: var(--s-1);
  line-height: 1.6;
}

.proof__verdict {
  display: flex;
  align-items: center;
  gap: .5rem;
  padding: .85rem 1.25rem;
  border-top: 1px solid var(--code-line);
  font-family: var(--mono);
  font-weight: 700;
  font-size: var(--s-1);
  letter-spacing: .06em;
  color: var(--signal);
}

.proof__dot {
  width: .6rem;
  height: .6rem;
  border-radius: 50%;
  background: currentColor;
}

.proof__meta {
  margin-left: auto;
  color: var(--muted);
  font-weight: 400;
  letter-spacing: 0;
}

.proof {
  --signal: #38C99A;
  --muted: #93A8C7;
}

@media (max-width: 600px) {
  .proof__code {
    font-size: .74rem;
  }
}