#proof-hero-console {
  position: relative;
  overflow: hidden;
  padding: 7.2rem 0 4.6rem;
  background:
    radial-gradient(circle at 14% 18%, rgba(73, 211, 154, 0.12), transparent 30rem),
    radial-gradient(circle at 86% 18%, rgba(241, 209, 138, 0.13), transparent 32rem),
    linear-gradient(135deg, rgba(5, 8, 15, 0.99), rgba(6, 6, 12, 0.98) 48%, rgba(13, 20, 26, 0.96));
}

#proof-hero-console::before {
  content: "";
  position: absolute;
  inset: 0;
  pointer-events: none;
  background-image:
    linear-gradient(rgba(255, 255, 255, 0.032) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255, 255, 255, 0.024) 1px, transparent 1px);
  background-size: 58px 58px;
  mask-image: linear-gradient(to bottom, rgba(0, 0, 0, 0.84), transparent);
}

.proof-hero-layout {
  position: relative;
  display: grid;
  grid-template-columns: minmax(0, 0.92fr) minmax(23rem, 1.08fr);
  gap: 2.4rem;
  align-items: center;
  min-width: 0;
}

.proof-hero-layout > * {
  min-width: 0;
}

.proof-hero-copy {
  max-width: 47rem;
}

#proof-hero-title {
  max-width: 13ch;
  font-size: 4.55rem;
  letter-spacing: 0;
  line-height: 0.99;
}

#proof-hero-console .proof-hero-copy p {
  max-width: 41rem;
}

#proof-hero-console .lab-actions {
  margin-top: 1.55rem;
}

.proof-hero-console {
  position: relative;
  width: 100%;
  max-width: 100%;
  overflow: hidden;
  padding: 1rem;
  border: 1px solid rgba(240, 238, 246, 0.14);
  border-radius: 8px;
  background: rgba(8, 13, 18, 0.78);
  box-shadow: 0 30px 86px rgba(0, 0, 0, 0.38), inset 0 1px 0 rgba(255, 255, 255, 0.06);
  backdrop-filter: blur(18px);
}

.proof-hero-console::before {
  content: "";
  position: absolute;
  inset: 1rem 1rem auto 1rem;
  height: 260px;
  pointer-events: none;
  border-radius: 8px;
  background:
    radial-gradient(circle at 18% 18%, rgba(73, 211, 154, 0.16), transparent 10rem),
    radial-gradient(circle at 82% 22%, rgba(241, 209, 138, 0.16), transparent 11rem),
    linear-gradient(120deg, rgba(73, 211, 154, 0.08), transparent 38%, rgba(185, 136, 255, 0.08));
}

.proof-hero-console-asset {
  position: relative;
  z-index: 1;
  display: block;
  width: 100%;
  height: 260px;
  aspect-ratio: 54 / 38;
  object-fit: cover;
  border: 1px solid rgba(73, 211, 154, 0.2);
  border-radius: 8px;
  background: #050711;
  pointer-events: none;
}

.proof-hero-proof-list {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 0.62rem;
  margin-top: 0.88rem;
}

.proof-hero-proof-list a {
  display: grid;
  gap: 0.28rem;
  min-height: 5.65rem;
  padding: 0.68rem;
  border: 1px solid rgba(240, 238, 246, 0.12);
  border-radius: 8px;
  color: var(--text-primary);
  text-decoration: none;
  background: rgba(255, 255, 255, 0.046);
  transition: transform 180ms ease, border-color 180ms ease, background 180ms ease;
}

.proof-hero-proof-list a:hover,
.proof-hero-proof-list a:focus-visible {
  transform: translateY(-2px);
  border-color: rgba(73, 211, 154, 0.62);
  background: rgba(73, 211, 154, 0.09);
  outline: none;
}

.proof-hero-proof-list span {
  color: rgba(73, 211, 154, 0.94);
  font-family: "SF Mono", "Roboto Mono", monospace;
  font-size: 0.66rem;
  font-weight: 800;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.proof-hero-proof-list strong {
  color: var(--text-primary);
  font-size: 0.82rem;
  line-height: 1.2;
}

.proof-hero-proof-list em {
  color: var(--text-secondary);
  font-size: 0.69rem;
  font-style: normal;
  line-height: 1.35;
}

.proof-hero-card-status span,
.proof-hero-card-runtime span {
  color: rgba(241, 209, 138, 0.94);
}

.proof-hero-card-boundary span,
.proof-hero-card-parity span {
  color: rgba(185, 136, 255, 0.94);
}

.proof-hero-card-build span {
  color: rgba(255, 117, 117, 0.94);
}

.proof-hero-console-boundary {
  margin: 0.88rem 0 0;
  padding: 0.74rem 0.84rem;
  border: 1px solid rgba(241, 209, 138, 0.22);
  border-radius: 8px;
  color: rgba(240, 238, 246, 0.72);
  background: rgba(241, 209, 138, 0.07);
  font-size: 0.78rem;
  line-height: 1.48;
}

@media (max-width: 1040px) {
  .proof-hero-layout {
    grid-template-columns: 1fr;
  }

  #proof-hero-title {
    max-width: 13ch;
    font-size: 3.4rem;
  }

  .proof-hero-copy {
    max-width: 48rem;
  }

  .proof-hero-console-asset {
    height: auto;
    object-fit: contain;
  }

  .proof-hero-console::before {
    height: calc(100% - 1.88rem);
  }
}

@media (max-width: 720px) {
  .proof-hero-proof-list {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}

@media (max-width: 640px) {
  #proof-hero-console {
    padding: 6.25rem 0 2.55rem;
  }

  #proof-hero-console .container.proof-hero-layout {
    width: calc(100vw - 56px);
    max-width: 23rem;
    padding-right: 0;
    padding-left: 0;
  }

  #proof-hero-title {
    max-width: 11ch;
    font-size: 2.42rem;
    overflow-wrap: break-word;
  }

  #proof-hero-console .proof-hero-copy p {
    max-width: 28ch;
  }

  #proof-hero-console .lab-actions {
    flex-direction: column;
    align-items: stretch;
  }

  #proof-hero-console .btn {
    width: 100%;
    justify-content: center;
    white-space: normal;
    text-align: center;
  }

  .proof-hero-console {
    padding: 0.75rem;
  }

  .proof-hero-proof-list {
    grid-template-columns: 1fr;
  }

  .proof-hero-proof-list a {
    min-height: auto;
  }
}

@media (prefers-reduced-motion: reduce) {
  .proof-hero-proof-list a {
    transition: none;
  }

  .proof-hero-proof-list a:hover,
  .proof-hero-proof-list a:focus-visible {
    transform: none;
  }
}