:root {
  color-scheme: dark;
  font-family:
    Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
    sans-serif;
  background: #07090f;
  color: #f5f7ff;
  font-synthesis: none;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  min-width: 320px;
  min-height: 100vh;
  background:
    radial-gradient(circle at 18% 2%, rgba(103, 70, 255, 0.24), transparent 31rem),
    radial-gradient(circle at 92% 24%, rgba(0, 221, 190, 0.14), transparent 28rem),
    #07090f;
}

button {
  font: inherit;
}

.site-nav {
  width: min(1180px, calc(100% - 40px));
  margin: 0 auto;
  padding: 24px 0;
  display: flex;
  align-items: center;
  justify-content: space-between;
  color: #bbc2d8;
}

.brand {
  color: #fff;
  font-weight: 800;
  letter-spacing: -0.03em;
}

.nav-pill,
.runtime-status {
  border: 1px solid rgba(255, 255, 255, 0.12);
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.05);
  padding: 8px 12px;
  font-size: 12px;
}

.showcase {
  width: min(1180px, calc(100% - 40px));
  margin: 0 auto;
  padding: 70px 0 90px;
}

.hero {
  max-width: 900px;
}

.eyebrow,
.section-kicker {
  color: #79f2d5;
  font: 700 12px/1.2 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

h1 {
  margin: 20px 0 24px;
  font-size: clamp(54px, 8vw, 104px);
  line-height: 0.9;
  letter-spacing: -0.075em;
}

h2 {
  margin: 9px 0 0;
  font-size: clamp(25px, 3vw, 38px);
  letter-spacing: -0.045em;
}

.lede {
  max-width: 680px;
  margin: 0;
  color: #aeb6ce;
  font-size: clamp(17px, 2vw, 21px);
  line-height: 1.65;
}

.hero-actions,
.toolbar {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  align-items: center;
}

.hero-actions {
  margin-top: 34px;
}

button {
  cursor: pointer;
  border: 1px solid rgba(255, 255, 255, 0.14);
  border-radius: 10px;
  background: #161a26;
  color: #f4f6ff;
  padding: 11px 15px;
  transition: transform 120ms ease, border-color 120ms ease, background 120ms ease;
}

button:hover {
  transform: translateY(-1px);
  border-color: rgba(121, 242, 213, 0.58);
  background: #1b2130;
}

button.primary {
  border-color: transparent;
  background: #7557ff;
  box-shadow: 0 14px 35px rgba(117, 87, 255, 0.28);
}

.stats {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 14px;
  margin: 72px 0 24px;
}

.stat-card,
.interactive-panel,
.proof-panel,
.compiler-panel {
  border: 1px solid rgba(255, 255, 255, 0.1);
  background: rgba(14, 17, 26, 0.78);
  box-shadow: inset 0 1px rgba(255, 255, 255, 0.025);
  backdrop-filter: blur(18px);
}

.stat-card {
  min-height: 160px;
  border-radius: 16px;
  padding: 22px;
  display: flex;
  flex-direction: column;
}

.stat-card strong {
  font-size: 30px;
  letter-spacing: -0.05em;
}

.stat-card span {
  margin-top: auto;
  color: #f3f5ff;
  font-weight: 650;
}

.stat-card small {
  margin-top: 4px;
  color: #7f889f;
}

.demo-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.65fr) minmax(280px, 0.75fr);
  gap: 16px;
}

.interactive-panel,
.proof-panel,
.compiler-panel {
  border-radius: 20px;
  padding: 26px;
}

.section-heading {
  display: flex;
  align-items: flex-end;
  justify-content: space-between;
  gap: 20px;
}

.row-count {
  color: #79f2d5;
  white-space: nowrap;
}

.toolbar {
  margin: 24px 0 14px;
}

.compiled-rows {
  display: grid;
  gap: 9px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.compiled-rows li {
  display: flex;
  align-items: stretch;
  border: 1px solid rgba(255, 255, 255, 0.09);
  border-radius: 12px;
  background: rgba(255, 255, 255, 0.035);
  overflow: hidden;
}

.compiled-rows li.selected {
  border-color: rgba(121, 242, 213, 0.7);
  background: rgba(121, 242, 213, 0.08);
}

.row-select {
  flex: 1;
  display: flex;
  align-items: center;
  justify-content: space-between;
  border: 0;
  border-radius: 0;
  background: transparent;
  text-align: left;
}

.row-select small {
  color: #747e97;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
}

.row-remove {
  width: 48px;
  border: 0;
  border-left: 1px solid rgba(255, 255, 255, 0.08);
  border-radius: 0;
  background: transparent;
  color: #818aa2;
  font-size: 20px;
}

.proof-panel ol {
  display: grid;
  gap: 18px;
  margin: 30px 0;
  padding: 0;
  list-style: none;
}

.proof-panel li {
  display: grid;
  grid-template-columns: 74px 1fr;
  gap: 14px;
  color: #9fa8bf;
  line-height: 1.5;
}

.proof-panel li strong {
  color: #f5f7ff;
}

.target-row {
  border-top: 1px solid rgba(255, 255, 255, 0.09);
  padding-top: 18px;
  display: grid;
  gap: 8px;
  color: #7f889f;
  font-size: 12px;
}

.target-row code {
  color: #79f2d5;
  white-space: normal;
}

.compiler-panel {
  margin-top: 16px;
}

.compiler-heading {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(280px, 0.65fr);
  align-items: end;
  gap: 28px;
}

.compiler-heading p {
  margin: 0;
  color: #8e98b0;
  line-height: 1.6;
}

.compiler-flow {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 38px minmax(0, 1fr);
  align-items: stretch;
  gap: 10px;
  margin-top: 28px;
}

.code-card {
  min-width: 0;
  overflow: hidden;
  border: 1px solid rgba(255, 255, 255, 0.09);
  border-radius: 14px;
  background: #080a10;
}

.code-card header {
  min-height: 66px;
  padding: 13px 16px;
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  border-bottom: 1px solid rgba(255, 255, 255, 0.08);
  background: rgba(255, 255, 255, 0.025);
}

.code-card header div {
  display: grid;
  gap: 3px;
}

.code-card header span,
.code-card header small {
  color: #747e97;
  font: 10px/1.3 ui-monospace, SFMono-Regular, Menlo, monospace;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.code-card header strong {
  font: 600 12px/1.4 ui-monospace, SFMono-Regular, Menlo, monospace;
}

.code-card pre {
  height: 520px;
  margin: 0;
  padding: 18px;
  overflow: auto;
  color: #c9d1e7;
  font: 11px/1.65 ui-monospace, SFMono-Regular, Menlo, monospace;
  tab-size: 2;
}

.emitted-code {
  position: relative;
}

.emitted-code pre {
  color: #b9f4e5;
  padding-bottom: 68px;
}

.output-toggle {
  position: absolute;
  right: 14px;
  bottom: 14px;
  border-color: rgba(121, 242, 213, 0.28);
  background: rgba(8, 10, 16, 0.92);
  font-size: 12px;
}

.compile-arrow {
  align-self: center;
  color: #79f2d5;
  font-size: 28px;
  text-align: center;
}

@media (max-width: 900px) {
  .stats {
    grid-template-columns: repeat(2, 1fr);
  }

  .demo-grid {
    grid-template-columns: 1fr;
  }

  .compiler-heading,
  .compiler-flow {
    grid-template-columns: 1fr;
  }

  .compile-arrow {
    transform: rotate(90deg);
  }

  .code-card pre {
    height: 420px;
  }
}

@media (max-width: 560px) {
  .site-nav,
  .showcase {
    width: min(100% - 24px, 1180px);
  }

  .showcase {
    padding-top: 44px;
  }

  .stats {
    grid-template-columns: 1fr;
  }

  .section-heading {
    align-items: flex-start;
    flex-direction: column;
  }
}