/* The Formal Era: shared design tokens, static HTML and progressive enhancement. */
@font-face {
  font-family: Manrope;
  src: url("fonts/manrope.ttf") format("truetype");
  font-style: normal;
  font-weight: 200 800;
  font-display: swap;
}
@font-face {
  font-family: "Geist Mono";
  src: url("fonts/geist-mono.ttf") format("truetype");
  font-style: normal;
  font-weight: 100 900;
  font-display: swap;
}
:root {
  color-scheme: light;
  --bg: #ffffff;
  --paper: #fff;
  --surface: #f5f5f5;
  --surface-2: #e5e5e5;
  --fg: #111111;
  --fg-2: #404040;
  --fg-3: #595959;
  --line: #d4d4d4;
  --line-2: #a3a3a3;
  --accent: #000000;
  --accent-soft: #ededed;
  --pass: #171717;
  --fail: #171717;
  --warn: #525252;
  --searched: #8c8c8c;
  --hit: var(--accent);
  --sans: Manrope, system-ui, sans-serif;
  --s0: 0;
  --s25: 2px;
  --s50: 4px;
  --s75: 8px;
  --s100: 12px;
  --s200: 16px;
  --s300: 24px;
  --s400: 32px;
  --s500: 40px;
  --s600: 48px;
  --s700: 64px;
  --s800: 80px;
  --s900: 96px;
  --curve: cubic-bezier(0.22, 1, 0.36, 1);
  --z-content: 1;
  --z-menu: 20;
  --z-nav: 30;
  --z-skip: 40;
}
*,
*::before,
*::after {
  box-sizing: border-box;
}
html {
  -webkit-text-size-adjust: 100%;
  scroll-padding-top: var(--s900);
  scroll-behavior: smooth;
}
body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font-family: var(--sans);
  -webkit-font-smoothing: antialiased;
}
body.menu-open {
  overflow: hidden;
}
/* Named type styles use the Tailwind scale with its paired line heights. */
.heading-1 {
  font-size: 60px;
  line-height: 60px;
  font-weight: 600;
  letter-spacing: -0.055em;
}
.heading-2 {
  font-size: 48px;
  line-height: 48px;
  font-weight: 600;
  letter-spacing: -0.045em;
}
.heading-3 {
  font-size: 36px;
  line-height: 40px;
  font-weight: 600;
  letter-spacing: -0.035em;
}
.heading-4 {
  font-size: 30px;
  line-height: 36px;
  font-weight: 600;
  letter-spacing: -0.03em;
}
.heading-5 {
  font-size: 24px;
  line-height: 32px;
  font-weight: 600;
  letter-spacing: -0.025em;
}
.heading-6 {
  font-size: 20px;
  line-height: 28px;
  font-weight: 600;
  letter-spacing: -0.02em;
}
.title-1 {
  font-size: 20px;
  line-height: 28px;
  font-weight: 500;
}
.title-2 {
  font-size: 18px;
  line-height: 28px;
  font-weight: 500;
}
.title-3 {
  font-size: 16px;
  line-height: 24px;
  font-weight: 500;
}
.title-4 {
  font-size: 14px;
  line-height: 20px;
  font-weight: 500;
}
.title-5 {
  font-size: 12px;
  line-height: 16px;
  font-weight: 500;
}
.body-1 {
  font-size: 16px;
  line-height: 24px;
  font-weight: 600;
}
.body-2 {
  font-size: 16px;
  line-height: 24px;
  font-weight: 500;
}
.body-3 {
  font-size: 16px;
  line-height: 24px;
  font-weight: 400;
}
.body-4 {
  font-size: 14px;
  line-height: 20px;
  font-weight: 600;
}
.body-5 {
  font-size: 14px;
  line-height: 20px;
  font-weight: 500;
}
.body-6 {
  font-size: 14px;
  line-height: 20px;
  font-weight: 400;
}
.button-lg {
  font-size: 18px;
  line-height: 28px;
  font-weight: 600;
}
.button-md {
  font-size: 16px;
  line-height: 24px;
  font-weight: 600;
}
.button-sm {
  font-size: 14px;
  line-height: 20px;
  font-weight: 600;
}
.button-xsm {
  font-size: 12px;
  line-height: 16px;
  font-weight: 600;
}
.caption-1 {
  font-size: 14px;
  line-height: 20px;
  font-weight: 500;
}
.caption-2 {
  font-size: 14px;
  line-height: 20px;
  font-weight: 400;
}
.caption-3 {
  font-size: 12px;
  line-height: 16px;
  font-weight: 600;
}
.caption-4 {
  font-size: 12px;
  line-height: 16px;
  font-weight: 500;
}
.caption-5 {
  font-size: 12px;
  line-height: 16px;
  font-weight: 400;
}
h1,
h2,
h3,
h4,
p,
figure {
  margin: 0;
}
h1,
h2,
h3,
h4 {
  text-wrap: balance;
}
p,
li,
figcaption {
  text-wrap: pretty;
}
a {
  color: inherit;
  text-decoration: none;
}
button,
input,
summary {
  font-family: inherit;
  color: inherit;
}
button {
  cursor: pointer;
}
button:disabled {
  cursor: wait;
}
button,
a,
summary {
  touch-action: manipulation;
}
button,
a {
  -webkit-tap-highlight-color: transparent;
  transition:
    transform 500ms var(--curve),
    opacity 300ms var(--curve);
}
button:active,
a:active {
  transform: scale(0.98);
}
:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 4px;
}
::selection {
  background: var(--accent-soft);
  color: var(--accent);
}
img,
video,
svg {
  display: block;
  max-width: 100%;
}
pre,
code,
kbd {
  font-family: inherit;
  font-variant-numeric: tabular-nums;
}
pre {
  white-space: pre;
  overflow-x: auto;
  max-width: 100%;
}
code {
  font-family: "Geist Mono", monospace;
  overflow-wrap: anywhere;
}
[hidden] {
  display: none !important;
}
.wrap {
  width: min(1200px, calc(100% - var(--s900)));
  margin-inline: auto;
}
.section {
  padding-block: var(--s700);
}
.section-heading {
  max-width: none;
  margin-bottom: var(--s400);
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: var(--s200) var(--s600);
  align-items: end;
}
.eyebrow {
  color: var(--accent);
  letter-spacing: 0.04em;
}
.section-heading > .eyebrow,
.trust-layout > .reveal > .eyebrow,
.demo-layout > .reveal > .eyebrow,
.platform-layout > .reveal > .eyebrow {
  margin-bottom: var(--s300);
}
.section-description {
  max-width: 600px;
  margin-top: var(--s300);
  color: var(--fg-2);
}
.text-link {
  display: inline-flex;
  gap: var(--s75);
  align-items: center;
  text-decoration: underline;
  text-underline-offset: 4px;
  text-decoration-color: var(--line-2);
}
.text-link:hover {
  color: var(--accent);
  text-decoration-color: currentColor;
}
.btn {
  display: inline-flex;
  justify-content: center;
  align-items: center;
  gap: var(--s300);
  padding: var(--s75) var(--s100);
  min-height: 40px;
  border: 1px solid var(--line-2);
  border-radius: 6px;
  white-space: nowrap;
}
.btn:hover {
  transform: translateY(-2px);
}
.btn:active {
  transform: scale(0.98);
}
.btn-primary {
  background: var(--accent);
  color: #fff;
  border-color: var(--accent);
}
.btn-primary:hover {
  background: #272727;
}
.btn-secondary {
  background: var(--paper);
  color: var(--fg);
  border-color: var(--fg);
}
.btn-secondary:hover {
  background: var(--surface);
}
.action-group {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: var(--s75);
}
.action-group .btn {
  gap: var(--s75);
}
.nav-actions {
  flex-wrap: nowrap;
  flex-shrink: 0;
  transition: opacity 300ms var(--curve);
}
.nav-actions[inert] {
  opacity: 0;
}
.nav-actions .nav-demo {
  margin-left: 0;
}
.brand-name .brand-dot {
  margin-left: 0;
}
.mobile-menu .menu-actions a:nth-child(1) {
  transition-delay: 240ms;
}
.mobile-menu .menu-actions a:nth-child(2) {
  transition-delay: 300ms;
}
.mobile-menu .menu-actions a:nth-child(3) {
  transition-delay: 360ms;
}
.menu-actions {
  margin-top: var(--s75);
}
.code-example {
  min-width: 0;
  margin-top: var(--s75);
  background: var(--paper);
  border: 1px solid var(--line);
}
.example-heading {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  flex-wrap: wrap;
  gap: var(--s50) var(--s200);
  padding: var(--s75) var(--s100);
}
.example-heading > .caption-4 {
  color: var(--fg-3);
}
.example-code {
  margin: 0;
  padding: 0 var(--s100) var(--s100);
  font-family: "Geist Mono", monospace;
  font-variant-numeric: tabular-nums;
}
.example-equation {
  min-width: 0;
  padding: 0 var(--s100) var(--s100);
}
.example-note {
  padding: 0 var(--s100) var(--s100);
  color: var(--fg-2);
}
.example-preview .preview-toolbar {
  padding-bottom: var(--s50);
}
.example-preview figcaption {
  margin-top: var(--s75);
}
.sr-only {
  position: absolute;
  width: 1px;
  height: 1px;
  margin: 0;
  padding: 0;
  border: 0;
  overflow: hidden;
  clip-path: inset(50%);
  white-space: nowrap;
}
.skip-link {
  position: fixed;
  top: var(--s200);
  left: var(--s200);
  z-index: var(--z-skip);
  background: var(--paper);
  padding: var(--s100) var(--s200);
  border-radius: 6px;
  transform: translateY(-200%);
}
.skip-link:focus {
  transform: translateY(0);
}
/* Compact floating navigation and a full height mobile menu. */
.nav {
  position: fixed;
  z-index: var(--z-nav);
  left: 50%;
  top: var(--s200);
  transform: translateX(-50%);
  width: max-content;
  max-width: calc(100% - var(--s400));
  display: flex;
  align-items: center;
  gap: var(--s400);
  padding: var(--s75);
  padding-left: var(--s100);
  border: 1px solid rgba(163, 163, 163, 0.75);
  border-radius: 8px;
  background: rgba(255, 255, 255, 0.94);
  backdrop-filter: blur(24px);
  -webkit-backdrop-filter: blur(24px);
  box-shadow: 0 4px 24px rgba(0, 0, 0, 0.04);
}
.brand {
  display: flex;
  align-items: center;
  gap: var(--s100);
  white-space: nowrap;
  letter-spacing: -0.04em;
  font-weight: 600;
}
.brand-dot {
  color: var(--accent);
  margin-left: calc(-1 * var(--s75));
}
.brand img {
  width: 40px;
  height: 40px;
  object-fit: contain;
  flex-shrink: 0;
  mix-blend-mode: multiply;
}
.nav-links {
  display: flex;
  align-items: center;
  gap: var(--s300);
  color: var(--fg-2);
}
.nav-links a {
  position: relative;
  padding-block: var(--s75);
}
.nav-links a:hover,
.nav-links a[aria-current] {
  color: var(--accent);
}
.nav-links a[aria-current]::after {
  content: "";
  position: absolute;
  bottom: 0;
  left: 0;
  width: var(--s200);
  height: var(--s25);
  background: var(--accent);
}
.menu-toggle {
  display: none;
  width: 40px;
  height: 40px;
  border: 0;
  border-radius: 6px;
  background: transparent;
  position: relative;
}
.menu-toggle span {
  position: absolute;
  height: 2px;
  width: 20px;
  left: 10px;
  background: var(--fg);
  transition: transform 500ms var(--curve);
}
.menu-toggle span:first-child {
  transform: translateY(-4px);
}
.menu-toggle span:last-child {
  transform: translateY(4px);
}
.menu-toggle[aria-expanded="true"] span:first-child {
  transform: rotate(45deg);
}
.menu-toggle[aria-expanded="true"] span:last-child {
  transform: rotate(-45deg);
}
.mobile-menu {
  position: fixed;
  z-index: var(--z-menu);
  inset: 0;
  min-height: 100dvh;
  background: rgba(255, 255, 255, 0.98);
  backdrop-filter: blur(32px);
  padding: var(--s900) var(--s300) var(--s400);
  opacity: 0;
  visibility: hidden;
  transition: opacity 500ms var(--curve);
  display: flex;
  flex-direction: column;
  justify-content: center;
  overflow-y: auto;
}
.mobile-menu.is-open {
  visibility: visible;
  opacity: 1;
}
.mobile-menu nav {
  display: flex;
  flex-direction: column;
  gap: var(--s300);
}
.mobile-menu nav a {
  opacity: 0;
  transform: translateY(24px);
  transition:
    transform 500ms var(--curve),
    opacity 500ms var(--curve);
}
.mobile-menu.is-open nav a {
  opacity: 1;
  transform: none;
}
.mobile-menu nav a:nth-child(2) {
  transition-delay: 60ms;
}
.mobile-menu nav a:nth-child(3) {
  transition-delay: 120ms;
}
.mobile-menu nav a:nth-child(4) {
  transition-delay: 180ms;
}
.mobile-menu nav a:nth-child(5) {
  transition-delay: 240ms;
}
.mobile-menu nav a:nth-child(6) {
  transition-delay: 300ms;
}
.mobile-menu nav a:nth-child(7) {
  transition-delay: 360ms;
}
.mobile-demo {
  color: var(--accent);
  margin-top: var(--s200);
}
.mobile-menu > p {
  color: var(--fg-2);
  margin-top: var(--s700);
}
/* Hero: the proof library is the product visual. */
.hero {
  display: grid;
  grid-template-columns: 1.12fr 1fr;
  align-items: center;
  gap: var(--s500);
  padding-top: var(--s900);
  padding-bottom: var(--s400);
}
.hero-copy {
  min-width: 0;
}
.hero > .hub-preview {
  min-width: 0;
}
.hero-copy > .eyebrow {
  display: flex;
  align-items: center;
  gap: var(--s75);
  margin-bottom: var(--s200);
}
.status-square {
  display: inline-block;
  flex: none;
  width: 6px;
  height: 6px;
  background: var(--accent);
  border-radius: 2px;
}
.hero-heading {
  max-width: 680px;
  background: linear-gradient(90deg, #000, #666);
  background-clip: text;
  -webkit-background-clip: text;
  color: transparent;
}
.hero-description {
  max-width: 680px;
  margin-top: var(--s200);
  color: var(--fg-2);
}
.hero-copy > .action-group {
  margin-top: var(--s300);
}
.hero-note {
  display: flex;
  align-items: flex-start;
  gap: var(--s75);
  color: var(--fg-3);
  margin-top: var(--s200);
  max-width: 400px;
}
.hero-note > span {
  color: var(--accent);
}
.hub-preview {
  position: relative;
  background: var(--surface);
  border: 1px solid var(--line);
  padding: var(--s75);
  border-radius: 8px;
  box-shadow: none;
  transform: none;
}
.preview-toolbar {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: var(--s75);
  padding: var(--s50) var(--s50) var(--s75);
}
.preview-toolbar > .caption-4 {
  display: flex;
  align-items: center;
  gap: var(--s75);
  color: var(--fg-2);
}
.preview-path {
  display: flex;
  align-items: center;
  gap: var(--s100);
  padding: var(--s100) var(--s75);
  color: var(--fg-3);
}
.preview-path > span:last-child {
  color: var(--fg);
}
.lemma-paper {
  padding: var(--s200);
  background: var(--paper);
  border: 1px solid var(--line);
  border-radius: 0;
  position: relative;
}
.lemma-meta {
  display: flex;
  justify-content: space-between;
  color: var(--accent);
  gap: var(--s100);
  margin-bottom: var(--s100);
}
.lemma-id {
  font-variant-numeric: tabular-nums;
  letter-spacing: 0.04em;
  color: var(--fg-3);
}
.formula {
  margin-block: var(--s100);
  letter-spacing: -0.04em;
  white-space: nowrap;
}
.lemma-paper > p {
  color: var(--fg-2);
  max-width: 330px;
}
.checked-row {
  display: flex;
  align-items: center;
  gap: var(--s75);
  margin-top: var(--s100);
  color: var(--fg-2);
}
.check-box {
  display: grid;
  place-items: center;
  color: var(--accent);
  width: 20px;
  height: 20px;
  border: 1px solid var(--line);
  border-radius: 4px;
}
.reuse-path {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--s100);
  padding: var(--s200) var(--s75);
}
.reuse-path > .caption-3 {
  color: var(--accent);
}
.path-line {
  flex: 1;
  height: 1px;
  background: var(--line-2);
  position: relative;
}
.path-line::after {
  content: "";
  position: absolute;
  right: 0;
  top: -2px;
  width: 5px;
  height: 5px;
  border-right: 1px solid var(--line-2);
  border-top: 1px solid var(--line-2);
  transform: rotate(45deg);
}
.hub-node {
  width: 32px;
  height: 32px;
  display: grid;
  place-items: center;
  background: var(--accent);
  color: #fff;
  border-radius: 6px;
}
.preview-bottom {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s75);
}
.preview-bottom > div {
  padding: var(--s75);
  background: var(--bg);
  display: flex;
  flex-direction: column;
  gap: var(--s50);
}
.preview-bottom span {
  color: var(--fg-3);
}
.preview-bottom strong {
  font-weight: 500;
  letter-spacing: -0.02em;
}
.hub-preview figcaption {
  color: var(--fg-3);
  margin-top: var(--s100);
  padding-inline: var(--s50);
}
.proof-strip {
  display: grid;
  grid-template-columns: 1.1fr 1fr 1fr 1fr;
  gap: var(--s300);
  padding-block: var(--s100);
  border-block: 1px solid var(--line);
}
.proof-strip p {
  margin-top: var(--s75);
  color: var(--fg-2);
}
.proof-strip strong {
  font-variant-numeric: tabular-nums;
  display: block;
}
.proof-strip-intro .eyebrow {
  color: var(--fg-2);
}
/* Asymmetric library and benefits. */
.benefit-layout {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s600);
}
.library-card {
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: var(--s300);
}
.library-heading {
  display: flex;
  justify-content: space-between;
  gap: var(--s200);
  align-items: center;
  margin-bottom: var(--s200);
}
.library-heading > .caption-4 {
  color: var(--fg-3);
}
.library-row {
  display: grid;
  grid-template-columns: auto 1fr auto;
  align-items: center;
  gap: var(--s200);
  padding-block: var(--s100);
}
.library-symbol {
  display: grid;
  place-items: center;
  width: 40px;
  height: 40px;
  background: var(--bg);
  color: var(--accent);
  border: 1px solid var(--line);
  border-radius: 4px;
}
.library-row p {
  color: var(--fg-2);
  margin-top: var(--s50);
}
.library-row > .caption-4 {
  color: var(--fg-3);
  align-self: start;
  margin-top: var(--s75);
}
.library-card > .text-link {
  margin-top: var(--s200);
}
.benefit-list {
  display: flex;
  flex-direction: column;
  gap: var(--s300);
  padding-block: 0;
}
.benefit {
  display: grid;
  grid-template-columns: 24px 1fr;
  gap: var(--s200);
}
.benefit-number {
  color: var(--accent);
  padding-top: var(--s50);
}
.benefit p {
  color: var(--fg-2);
  margin-top: var(--s75);
}
.tagline-section {
  background: var(--surface);
  padding-block: var(--s600);
}
.tagline-layout {
  position: relative;
  display: grid;
  grid-template-columns: 1fr 2fr;
  gap: var(--s400);
  align-items: start;
}
.tagline-layout > .eyebrow {
  margin-top: var(--s100);
}
.tagline {
  max-width: 680px;
  position: relative;
  z-index: var(--z-content);
}
.tagline-layout p.body-3 {
  margin-top: var(--s300);
  color: var(--fg-2);
}
.tagline-mark {
  position: absolute;
  right: 0;
  bottom: 0;
  color: var(--line-2);
  display: none;
}
.tagline-word {
  opacity: 0.3;
  transition: opacity 500ms var(--curve);
}
.tagline-word.is-active {
  opacity: 1;
}
/* Retained accessible three step tabs. */
.how {
  display: grid;
  grid-template-columns: 1fr 1.8fr;
  gap: var(--s300);
}
.how-tabs {
  display: flex;
  flex-direction: column;
  gap: var(--s100);
}
.how-tabs > button {
  display: flex;
  text-align: left;
  align-items: flex-start;
  gap: var(--s200);
  background: transparent;
  border: 1px solid transparent;
  border-radius: 6px;
  padding: var(--s200);
  min-width: 0;
}
.how-tabs > button:hover {
  background: var(--surface);
}
.how-tabs > button[aria-selected="true"] {
  background: var(--surface);
  border-color: var(--line);
}
.step-n {
  display: grid;
  place-items: center;
  flex: none;
  width: 24px;
  height: 24px;
  color: var(--accent);
  background: var(--paper);
  border: 1px solid var(--line);
  border-radius: 4px;
  font-variant-numeric: tabular-nums;
}
.how-tabs b {
  display: block;
  font-weight: 600;
  margin-bottom: var(--s75);
}
.how-tabs button > span:last-child > span {
  display: block;
  font-weight: 400;
  color: var(--fg-2);
}
.how-panels {
  min-width: 0;
  background: var(--paper);
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: var(--s200);
}
.panel-h {
  display: flex;
  justify-content: space-between;
  gap: var(--s300);
  color: var(--fg-2);
  margin-bottom: var(--s200);
}
.panel-h > span:last-child {
  text-align: right;
}
.code {
  padding: var(--s200);
  margin: 0;
  background: var(--bg);
  font-variant-numeric: tabular-nums;
  border-radius: 0;
  color: var(--fg);
}
.panel-note {
  color: var(--fg-2);
  margin-top: var(--s200);
}
.verdict-lines {
  display: flex;
  flex-direction: column;
  gap: var(--s300);
}
.vl {
  display: flex;
  flex-direction: column;
  gap: var(--s75);
  color: var(--fg-2);
}
.tag {
  width: max-content;
  padding: var(--s50) var(--s75);
  border: 1px solid var(--line);
  border-radius: 4px;
}
.ok {
  color: var(--pass);
}
.bad {
  color: var(--fail);
}
.unk,
.warn {
  color: var(--warn);
}
/* Recorded proof reuse evidence. */
.evidence-section {
  background: var(--surface);
}
.evidence-grid {
  display: grid;
  grid-template-columns: 0.8fr 1.7fr;
  gap: var(--s500);
}
.evidence-summary {
  padding: var(--s200) 0;
  min-width: 0;
}
.metric {
  font-variant-numeric: tabular-nums;
  margin-top: var(--s200);
  white-space: nowrap;
}
.metric > span {
  letter-spacing: 0;
  color: var(--fg-2);
}
.evidence-summary > .body-6 {
  max-width: 320px;
  color: var(--fg-2);
  margin-top: var(--s100);
}
.metric-arrow {
  display: block;
  color: var(--accent);
  margin-top: var(--s200);
}
.metric-arrow + .metric {
  margin-top: var(--s200);
  color: var(--accent);
}
.evidence-scope {
  max-width: 320px;
  margin-top: var(--s300);
  color: var(--fg-3);
}
.chart-card {
  min-width: 0;
  background: var(--paper);
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: var(--s200);
}
.chart-title {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: var(--s100);
  margin-bottom: var(--s200);
}
.chart-title > .caption-4 {
  color: var(--fg-3);
}
.chart {
  position: relative;
  font-variant-numeric: tabular-nums;
}
.bar-row {
  display: grid;
  grid-template-columns: 164px 1fr;
  gap: var(--s200);
  align-items: center;
  min-height: 40px;
  padding-block: var(--s75);
}
.bar-row .name {
  color: var(--fg-2);
  overflow-wrap: anywhere;
}
.bar-track {
  position: relative;
  height: 16px;
  margin-right: var(--s600);
}
.bar {
  height: 100%;
  background: var(--hit);
  border-radius: 2px;
  transform-origin: left;
  transition:
    transform 700ms var(--curve),
    opacity 300ms var(--curve);
}
.bar:hover {
  opacity: 0.7;
}
.bar.searched {
  background: var(--searched);
}
.bar.off {
  background: var(--line-2);
  outline: 1px dashed var(--fg-3);
  outline-offset: 2px;
}
.bar-val {
  position: absolute;
  top: 0;
  color: var(--fg-2);
  white-space: nowrap;
}
.axis {
  display: grid;
  grid-template-columns: 164px 1fr;
  gap: var(--s200);
  margin-top: var(--s200);
  color: var(--fg-3);
}
.axis-unit {
  text-align: right;
}
.axis-ticks {
  position: relative;
  height: 16px;
  margin-right: var(--s600);
}
.axis-ticks > span {
  position: absolute;
  transform: translateX(-50%);
}
.chart-legend {
  display: flex;
  flex-wrap: wrap;
  gap: var(--s100) var(--s200);
  color: var(--fg-2);
  margin-top: var(--s300);
}
.chart-legend > span {
  display: flex;
  gap: var(--s75);
  align-items: center;
}
.chart-legend i,
.legend i {
  width: 8px;
  height: 8px;
  display: inline-block;
  background: var(--line-2);
  border-radius: 2px;
}
.chart-legend .legend-search {
  background: var(--searched);
}
.chart-legend .legend-hit {
  background: var(--hit);
}
.chart-legend .legend-off {
  outline: 1px dashed var(--fg-3);
  outline-offset: 2px;
}
.tooltip {
  position: absolute;
  left: 0;
  right: 0;
  bottom: 100%;
  padding: var(--s100);
  background: var(--bg);
  border: 1px solid var(--line-2);
  border-radius: 6px;
  z-index: var(--z-content);
  pointer-events: none;
  opacity: 0;
  transition: opacity 300ms var(--curve);
}
.tooltip.on {
  opacity: 1;
}
.tooltip .key {
  display: flex;
  align-items: center;
  gap: var(--s75);
  margin-top: var(--s75);
}
.tooltip .key i {
  width: 8px;
  height: 8px;
  border-radius: 2px;
}
.faint {
  color: var(--fg-3);
}
.table-view {
  margin-top: var(--s300);
}
summary {
  cursor: pointer;
  color: var(--accent);
  width: fit-content;
}
summary:hover {
  opacity: 0.7;
}
.table-scroll {
  max-width: 100%;
  overflow: auto;
  margin-top: var(--s200);
}
table {
  width: 100%;
  border-collapse: collapse;
  text-align: left;
}
th,
td {
  padding: var(--s100);
  border: 1px solid var(--line);
  min-width: 120px;
  vertical-align: top;
}
th {
  font-weight: 600;
  background: var(--bg);
}
.experiment-note {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: var(--s200);
  color: var(--fg-3);
  margin-top: var(--s300);
}
.evidence-controls {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s400);
  margin-top: var(--s300);
}
.evidence-controls p {
  color: var(--fg-2);
}
/* Interactive attention boundary demonstration. */
.lab {
  display: grid;
  grid-template-columns: 1.5fr 1fr;
  gap: var(--s300);
  padding: var(--s300);
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: 8px;
}
.lab-main {
  min-width: 0;
}
.lab-row {
  display: flex;
  gap: var(--s200);
  align-items: center;
  flex-wrap: wrap;
}
.lab-row + .lab-row {
  margin-top: var(--s200);
}
.lab-row > label {
  color: var(--fg-2);
}
.lab-row input {
  min-width: 80px;
  flex: 1;
  accent-color: var(--accent);
  cursor: pointer;
}
.lab-row output {
  color: var(--accent);
  font-variant-numeric: tabular-nums;
  min-width: 24px;
}
.seg {
  display: inline-flex;
  gap: var(--s50);
  background: var(--surface-2);
  padding: var(--s50);
  border-radius: 6px;
}
.seg button {
  border: 0;
  background: transparent;
  padding: var(--s75) var(--s100);
  border-radius: 2px;
}
.seg button[aria-pressed="true"] {
  background: var(--paper);
}
.seg button:hover {
  color: var(--accent);
}
.pages {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: var(--s100);
  margin-top: var(--s300);
}
.page {
  padding: var(--s100);
  background: var(--bg);
  border: 1px solid var(--line);
  border-radius: 6px;
}
.page-h {
  display: flex;
  justify-content: space-between;
  gap: var(--s50);
  margin-bottom: var(--s100);
  color: var(--fg-3);
}
.page-h b {
  font-weight: 500;
}
.cells {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: var(--s50);
}
.cells i {
  aspect-ratio: 1;
  background: var(--line);
  border-radius: 2px;
}
.cells .read {
  background: var(--searched);
}
.cells .miss {
  background: var(--accent);
  outline: 1px solid var(--accent);
  outline-offset: 2px;
}
.legend {
  display: flex;
  flex-wrap: wrap;
  gap: var(--s200);
  margin-top: var(--s200);
  color: var(--fg-2);
}
.legend > span {
  display: flex;
  align-items: center;
  gap: var(--s75);
}
.legend > span:nth-child(1) i {
  background: var(--searched);
}
.legend > span:nth-child(2) i {
  background: var(--accent);
}
.lab-code {
  background: var(--paper);
  padding: var(--s100);
  margin-top: var(--s200);
  overflow-x: auto;
  white-space: pre;
  font-variant-numeric: tabular-nums;
}
.lab-code .del {
  color: var(--fg-3);
  text-decoration: line-through;
}
.lab-code .add {
  color: var(--accent);
}
.lab-side {
  align-self: center;
  min-width: 0;
}
.lab-verdict {
  display: flex;
  align-items: center;
  gap: var(--s100);
}
.lab-explain {
  color: var(--fg-2);
  margin-top: var(--s100);
}
.lab-stats {
  display: flex;
  gap: var(--s300);
  margin-top: var(--s300);
}
.lab-stats > div {
  display: flex;
  flex-direction: column;
  gap: var(--s50);
}
.lab-stats span {
  color: var(--fg-3);
}
.lab-side > .faint {
  margin-top: var(--s300);
}
/* Independent checking, video, model library. */
.trust-layout {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s600);
  align-items: center;
}
.trust-layout > * {
  min-width: 0;
}
.trust-layout .text-link {
  margin-top: var(--s300);
}
.trust-paper {
  background: var(--paper);
  padding: var(--s200);
  border: 1px solid var(--line);
  border-radius: 8px;
  transform: none;
}
.paper-header {
  display: flex;
  justify-content: space-between;
  gap: var(--s200);
  align-items: center;
  margin-bottom: var(--s200);
}
.paper-header > .caption-4 {
  color: var(--fg-3);
}
.replay-code {
  margin: 0;
  color: var(--accent);
  padding: var(--s200);
  background: var(--bg);
}
.trust-paper > p {
  margin-top: var(--s200);
  color: var(--fg-2);
}
.scope-note {
  color: var(--fg-2);
  padding: var(--s200);
  margin-top: var(--s400);
  border: 1px solid var(--line);
  border-radius: 6px;
}
.demo-section {
  background: var(--surface);
}
.demo-layout {
  display: grid;
  grid-template-columns: 1fr 1.5fr;
  gap: var(--s600);
  align-items: center;
}
.demo-layout p.body-3 {
  color: var(--fg-2);
  margin-top: var(--s200);
}
.demo-duration {
  margin-top: var(--s300);
  color: var(--accent);
}
.video-card {
  padding: var(--s75);
  background: var(--surface-2);
  border: 1px solid var(--line-2);
  border-radius: 8px;
  min-width: 0;
}
.video-card video {
  width: 100%;
  aspect-ratio: 16/9;
  border-radius: 0;
  object-fit: contain;
  filter: grayscale(1);
}
.video-error {
  padding: var(--s200);
  color: var(--fail);
}
.platform-layout {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s600);
}
.platform-layout .body-3 {
  margin-top: var(--s200);
  color: var(--fg-2);
  max-width: 440px;
}
.platform-layout .text-link {
  margin-top: var(--s300);
}
.model-library {
  background: var(--surface);
  padding: var(--s200);
  border: 1px solid var(--line);
  border-radius: 8px;
}
.model-library > p {
  margin-bottom: var(--s200);
}
.chips {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s75);
}
.chips a {
  display: flex;
  flex-direction: column;
  gap: var(--s50);
  padding: var(--s100);
  background: var(--bg);
  overflow-wrap: anywhere;
}
.chips a b {
  font-weight: 500;
  color: var(--fg-3);
}
.chips a:hover {
  color: var(--accent);
  background: var(--paper);
}
/* Questions remain readable without JavaScript. */
.faq-section {
  background: var(--surface);
}
.faq-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s300) var(--s600);
}
.faq-item p {
  color: var(--fg-2);
  margin-top: var(--s75);
  max-width: 520px;
}
.final-cta {
  position: relative;
  overflow: hidden;
  padding: var(--s400);
  background: var(--surface);
  border: 1px solid var(--line);
  border-radius: 8px;
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s200) var(--s600);
  align-items: center;
}
.final-cta > .eyebrow {
  margin-bottom: 0;
  grid-column: 1 / -1;
}
.final-cta > .heading-3 {
  max-width: 680px;
  position: relative;
  z-index: var(--z-content);
  grid-column: 1;
  grid-row: 2;
}
.final-cta > .body-3 {
  max-width: 500px;
  margin-top: 0;
  color: var(--fg-2);
  position: relative;
  z-index: var(--z-content);
  grid-column: 2;
  grid-row: 2;
}
.final-cta > .action-group {
  margin-top: 0;
  position: relative;
  z-index: var(--z-content);
  grid-column: 1;
  grid-row: 3;
  justify-self: start;
}
.final-cta > .caption-2 {
  margin-top: 0;
  color: var(--fg-3);
  max-width: 400px;
  position: relative;
  z-index: var(--z-content);
  grid-column: 2;
  grid-row: 3;
}
.cta-decoration {
  position: absolute;
  right: var(--s700);
  top: 50%;
  transform: translateY(-50%);
  color: var(--line-2);
  display: none;
}
.footer {
  padding-bottom: var(--s300);
}
.footer-top {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--s300);
  padding-bottom: var(--s300);
}
.footer-top > p {
  color: var(--fg-2);
}
.footer-bottom {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: var(--s300);
  border-top: 1px solid var(--line);
  padding-top: var(--s300);
  color: var(--fg-3);
}
.footer-bottom nav {
  display: flex;
  flex-wrap: wrap;
  gap: var(--s200);
}
.footer a:hover {
  color: var(--accent);
}
/* Named extensions use the same scale for large mathematical marks. */
.title-6 {
  font-size: 128px;
  line-height: 128px;
  font-weight: 500;
}
.title-7 {
  font-size: 24px;
  line-height: 32px;
  font-weight: 500;
}
.motion-ready .reveal {
  opacity: 0;
  transform: translateY(32px);
  transition:
    transform 700ms var(--curve),
    opacity 700ms var(--curve);
}
.motion-ready .reveal.in {
  opacity: 1;
  transform: none;
}
.document-page {
  max-width: 760px;
  padding-top: var(--s900);
  min-height: 75dvh;
}
.document-page > .eyebrow {
  margin-bottom: var(--s300);
}
.document-page > .body-3,
.document-page > section {
  margin-top: var(--s300);
  color: var(--fg-2);
}
.document-page h2 {
  margin-bottom: var(--s100);
  color: var(--fg);
}
.document-page > .text-link {
  margin-top: var(--s400);
}
@media (min-width: 1500px) {
  .hero {
    gap: var(--s800);
    padding-top: var(--s900);
    padding-bottom: var(--s800);
  }
}
@media (max-width: 1100px) {
  .wrap {
    width: calc(100% - var(--s700));
  }
  .nav {
    gap: var(--s300);
  }
  .nav-links {
    gap: var(--s200);
  }
  .hero {
    gap: var(--s400);
  }
  .hero-heading {
    font-size: 48px;
    line-height: 48px;
  }
  .formula {
    font-size: 16px;
    line-height: 24px;
  }
  .benefit-layout,
  .trust-layout,
  .demo-layout,
  .platform-layout {
    gap: var(--s500);
  }
  .evidence-grid {
    grid-template-columns: 0.85fr 1.5fr;
    gap: var(--s400);
  }
  .metric {
    font-size: 48px;
    line-height: 48px;
  }
  .bar-row,
  .axis {
    grid-template-columns: 136px 1fr;
    gap: var(--s100);
  }
  .lab {
    grid-template-columns: 1.3fr 1fr;
    padding: var(--s300);
    gap: var(--s300);
  }
  .page {
    padding: var(--s75);
  }
  .page-h {
    flex-direction: column;
  }
  .footer-top {
    flex-wrap: wrap;
  }
  .footer-bottom > span:last-child {
    display: none;
  }
}
@media (max-width: 800px) {
  .nav {
    width: calc(100% - var(--s400));
    justify-content: space-between;
    gap: var(--s100);
    padding: var(--s75) var(--s100);
  }
  .nav-links {
    display: none;
  }
  .menu-toggle {
    display: block;
  }
  .nav-demo {
    margin-left: auto;
  }
  .hero {
    grid-template-columns: 1fr;
    gap: var(--s600);
    padding-top: var(--s900);
    padding-bottom: var(--s600);
  }
  .hero-copy {
    max-width: 600px;
  }
  .hub-preview {
    max-width: 560px;
    width: 100%;
    justify-self: center;
    transform: none;
  }
  .hero-heading {
    font-size: 60px;
    line-height: 60px;
  }
  .formula {
    font-size: 20px;
    line-height: 28px;
  }
  .proof-strip {
    grid-template-columns: 1fr 1fr;
    gap: var(--s300);
  }
  .proof-strip-intro br {
    display: none;
  }
  .proof-strip-intro {
    align-self: center;
  }
  .section {
    padding-block: var(--s700);
  }
  .heading-2 {
    font-size: 36px;
    line-height: 40px;
  }
  .heading-2.tagline {
    font-size: 48px;
    line-height: 48px;
  }
  .benefit-layout {
    grid-template-columns: 1fr;
    gap: var(--s400);
  }
  .benefit-list {
    gap: var(--s300);
  }
  .tagline-layout {
    grid-template-columns: 1fr;
    gap: var(--s300);
  }
  .tagline-mark {
    display: none;
  }
  .how {
    grid-template-columns: 1fr;
  }
  .how-tabs {
    display: grid;
    grid-template-columns: repeat(3, minmax(0, 1fr));
    gap: var(--s75);
  }
  .how-tabs > button {
    flex-direction: column;
    padding: var(--s200);
    gap: var(--s100);
  }
  .how-tabs button > span:last-child > span {
    display: none;
  }
  .how-tabs b {
    margin: 0;
  }
  .how-panels {
    min-height: 320px;
  }
  .evidence-grid {
    grid-template-columns: 1fr;
    gap: var(--s300);
  }
  .evidence-summary {
    display: grid;
    grid-template-columns: 1fr 1fr;
    column-gap: var(--s400);
  }
  .evidence-summary > .eyebrow {
    grid-column: 1/-1;
  }
  .metric-arrow {
    display: none;
  }
  .evidence-summary > .metric {
    grid-row: 2;
  }
  .evidence-summary > .metric + .body-6 {
    grid-row: 3;
  }
  .evidence-scope {
    grid-column: 1/-1;
    max-width: 100%;
    margin-top: var(--s300);
  }
  .bar-row,
  .axis {
    grid-template-columns: 164px 1fr;
  }
  .lab,
  .trust-layout,
  .demo-layout,
  .platform-layout {
    grid-template-columns: 1fr;
  }
  .lab-side {
    padding-top: var(--s100);
  }
  .page-h {
    flex-direction: row;
  }
  .trust-paper {
    transform: none;
  }
  .evidence-controls {
    gap: var(--s300);
  }
  .faq-grid {
    gap: var(--s400);
  }
  .final-cta {
    padding: var(--s500);
  }
  .cta-decoration {
    right: var(--s500);
    opacity: 0.5;
  }
  .footer-top {
    align-items: flex-start;
    flex-direction: column;
    gap: var(--s200);
  }
  .footer-bottom {
    align-items: flex-start;
    flex-direction: column;
    gap: var(--s200);
  }
}
@media (max-width: 480px) {
  .wrap {
    width: calc(100% - var(--s600));
  }
  .nav {
    top: var(--s100);
    max-width: calc(100% - var(--s300));
    width: calc(100% - var(--s300));
    gap: var(--s75);
  }
  .nav .brand {
    font-size: 14px;
    line-height: 20px;
    gap: var(--s75);
  }
  .brand img {
    width: 32px;
    height: 32px;
  }
  .nav-demo {
    gap: var(--s75);
    font-size: 12px;
    line-height: 16px;
  }
  .menu-toggle {
    width: 32px;
    flex: none;
  }
  .menu-toggle span {
    left: 6px;
  }
  .hero {
    padding-top: var(--s900);
    gap: var(--s500);
  }
  .hero-heading {
    font-size: 36px;
    line-height: 40px;
    letter-spacing: -0.045em;
  }
  .hero-copy > .eyebrow {
    margin-bottom: var(--s200);
  }
  .hero-description {
    margin-top: var(--s200);
  }
  .hero-copy > .action-group {
    margin-top: var(--s300);
  }
  .hero-note {
    font-size: 12px;
    line-height: 16px;
  }
  .hub-preview {
    padding: var(--s100);
    border-radius: 12px;
  }
  .lemma-paper {
    padding: var(--s200);
  }
  .formula {
    font-size: 14px;
    line-height: 20px;
    margin-block: var(--s200);
  }
  .checked-row {
    margin-top: var(--s200);
  }
  .preview-bottom strong {
    font-size: 12px;
    line-height: 16px;
  }
  .preview-bottom > div {
    padding: var(--s75);
  }
  .reuse-path {
    gap: var(--s75);
  }
  .proof-strip {
    gap: var(--s300) var(--s200);
  }
  .proof-strip .heading-4 {
    font-size: 24px;
    line-height: 32px;
  }
  .proof-strip .caption-2,
  .proof-strip-intro .body-6 {
    font-size: 12px;
    line-height: 16px;
  }
  .section-heading {
    margin-bottom: var(--s400);
  }
  .section-heading > .eyebrow {
    margin-bottom: var(--s200);
  }
  .heading-2,
  .heading-3 {
    font-size: 30px;
    line-height: 36px;
  }
  .heading-2.tagline {
    font-size: 36px;
    line-height: 40px;
  }
  .tagline-section {
    padding-block: var(--s700);
  }
  .library-card {
    padding: var(--s300);
  }
  .library-heading {
    align-items: flex-start;
    flex-direction: column;
    gap: var(--s50);
  }
  .library-row {
    gap: var(--s100);
    grid-template-columns: auto 1fr;
  }
  .library-symbol {
    width: 32px;
    height: 40px;
  }
  .library-row > .caption-4 {
    display: none;
  }
  .library-row h3 {
    font-size: 14px;
    line-height: 20px;
  }
  .how-tabs > button {
    padding: var(--s100);
  }
  .how-tabs b {
    font-size: 12px;
    line-height: 16px;
  }
  .how-panels {
    padding: var(--s200);
  }
  .panel-h {
    gap: var(--s100);
  }
  .panel-h > span:last-child {
    max-width: 45%;
  }
  .code {
    font-size: 12px;
    line-height: 16px;
    padding: var(--s100);
  }
  .metric {
    font-size: 36px;
    line-height: 40px;
  }
  .metric > span {
    font-size: 14px;
    line-height: 20px;
  }
  .evidence-summary {
    column-gap: var(--s200);
  }
  .chart-card {
    padding: var(--s200);
  }
  .chart-title {
    flex-direction: column;
    align-items: flex-start;
    gap: var(--s50);
  }
  .bar-row,
  .axis {
    grid-template-columns: 104px 1fr;
    gap: var(--s75);
  }
  .bar-row {
    min-height: 48px;
  }
  .bar-track,
  .axis-ticks {
    margin-right: var(--s600);
  }
  .chart-legend {
    gap: var(--s100);
  }
  .evidence-controls {
    grid-template-columns: 1fr;
  }
  .lab {
    padding: var(--s200);
  }
  .pages {
    gap: var(--s75);
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
  .page {
    padding: var(--s100);
  }
  .lab-row {
    gap: var(--s100);
  }
  .lab-side > .faint {
    margin-top: var(--s200);
  }
  .trust-paper {
    padding: var(--s200);
  }
  .paper-header {
    gap: var(--s100);
  }
  .scope-note {
    padding: var(--s200);
  }
  .model-library {
    padding: var(--s200);
  }
  .chips {
    grid-template-columns: 1fr 1fr;
  }
  .chips a {
    padding: var(--s75);
  }
  .faq-grid {
    grid-template-columns: 1fr;
    gap: var(--s400);
  }
  .final-cta {
    padding: var(--s300);
  }
  .cta-decoration {
    display: none;
  }
  .final-cta > .eyebrow {
    margin-bottom: var(--s200);
  }
  .final-cta > .action-group {
    margin-top: var(--s300);
  }
  .footer-bottom nav {
    gap: var(--s100) var(--s200);
  }
}
@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
  *,
  *::before,
  *::after {
    animation: none !important;
    transition-duration: 0ms !important;
    transform: none !important;
  }
  .nav {
    transform: translateX(-50%) !important;
  }
  .motion-ready .reveal,
  .tagline-word {
    opacity: 1 !important;
  }
  .skip-link {
    top: -100px;
  }
  .skip-link:focus {
    top: var(--s200);
  }
  .mobile-menu nav a {
    opacity: 1;
  }
}

.icon {
  flex: none;
  display: inline-block;
  vertical-align: middle;
  fill: currentColor;
}
.preview-bottom strong {
  display: flex;
  align-items: center;
  gap: var(--s50);
}
.footer-top > .text-link {
  flex-wrap: nowrap;
}
/* The product delivers verification; the library accelerates the verifier. */
.verification-inputs {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: var(--s75);
  margin-bottom: var(--s100);
}
.verification-inputs > div {
  display: flex;
  flex-direction: column;
  gap: var(--s50);
  padding: var(--s75);
  background: var(--bg);
}
.verification-inputs .caption-4 {
  color: var(--fg-3);
}
.verification-inputs strong {
  font-weight: 500;
}
.acceleration-layer {
  display: flex;
  align-items: center;
  gap: var(--s100);
  padding: var(--s100) var(--s75);
  color: var(--accent);
}
.acceleration-layer > div {
  display: flex;
  flex-direction: column;
  gap: var(--s50);
  flex: 1;
}
.acceleration-layer strong {
  font-weight: 600;
}
.acceleration-layer .caption-4 {
  color: var(--fg-2);
}
.acceleration-arrow {
  align-self: center;
}
.platform-map {
  display: grid;
  grid-template-columns: 1fr 24px 1.4fr 1fr;
  gap: var(--s300);
  align-items: stretch;
  margin-bottom: var(--s400);
  max-width: none;
}
.platform-input {
  padding: var(--s300) 0;
}
.platform-input h3,
.platform-engine h3 {
  margin-top: var(--s100);
}
.platform-input p,
.platform-engine p {
  margin-top: var(--s100);
  color: var(--fg-2);
}
.platform-input .text-link {
  margin-top: var(--s200);
}
.platform-connector {
  color: var(--line-2);
}
.platform-engine {
  padding: var(--s300);
  background: var(--paper);
  border: 1px solid var(--line);
  border-radius: 8px;
}
.platform-engine > .caption-3:not(.eyebrow) {
  display: block;
  color: var(--accent);
  margin-top: var(--s300);
}
.platform-lemmas {
  grid-column: 4;
  display: block;
  align-items: center;
  gap: var(--s200);
  padding: var(--s300);
  background: var(--accent-soft);
  border: 1px solid var(--line);
  border-radius: 8px;
  position: relative;
}
.platform-lemmas::before {
  content: "";
  position: absolute;
  width: var(--s300);
  height: 1px;
  background: var(--line-2);
  bottom: auto;
  left: auto;
  top: 50%;
  right: 100%;
}
.platform-lemmas > div {
  flex: 1;
}
.platform-lemmas h3 {
  margin-top: var(--s50);
}
.platform-lemmas p {
  color: var(--fg-2);
  margin-top: var(--s75);
}
.platform-lemmas > .title-2 {
  color: var(--accent);
}
.workflow-intro {
  margin-bottom: var(--s200);
}
.workflow-heading {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  flex-wrap: wrap;
  gap: var(--s100) var(--s300);
  margin-bottom: var(--s200);
}
.workflow-heading .workflow-intro {
  margin-bottom: 0;
}
.resource-links {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  gap: var(--s100) var(--s200);
  margin-top: var(--s300);
}
.resource-links .text-link {
  margin-top: 0;
}
.platform-engine > .text-link,
.platform-lemmas .text-link {
  margin-top: var(--s200);
}
@media (max-width: 800px) {
  .platform-map {
    grid-template-columns: 1fr auto 1.4fr;
    gap: var(--s200);
  }
  .platform-engine {
    padding: var(--s300);
  }
  .platform-lemmas {
    padding: var(--s200);
  }
}
@media (max-width: 480px) {
  .verification-inputs > div {
    padding: var(--s75);
  }
  .verification-inputs strong {
    font-size: 12px;
    line-height: 16px;
  }
  .acceleration-layer {
    gap: var(--s75);
  }
  .acceleration-layer .title-4 {
    font-size: 12px;
    line-height: 16px;
  }
  .acceleration-layer .caption-4 {
    max-width: 200px;
  }
  .platform-map {
    grid-template-columns: 1fr;
    gap: var(--s300);
  }
  .platform-connector {
    display: none;
  }
  .platform-input {
    padding: 0;
  }
  .platform-engine {
    padding: var(--s300);
  }
  .platform-lemmas {
    grid-column: 1;
  }
  .platform-lemmas::before {
    height: var(--s300);
  }
}

/* Compact section introductions and monochrome state indicators. */
.section-heading > .eyebrow {
  grid-column: 1 / -1;
  margin-bottom: 0;
}
.section-heading > .section-description {
  margin-top: 0;
}
.platform-connector {
  align-self: center;
  color: var(--fg-2);
}
.platform-lemmas > .hub-node {
  display: none;
}
.platform-lemmas > .title-2 {
  display: block;
  position: absolute;
  left: calc(-1 * var(--s300));
  top: 50%;
  transform: translateY(-50%);
  color: var(--fg-2);
}
.platform-lemmas::before {
  display: none;
}
.platform-lemmas > div {
  display: flex;
  flex-direction: column;
}
.platform-lemmas h3 {
  margin-top: var(--s100);
}
.platform-lemmas p {
  margin-top: var(--s100);
}
.platform-input {
  align-self: center;
}
.tag.ok {
  background: var(--fg);
  border-color: var(--fg);
  color: var(--paper);
}
.tag.bad {
  background: var(--paper);
  border-color: var(--fg);
  color: var(--fg);
}
.tag.unk {
  border-style: dashed;
}
.faq-section .section-heading {
  display: block;
}
.faq-section .section-heading > .eyebrow {
  margin-bottom: var(--s100);
}
@media (min-width: 1500px) {
  .hero {
    gap: var(--s500);
    padding-bottom: var(--s500);
  }
}
@media (max-width: 800px) {
  .section {
    padding-block: var(--s600);
  }
  .section-heading {
    grid-template-columns: 1fr;
    gap: var(--s100);
    margin-bottom: var(--s300);
  }
  .hero {
    gap: var(--s300);
    padding-bottom: var(--s400);
  }
  .benefit-list {
    gap: var(--s300);
  }
  .tagline-section {
    padding-block: var(--s500);
  }
  .platform-map {
    grid-template-columns: 1fr;
    gap: var(--s200);
  }
  .platform-connector {
    display: none;
  }
  .platform-lemmas {
    grid-column: 1;
    display: flex;
  }
  .platform-lemmas::before {
    display: none;
  }
  .platform-lemmas > .title-2 {
    display: none;
  }
  .platform-lemmas > .hub-node {
    display: grid;
  }
  .platform-input {
    padding: 0;
  }
  .platform-engine,
  .platform-lemmas {
    padding: var(--s200);
  }
  .final-cta {
    display: block;
    padding: var(--s300);
  }
  .final-cta > .eyebrow {
    margin-bottom: var(--s200);
  }
  .final-cta > .body-3 {
    margin-top: var(--s200);
  }
  .final-cta > .action-group {
    margin-top: var(--s300);
  }
  .final-cta > .caption-2 {
    margin-top: var(--s100);
  }
  .faq-grid {
    gap: var(--s300);
  }
  .nav .brand-name {
    display: none;
  }
  .nav .brand {
    gap: 0;
  }
  .nav-actions {
    margin-left: auto;
  }
}
@media (max-width: 480px) {
  .nav {
    gap: var(--s50);
  }
  .nav-actions {
    gap: var(--s50);
  }
  .nav-actions .btn {
    padding-inline: var(--s75);
    gap: var(--s50);
    font-size: 12px;
    line-height: 16px;
  }
  .nav-actions .icon {
    width: 12px;
    height: 12px;
  }
  .hero-copy > .eyebrow {
    margin-bottom: var(--s100);
  }
  .hero-note {
    margin-top: var(--s100);
  }
  .hub-preview {
    border-radius: 8px;
    padding: var(--s75);
  }
  .lemma-paper {
    padding: var(--s100);
  }
  .checked-row {
    margin-top: var(--s100);
  }
  .library-card {
    padding: var(--s200);
  }
  .library-row {
    padding-block: var(--s100);
  }
  .tagline-layout {
    gap: var(--s200);
  }
  .proof-strip {
    padding-block: var(--s200);
    gap: var(--s200);
  }
}