:root {
  color-scheme: dark;
  --bg: #0b0912;
  --bg-raised: #12101b;
  --bg-soft: #171420;
  --panel: rgba(24, 20, 34, 0.76);
  --panel-solid: #181522;
  --line: rgba(255, 255, 255, 0.1);
  --line-strong: rgba(255, 255, 255, 0.18);
  --text: #faf8ff;
  --text-soft: #d7d1df;
  --muted: #9d96aa;
  --pink: #ff5ca8;
  --violet: #9c72ff;
  --orange: #ff9d5c;
  --blue: #64a7ff;
  --green: #5ee6a8;
  --code: #100e17;
  --header-height: 72px;
  --sidebar-width: 292px;
  --page-width: 1240px;
  --content-width: 820px;
  --radius: 18px;
  --radius-small: 10px;
  --font-sans: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --font-mono: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
}

* {
  box-sizing: border-box;
}

html {
  background: var(--bg);
  scroll-behavior: smooth;
  scroll-padding-top: calc(var(--header-height) + 28px);
}

body {
  margin: 0;
  min-width: 320px;
  background: var(--bg);
  color: var(--text);
  font-family: var(--font-sans);
  font-size: 16px;
  line-height: 1.6;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}

a {
  color: inherit;
  text-decoration: none;
}

button,
input,
select {
  font: inherit;
}

button,
a {
  -webkit-tap-highlight-color: transparent;
}

code,
pre,
kbd {
  font-family: var(--font-mono);
}

.sr-only,
.skip-link:not(:focus) {
  position: absolute;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  overflow: hidden;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

.skip-link {
  position: fixed;
  top: 10px;
  left: 10px;
  z-index: 1000;
  padding: 10px 14px;
  border-radius: 8px;
  background: var(--text);
  color: var(--bg);
  font-weight: 700;
}

:focus-visible {
  outline: 2px solid var(--violet);
  outline-offset: 3px;
}

.site-header {
  position: sticky;
  top: 0;
  z-index: 100;
  height: var(--header-height);
  border-bottom: 1px solid var(--line);
  background: rgba(11, 9, 18, 0.82);
  backdrop-filter: blur(18px);
}

.header-inner {
  display: flex;
  align-items: center;
  gap: 32px;
  width: min(calc(100% - 40px), var(--page-width));
  height: 100%;
  margin: 0 auto;
}

.wordmark {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  flex: none;
  color: var(--text);
  font-size: 18px;
  font-weight: 750;
  letter-spacing: -0.025em;
}

.wordmark-symbol {
  display: grid;
  width: 31px;
  height: 31px;
  place-items: center;
  border: 1px solid rgba(255, 255, 255, 0.2);
  border-radius: 9px;
  background: linear-gradient(145deg, var(--pink), var(--violet) 55%, var(--blue));
  box-shadow: 0 8px 26px rgba(156, 114, 255, 0.22);
  color: white;
  font-size: 15px;
  font-weight: 850;
}

.primary-nav {
  display: flex;
  align-items: center;
  gap: 26px;
}

.primary-nav a,
.github-link {
  color: var(--text-soft);
  font-size: 14px;
  font-weight: 600;
}

.primary-nav a:hover,
.github-link:hover {
  color: var(--text);
}

.header-actions {
  display: flex;
  align-items: center;
  gap: 16px;
  margin-left: auto;
}

.github-link {
  display: inline-flex;
  align-items: center;
  gap: 8px;
}

.github-link svg {
  width: 19px;
  height: 19px;
}

.menu-toggle {
  display: none;
  width: 38px;
  height: 38px;
  padding: 9px;
  border: 1px solid var(--line-strong);
  border-radius: 9px;
  background: transparent;
  color: var(--text);
}

.menu-toggle span {
  display: block;
  width: 18px;
  height: 2px;
  margin: 3px 0;
  border-radius: 2px;
  background: currentColor;
}

.search-wrap {
  position: relative;
  width: min(270px, 24vw);
}

.search-wrap input {
  width: 100%;
  height: 40px;
  padding: 0 42px 0 14px;
  border: 1px solid var(--line);
  border-radius: 10px;
  background: rgba(255, 255, 255, 0.05);
  color: var(--text);
  font-size: 14px;
}

.search-wrap input::placeholder {
  color: var(--muted);
}

.search-wrap input:focus {
  border-color: rgba(156, 114, 255, 0.7);
  background: var(--panel-solid);
  outline: none;
}

.search-wrap kbd {
  position: absolute;
  top: 9px;
  right: 10px;
  display: grid;
  width: 22px;
  height: 22px;
  place-items: center;
  border: 1px solid var(--line-strong);
  border-radius: 6px;
  color: var(--muted);
  font-size: 12px;
}

.search-results {
  position: absolute;
  top: 48px;
  right: 0;
  width: min(430px, calc(100vw - 32px));
  max-height: min(520px, 70vh);
  overflow: auto;
  padding: 8px;
  border: 1px solid var(--line-strong);
  border-radius: 14px;
  background: #181521;
  box-shadow: 0 24px 70px rgba(0, 0, 0, 0.45);
}

.search-results a {
  display: block;
  padding: 11px 12px;
  border-radius: 9px;
}

.search-results a:hover,
.search-results a:focus-visible {
  background: rgba(255, 255, 255, 0.07);
}

.search-results strong,
.search-results small {
  display: block;
}

.search-results strong {
  color: var(--text);
  font-size: 14px;
}

.search-results small {
  margin-top: 2px;
  color: var(--muted);
  font-size: 12px;
}

.search-empty {
  padding: 16px;
  color: var(--muted);
  font-size: 14px;
}

.hero {
  position: relative;
  overflow: hidden;
  border-bottom: 1px solid var(--line);
}

.hero-grid {
  position: absolute;
  inset: 0;
  background-image:
    linear-gradient(rgba(255, 255, 255, 0.035) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255, 255, 255, 0.035) 1px, transparent 1px);
  background-size: 72px 72px;
  mask-image: linear-gradient(to bottom, black, transparent 88%);
}

.hero-glow {
  position: absolute;
  border-radius: 999px;
  filter: blur(90px);
  opacity: 0.28;
  pointer-events: none;
}

.hero-glow-one {
  top: 8%;
  left: -8%;
  width: 460px;
  height: 460px;
  background: var(--pink);
}

.hero-glow-two {
  right: -4%;
  bottom: 2%;
  width: 520px;
  height: 520px;
  background: var(--violet);
}

.hero-inner {
  position: relative;
  z-index: 1;
  width: min(calc(100% - 48px), var(--page-width));
  margin: 0 auto;
  padding: 46px 0 50px;
}

.hero-copy {
  max-width: 1050px;
}

.eyebrow {
  margin: 0 0 22px;
  color: #c3b6dc;
  font-size: 12px;
  font-weight: 800;
  letter-spacing: 0.17em;
  text-transform: uppercase;
}

.hero h1 {
  margin: 0;
  font-size: clamp(3.5rem, 5.2vw, 4.8rem);
  font-weight: 780;
  letter-spacing: -0.075em;
  line-height: 0.92;
}

.hero h1 span {
  display: block;
  white-space: nowrap;
}

.hero h1 strong {
  font-weight: inherit;
  -webkit-background-clip: text;
  background-clip: text;
  color: transparent;
}

.hero-details {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 44px;
  align-items: end;
  margin-top: 24px;
}

.hero-links {
  display: flex;
  align-items: flex-end;
  flex-direction: column;
}

.gradient-dotnet {
  background-image: linear-gradient(90deg, #ff6db2, #b678ff 55%, #7c9dff);
}

.gradient-rust {
  background-image: linear-gradient(90deg, #ff7a7a, #ff9f5a 48%, #ffd36d);
}

.gradient-mojo {
  background-image: linear-gradient(90deg, #ffcc8a, #ff819d 55%, #ee6acd);
}

.hero h1 .hero-targets {
  display: flex;
  flex-wrap: wrap;
  gap: 0 0.3em;
}

.hero-summary {
  max-width: 660px;
  margin: 0;
  color: var(--text-soft);
  font-size: clamp(1rem, 1.45vw, 1.16rem);
  line-height: 1.55;
}

.hero-summary code {
  color: #f0b9ff;
  font-size: 0.92em;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
  margin: 0;
}

.button {
  display: inline-flex;
  min-height: 48px;
  align-items: center;
  justify-content: center;
  padding: 0 20px;
  border: 1px solid var(--line-strong);
  border-radius: 11px;
  font-size: 14px;
  font-weight: 750;
  transition: transform 160ms ease, border-color 160ms ease, background 160ms ease;
}

.button:hover {
  transform: translateY(-2px);
}

.button-primary {
  border-color: transparent;
  background: var(--text);
  color: #110e18;
}

.button-secondary {
  background: rgba(255, 255, 255, 0.055);
  color: var(--text);
}

.button-secondary:hover {
  border-color: rgba(255, 255, 255, 0.32);
  background: rgba(255, 255, 255, 0.09);
}

.coming-line {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin: 10px 0 0;
  color: var(--muted);
  font-size: 13px;
}

.coming-line span {
  color: #cdbcf0;
  font-weight: 750;
}

.section-wrap {
  width: min(calc(100% - 48px), var(--page-width));
  margin: 0 auto;
  padding: 118px 0;
}

.section-heading {
  max-width: 720px;
  margin-bottom: 48px;
}

.section-heading h2,
.model-copy h2,
.docs-heading h2 {
  margin: 0;
  font-size: clamp(2.3rem, 4.5vw, 4.25rem);
  line-height: 1.04;
  letter-spacing: -0.055em;
}

.section-heading > p:last-child,
.model-copy > p {
  margin: 22px 0 0;
  color: var(--muted);
  font-size: 18px;
  line-height: 1.7;
}

.proof-section {
  padding-top: 38px;
  padding-bottom: 88px;
  border-bottom: 1px solid var(--line);
}

.proof-browser {
  overflow: hidden;
  border: 1px solid var(--line-strong);
  border-radius: 22px;
  background: #100e17;
  box-shadow: 0 36px 100px rgba(0, 0, 0, 0.35);
}

.proof-toolbar {
  display: none;
  min-height: 68px;
  align-items: center;
  justify-content: flex-start;
  gap: 24px;
  padding: 14px 18px;
  border-bottom: 1px solid var(--line);
  background: rgba(255, 255, 255, 0.025);
}

.proof-browser-ready .proof-toolbar {
  display: flex;
}

.proof-control-label {
  display: block;
  margin: 0 0 8px;
  color: var(--muted);
  font-size: 10px;
  font-weight: 800;
  letter-spacing: 0.14em;
  text-transform: uppercase;
}

.proof-targets {
  display: flex;
  gap: 5px;
  padding: 4px;
  border: 1px solid var(--line);
  border-radius: 10px;
  background: rgba(0, 0, 0, 0.25);
}

.proof-target-tab {
  min-width: 90px;
  padding: 7px 16px;
  border: 0;
  border-radius: 7px;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font-size: 13px;
  font-weight: 800;
}

.proof-target-tab[aria-pressed="true"] {
  background: linear-gradient(135deg, rgba(255, 92, 168, 0.2), rgba(156, 114, 255, 0.24));
  color: var(--text);
  box-shadow: inset 0 0 0 1px rgba(255, 255, 255, 0.12);
}

.proof-browser[data-active-target="rust"] .proof-target-tab[aria-pressed="true"] {
  background: linear-gradient(135deg, rgba(255, 122, 122, 0.2), rgba(255, 157, 92, 0.24));
}

.proof-status {
  display: grid;
  min-height: 340px;
  place-items: center;
  margin: 0;
  padding: 54px 24px;
  background:
    radial-gradient(circle at 50% 35%, rgba(156, 114, 255, 0.11), transparent 45%),
    linear-gradient(180deg, rgba(255, 255, 255, 0.018), transparent);
  color: var(--muted);
}

.proof-status[hidden] {
  display: none;
}

.proof-loader {
  width: min(100%, 500px);
  padding: 28px;
  border: 1px solid var(--line);
  border-radius: 16px;
  background: rgba(10, 9, 16, 0.78);
  box-shadow: 0 24px 70px rgba(0, 0, 0, 0.28);
}

.proof-loader-heading {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr) auto;
  align-items: center;
  gap: 14px;
}

.proof-loader-mark {
  display: flex;
  width: 42px;
  height: 42px;
  align-items: center;
  justify-content: center;
  gap: 3px;
  border: 1px solid rgba(156, 114, 255, 0.28);
  border-radius: 12px;
  background: linear-gradient(145deg, rgba(255, 92, 168, 0.16), rgba(100, 167, 255, 0.14));
}

.proof-loader-mark i {
  width: 4px;
  height: 14px;
  border-radius: 999px;
  background: linear-gradient(180deg, var(--pink), var(--violet));
  animation: proof-loader-pulse 900ms ease-in-out infinite alternate;
}

.proof-loader-mark i:nth-child(2) {
  height: 21px;
  animation-delay: 120ms;
}

.proof-loader-mark i:nth-child(3) {
  height: 10px;
  animation-delay: 240ms;
}

.proof-loader-heading strong,
.proof-loader-heading span {
  display: block;
}

.proof-loader-heading strong {
  color: var(--text);
  font-size: 16px;
  letter-spacing: -0.015em;
}

.proof-loader-heading [data-proof-progress-detail] {
  margin-top: 2px;
  color: var(--muted);
  font-size: 12px;
}

.proof-loader-heading output {
  color: var(--text-soft);
  font-family: var(--font-mono);
  font-size: 13px;
  font-variant-numeric: tabular-nums;
}

.proof-progress-track {
  height: 7px;
  margin-top: 20px;
  overflow: hidden;
  border: 1px solid rgba(255, 255, 255, 0.07);
  border-radius: 999px;
  background: rgba(255, 255, 255, 0.045);
}

.proof-progress-track > span {
  display: block;
  width: 0;
  height: 100%;
  border-radius: inherit;
  background: linear-gradient(90deg, var(--pink), var(--violet), var(--blue));
  box-shadow: 0 0 18px rgba(156, 114, 255, 0.5);
  transition: width 140ms ease-out;
}

.proof-noscript {
  margin: 0;
  padding: 70px 24px;
  color: var(--muted);
  text-align: center;
}

.proof-status-error {
  display: flex;
  min-height: 260px;
  align-items: center;
  flex-direction: column;
  justify-content: center;
  gap: 5px;
  color: #ff9eae;
  text-align: center;
}

.proof-error-title,
.proof-error-detail {
  display: block;
}

.proof-error-title {
  color: #ffb3bf;
}

.proof-error-detail {
  color: var(--muted);
  font-size: 13px;
}

.proof-workbench {
  display: none;
}

.proof-browser-ready .proof-workbench {
  display: grid;
  grid-template-columns: 254px minmax(0, 1fr);
}

.proof-project-rail {
  padding: 20px 14px;
  border-right: 1px solid var(--line);
  background: rgba(255, 255, 255, 0.018);
}

.proof-project-rail > .proof-control-label {
  margin-left: 10px;
}

.proof-projects {
  display: grid;
  gap: 5px;
}

.proof-project-option {
  width: 100%;
  padding: 12px 11px;
  border: 1px solid transparent;
  border-radius: 10px;
  background: transparent;
  color: var(--text-soft);
  cursor: pointer;
  text-align: left;
}

.proof-project-option:hover {
  background: rgba(255, 255, 255, 0.04);
}

.proof-project-option[aria-pressed="true"] {
  border-color: rgba(156, 114, 255, 0.3);
  background: rgba(156, 114, 255, 0.1);
}

.proof-browser[data-active-target="rust"] .proof-project-option[aria-pressed="true"] {
  border-color: rgba(255, 157, 92, 0.32);
  background: rgba(255, 157, 92, 0.09);
}

.proof-project-option strong,
.proof-project-option span {
  display: block;
}

.proof-project-option strong {
  color: var(--text);
  font-size: 13px;
}

.proof-project-option span {
  display: -webkit-box;
  margin-top: 3px;
  overflow: hidden;
  color: var(--muted);
  font-size: 11px;
  line-height: 1.45;
  -webkit-box-orient: vertical;
  -webkit-line-clamp: 2;
}

.proof-project-view {
  min-width: 0;
  padding: 24px;
}

.proof-project-header {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: 24px;
  margin-bottom: 20px;
}

.proof-project-header h3 {
  margin: 0;
  font-size: 25px;
  letter-spacing: -0.035em;
}

.proof-project-header p {
  max-width: 680px;
  margin: 7px 0 0;
  color: var(--muted);
  font-size: 14px;
}

.proof-provenance {
  flex: none;
  padding: 6px 9px;
  border: 1px solid var(--line);
  border-radius: 7px;
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: 10px;
}

.proof-code-grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 12px;
}

.proof-code-panel {
  min-width: 0;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 13px;
  background: #0a0910;
}

.proof-code-toolbar {
  display: flex;
  min-height: 59px;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding: 9px 11px 9px 14px;
  border-bottom: 1px solid var(--line);
  background: rgba(255, 255, 255, 0.025);
}

.proof-file-control {
  display: flex;
  min-width: 0;
  align-items: center;
  gap: 10px;
}

.proof-code-toolbar span {
  flex: none;
  color: var(--text-soft);
  font-size: 11px;
  font-weight: 800;
}

.proof-select-shell {
  position: relative;
  display: block;
  min-width: 0;
}

.proof-code-toolbar select {
  width: min(21vw, 245px);
  min-width: 0;
  height: 36px;
  padding: 0 34px 0 11px;
  appearance: none;
  border: 1px solid rgba(156, 114, 255, 0.26);
  border-radius: 9px;
  outline: 0;
  background: linear-gradient(180deg, #201b2c, #17131f);
  color: var(--text);
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: 10.5px;
  text-overflow: ellipsis;
  transition: border-color 150ms ease, box-shadow 150ms ease, background 150ms ease;
}

.proof-browser[data-active-target="rust"] .proof-code-toolbar select {
  border-color: rgba(255, 157, 92, 0.28);
}

.proof-code-toolbar select:hover {
  border-color: rgba(255, 255, 255, 0.24);
  background: linear-gradient(180deg, #262032, #191521);
}

.proof-code-toolbar select:focus-visible {
  border-color: var(--violet);
  box-shadow: 0 0 0 3px rgba(156, 114, 255, 0.16);
}

.proof-browser[data-active-target="rust"] .proof-code-toolbar select:focus-visible {
  border-color: var(--orange);
  box-shadow: 0 0 0 3px rgba(255, 157, 92, 0.14);
}

.proof-select-shell svg {
  position: absolute;
  top: 50%;
  right: 10px;
  width: 14px;
  height: 14px;
  pointer-events: none;
  stroke: var(--muted);
  stroke-width: 1.8;
  fill: none;
  transform: translateY(-50%);
}

.proof-code-toolbar button {
  flex: none;
  padding: 6px 9px;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font-size: 10px;
  font-weight: 750;
}

.proof-code-toolbar button:hover {
  border-color: var(--line-strong);
  color: var(--text);
}

.proof-code-panel pre {
  height: 520px;
  margin: 0;
  overflow: auto;
  padding: 14px 0 20px;
  color: #ded8e6;
  font-size: 12px;
  line-height: 1.66;
  tab-size: 2;
}

.proof-code-panel code {
  display: table;
  min-width: 100%;
}

.proof-code-line {
  display: table-row;
}

.proof-line-number,
.proof-line-source {
  display: table-cell;
  white-space: pre;
}

.proof-line-number {
  width: 1%;
  padding: 0 13px;
  border-right: 1px solid rgba(255, 255, 255, 0.055);
  color: #57515f;
  text-align: right;
  user-select: none;
}

.proof-line-source {
  padding: 0 18px;
}

.proof-token-comment {
  color: #7f778b;
  font-style: italic;
}

.proof-token-keyword,
.proof-token-directive {
  color: #db8cff;
}

.proof-browser[data-active-target="rust"] .proof-token-keyword,
.proof-browser[data-active-target="rust"] .proof-token-directive {
  color: #ff9f77;
}

.proof-token-string {
  color: #a9dd8e;
}

.proof-token-number {
  color: #8dcfff;
}

.proof-token-type {
  color: #f0c77b;
}

.proof-token-operator {
  color: #b7a8ff;
}

.proof-token-lifetime {
  color: #71d9c2;
}

@keyframes proof-loader-pulse {
  from { transform: scaleY(0.72); opacity: 0.58; }
  to { transform: scaleY(1); opacity: 1; }
}

.model-section {
  display: grid;
  grid-template-columns: 280px minmax(0, 1fr);
  gap: clamp(40px, 6vw, 82px);
  align-items: start;
  padding-top: 82px;
  padding-bottom: 82px;
  border-bottom: 1px solid var(--line);
}

.docs-heading .eyebrow {
  margin-bottom: 14px;
}

.model-copy h2,
.docs-heading h2 {
  font-size: clamp(2rem, 3.3vw, 3rem);
}

.model-copy > p {
  margin-top: 16px;
  font-size: 15px;
  line-height: 1.6;
}

.text-link {
  display: inline-flex;
  gap: 8px;
  margin-top: 18px;
  color: #cfbcff;
  font-weight: 700;
}

.text-link:hover {
  color: white;
}

.model-steps {
  display: grid;
  grid-template-columns: 1.05fr 1fr 0.95fr;
  margin: 0;
  padding: 0;
  border-top: 1px solid var(--line);
  border-bottom: 1px solid var(--line);
  list-style: none;
}

.model-steps > li {
  min-width: 0;
  padding: 22px;
  border-right: 1px solid var(--line);
}

.model-steps > li:first-child {
  padding-left: 0;
}

.model-steps > li:last-child {
  padding-right: 0;
  border-right: 0;
}

.model-step-title {
  display: flex;
  gap: 12px;
  align-items: baseline;
  margin-bottom: 18px;
}

.model-step-title span {
  color: var(--muted);
  font-family: var(--font-mono);
  font-size: 11px;
}

.model-step-title strong {
  font-size: 15px;
}

.model-file,
.model-command,
.model-output,
.model-steps pre {
  display: block;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 7px;
  background: var(--code);
  font-family: var(--font-mono);
  font-size: 11px;
  line-height: 1.5;
}

.model-file {
  width: fit-content;
  margin-bottom: 7px;
  padding: 3px 7px;
  border-color: rgba(156, 114, 255, 0.22);
  background: rgba(156, 114, 255, 0.08);
  color: #cdbcf0;
}

.model-steps pre {
  margin: 0;
  padding: 11px 12px;
  overflow-x: auto;
  color: #d9d2e2;
  white-space: pre;
}

.model-output {
  display: grid;
  grid-template-columns: 34px minmax(0, 1fr);
  gap: 8px;
  align-items: center;
  padding: 9px 10px;
}

.model-output + .model-output,
.model-command + .model-command {
  margin-top: 7px;
}

.model-output span {
  color: #b9acc8;
  font-weight: 750;
}

.model-output code {
  color: #e0d8e8;
  overflow-wrap: anywhere;
}

.model-command {
  padding: 9px 10px;
  color: #cbd9f8;
  white-space: normal;
}

.docs-section {
  display: grid;
  grid-template-columns: 280px minmax(0, 1fr);
  gap: clamp(40px, 6vw, 82px);
  padding-top: 72px;
  padding-bottom: 72px;
}

.docs-links {
  display: grid;
  grid-template-columns: 1fr 1fr;
  border-top: 1px solid var(--line);
}

.docs-links a {
  display: flex;
  min-width: 0;
  align-items: center;
  justify-content: space-between;
  gap: 16px;
  min-height: 76px;
  padding: 14px 16px;
  border-bottom: 1px solid var(--line);
  transition: background 160ms ease;
}

.docs-links a:nth-child(odd) {
  padding-left: 0;
  border-right: 1px solid var(--line);
}

.docs-links a:hover {
  background: rgba(255, 255, 255, 0.045);
}

.docs-links span,
.docs-links strong,
.docs-links small {
  display: block;
}

.docs-links strong {
  color: var(--text);
  font-size: 15px;
}

.docs-links small {
  margin-top: 3px;
  color: var(--muted);
  font-size: 12px;
}

.docs-links b {
  color: #c9b8ef;
  font-size: 17px;
}

.site-footer {
  border-top: 1px solid var(--line);
  background: #08070d;
}

.footer-inner {
  display: grid;
  grid-template-columns: auto 1fr auto;
  gap: 28px;
  align-items: center;
  width: min(calc(100% - 48px), var(--page-width));
  min-height: 118px;
  margin: 0 auto;
}

.footer-inner p {
  color: var(--muted);
  font-size: 13px;
}

.footer-inner nav {
  display: flex;
  gap: 20px;
  color: var(--muted);
  font-size: 12px;
}

.footer-inner nav a:hover {
  color: var(--text);
}

.footer-wordmark {
  font-size: 15px;
}

.footer-wordmark .wordmark-symbol {
  width: 27px;
  height: 27px;
  font-size: 12px;
}

.docs-shell {
  display: grid;
  grid-template-columns: var(--sidebar-width) minmax(0, 1fr);
  width: min(100%, 1500px);
  min-height: calc(100vh - var(--header-height));
  margin: 0 auto;
}

.sidebar {
  position: sticky;
  top: var(--header-height);
  height: calc(100vh - var(--header-height));
  border-right: 1px solid var(--line);
  background: rgba(11, 9, 18, 0.96);
}

.sidebar-scroll {
  height: 100%;
  overflow: auto;
  padding: 30px 22px 46px;
  scrollbar-width: thin;
  scrollbar-color: #3f384b transparent;
}

.sidebar-brand {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  margin-bottom: 28px;
  padding: 0 8px 20px;
  border-bottom: 1px solid var(--line);
}

.sidebar-brand span {
  font-size: 14px;
  font-weight: 750;
}

.sidebar-brand a {
  color: var(--muted);
  font-size: 12px;
}

.sidebar-brand a:hover {
  color: var(--text);
}

.docs-target-control {
  display: grid;
  gap: 8px;
  margin: 0 8px 26px;
  color: var(--muted);
  font-size: 12px;
}

.docs-target-control select {
  width: 100%;
  padding: 11px 12px;
  border: 1px solid #4a3d60;
  border-radius: 9px;
  background: #1c1628;
  color: var(--text);
  font: inherit;
  font-size: 14px;
  font-weight: 650;
  cursor: pointer;
  color-scheme: dark;
}

.docs-target-control select:focus-visible {
  outline: 2px solid var(--violet);
  outline-offset: 3px;
}

.docs-target-links {
  display: flex;
  gap: 14px;
  margin: 0 8px 20px;
}

.target-chapters[hidden] {
  display: none;
}

.target-chapters h3 {
  margin: 18px 8px 6px;
  color: var(--text);
  font-size: 12px;
  font-weight: 650;
}

.nav-group + .nav-group {
  margin-top: 28px;
}

.nav-group h2 {
  margin: 0 0 8px;
  padding: 0 8px;
  color: #8f879b;
  font-size: 11px;
  font-weight: 800;
  letter-spacing: 0.12em;
  text-transform: uppercase;
}

.nav-group ul {
  margin: 0;
  padding: 0;
  list-style: none;
}

.nav-group a,
.nav-root-link {
  display: block;
  padding: 7px 9px;
  border-radius: 7px;
  color: #b7b0c0;
  font-size: 13px;
  line-height: 1.35;
}

.nav-group a:hover,
.nav-root-link:hover {
  background: rgba(255, 255, 255, 0.045);
  color: var(--text);
}

.nav-group a.active,
.nav-root-link.active {
  background: rgba(156, 114, 255, 0.12);
  color: #e2d8ff;
  font-weight: 700;
}

.sidebar-mobile-head {
  display: none;
}

.sidebar-overlay {
  display: none;
}

.docs-main {
  min-width: 0;
  background:
    radial-gradient(circle at 100% 0, rgba(156, 114, 255, 0.06), transparent 28rem),
    var(--bg);
}

.doc-article {
  width: min(calc(100% - 72px), var(--content-width));
  min-height: calc(100vh - var(--header-height) - 118px);
  margin: 0 auto;
  padding: 44px 0 100px;
}

.doc-toolbar {
  display: flex;
  justify-content: space-between;
  gap: 24px;
  align-items: center;
  min-height: 34px;
  margin-bottom: 38px;
  padding-bottom: 18px;
  border-bottom: 1px solid var(--line);
}

.breadcrumbs {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  align-items: center;
  color: var(--muted);
  font-size: 12px;
}

.breadcrumbs a:hover {
  color: var(--text);
}

.breadcrumbs > span:last-child {
  color: var(--text-soft);
}

.edit-link {
  flex: none;
  color: var(--muted);
  font-size: 12px;
}

.edit-link:hover {
  color: var(--text);
}

.prose {
  color: var(--text-soft);
  font-size: 16px;
  line-height: 1.75;
}

.prose > :first-child {
  margin-top: 0;
}

.prose h1,
.prose h2,
.prose h3,
.prose h4 {
  color: var(--text);
  font-weight: 730;
  letter-spacing: -0.035em;
  line-height: 1.2;
}

.prose h1 {
  margin: 0 0 28px;
  font-size: clamp(2.5rem, 5vw, 4rem);
  letter-spacing: -0.055em;
}

.prose h2 {
  margin: 62px 0 18px;
  padding-top: 6px;
  font-size: 29px;
}

.prose h3 {
  margin: 38px 0 14px;
  font-size: 21px;
}

.prose h4 {
  margin: 30px 0 10px;
  font-size: 17px;
}

.prose p,
.prose ul,
.prose ol,
.prose table,
.prose blockquote,
.prose pre {
  margin-top: 0;
  margin-bottom: 22px;
}

.prose a {
  color: #c7b1ff;
  text-decoration: underline;
  text-decoration-color: rgba(199, 177, 255, 0.35);
  text-underline-offset: 3px;
}

.prose a:hover {
  color: white;
  text-decoration-color: currentColor;
}

.prose strong {
  color: var(--text);
}

.prose ul,
.prose ol {
  padding-left: 25px;
}

.prose li {
  margin: 8px 0;
  padding-left: 4px;
}

.prose li::marker {
  color: #8e79bd;
}

.prose :not(pre) > code {
  padding: 0.16em 0.38em;
  border: 1px solid var(--line);
  border-radius: 5px;
  background: rgba(255, 255, 255, 0.055);
  color: #e9ddff;
  font-size: 0.87em;
  overflow-wrap: anywhere;
}

.prose pre {
  overflow: auto;
  padding: 20px 22px;
  border: 1px solid var(--line);
  border-radius: 12px;
  background: var(--code);
  color: #e7e0ef;
  font-size: 13px;
  line-height: 1.65;
  scrollbar-width: thin;
}

.prose pre code {
  font-size: inherit;
}

.prose blockquote {
  padding: 2px 0 2px 20px;
  border-left: 3px solid var(--violet);
  color: #c2b9cb;
}

.prose blockquote p:last-child {
  margin-bottom: 0;
}

.prose table {
  display: block;
  width: 100%;
  overflow-x: auto;
  border-collapse: collapse;
  border-spacing: 0;
  font-size: 14px;
}

.prose th,
.prose td {
  min-width: 130px;
  padding: 11px 13px;
  border: 1px solid var(--line);
  text-align: left;
  vertical-align: top;
}

.prose th {
  background: rgba(255, 255, 255, 0.045);
  color: var(--text);
  font-size: 12px;
}

.prose hr {
  height: 1px;
  margin: 52px 0;
  border: 0;
  background: var(--line);
}

.section-pages {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 10px;
  margin-top: 42px;
}

.section-pages a {
  display: flex;
  justify-content: space-between;
  gap: 18px;
  padding: 16px 18px;
  border: 1px solid var(--line);
  border-radius: 10px;
  color: var(--text-soft);
  font-size: 14px;
}

.section-pages a:hover {
  border-color: var(--line-strong);
  background: rgba(255, 255, 255, 0.035);
  color: var(--text);
}

@media (max-width: 1100px) {
  .hero h1 {
    font-size: clamp(3.5rem, 7vw, 4.5rem);
  }

  .model-section,
  .docs-section {
    grid-template-columns: 1fr;
    gap: 36px;
  }

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

  .proof-code-panel pre {
    height: 430px;
  }

  .search-wrap {
    width: 210px;
  }
}

@media (max-width: 860px) {
  :root {
    --header-height: 64px;
  }

  .header-inner {
    width: calc(100% - 28px);
    gap: 14px;
  }

  .primary-nav {
    display: none;
  }

  .home-page .primary-nav {
    display: flex;
    margin-left: auto;
  }

  .home-page .header-actions {
    margin-left: 0;
  }

  .github-link span {
    display: none;
  }

  .menu-toggle {
    display: block;
    flex: none;
  }

  .search-wrap {
    width: min(46vw, 260px);
  }

  .docs-shell {
    display: block;
  }

  .sidebar {
    position: fixed;
    top: 0;
    left: 0;
    z-index: 300;
    width: min(88vw, 330px);
    height: 100vh;
    border-right-color: var(--line-strong);
    box-shadow: 30px 0 80px rgba(0, 0, 0, 0.5);
    transform: translateX(-105%);
    transition: transform 190ms ease;
  }

  .nav-open .sidebar {
    transform: translateX(0);
  }

  .sidebar-scroll {
    height: calc(100% - 64px);
    padding-top: 22px;
  }

  .sidebar-mobile-head {
    display: flex;
    align-items: center;
    justify-content: space-between;
    height: 64px;
    padding: 0 20px;
    border-bottom: 1px solid var(--line);
    font-size: 14px;
    font-weight: 750;
  }

  .menu-close {
    border: 0;
    background: transparent;
    color: var(--muted);
    font-size: 13px;
  }

  .sidebar-overlay {
    position: fixed;
    inset: 0;
    z-index: 250;
    background: rgba(0, 0, 0, 0.62);
  }

  .nav-open .sidebar-overlay {
    display: block;
  }

  .nav-open {
    overflow: hidden;
  }

  .proof-browser-ready .proof-workbench {
    grid-template-columns: 1fr;
  }

  .proof-project-rail {
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

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

@media (max-width: 680px) {
  .header-inner,
  .section-wrap,
  .footer-inner {
    width: calc(100% - 32px);
  }

  .home-page .primary-nav a:not(:first-child) {
    display: none;
  }

  .home-page .github-link {
    display: none;
  }

  .hero-inner {
    width: calc(100% - 32px);
    padding: 34px 0 38px;
  }

  .hero h1 {
    font-size: clamp(2.65rem, 12vw, 3.5rem);
    line-height: 0.95;
  }

  .hero h1 span {
    white-space: normal;
  }

  .hero-summary {
    font-size: 16px;
  }

  .hero-details {
    grid-template-columns: 1fr;
    gap: 20px;
    margin-top: 20px;
  }

  .hero-links {
    align-items: flex-start;
  }

  .docs-links,
  .model-steps,
  .section-pages {
    grid-template-columns: 1fr;
  }

  .section-wrap {
    padding: 64px 0;
  }

  .proof-section {
    padding: 24px 0 60px;
  }

  .model-section,
  .docs-section {
    padding-top: 60px;
    padding-bottom: 60px;
  }

  .proof-toolbar,
  .proof-project-header {
    align-items: flex-start;
    flex-direction: column;
  }

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

  .proof-project-view {
    padding: 18px;
  }

  .proof-provenance {
    align-self: flex-start;
  }

  .proof-file-control {
    align-items: flex-start;
    flex-direction: column;
    gap: 5px;
  }

  .proof-code-toolbar select {
    width: min(62vw, 240px);
  }

  .proof-loader {
    padding: 22px;
  }

  .proof-loader-heading {
    grid-template-columns: auto minmax(0, 1fr);
  }

  .proof-loader-heading output {
    grid-column: 2;
  }

  .proof-code-panel pre {
    height: 360px;
  }

  .model-steps > li,
  .model-steps > li:first-child,
  .model-steps > li:last-child {
    padding: 20px 0;
    border-right: 0;
    border-bottom: 1px solid var(--line);
  }

  .model-steps > li:last-child {
    border-bottom: 0;
  }

  .docs-links a,
  .docs-links a:nth-child(odd) {
    padding: 14px 0;
    border-right: 0;
  }

  .footer-inner {
    display: flex;
    flex-direction: column;
    align-items: flex-start;
    gap: 12px;
    padding: 32px 0;
  }

  .footer-inner p {
    margin: 0;
  }

  .footer-inner nav {
    flex-wrap: wrap;
  }

  .search-wrap {
    width: min(48vw, 220px);
  }

  .search-wrap kbd {
    display: none;
  }

  .search-wrap input {
    padding-right: 12px;
  }

  .wordmark > span:last-child {
    display: none;
  }

  .doc-article {
    width: calc(100% - 34px);
    padding-top: 30px;
  }

  .doc-toolbar {
    align-items: flex-start;
  }

  .prose h1 {
    font-size: 2.55rem;
  }

  .prose h2 {
    font-size: 25px;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  *,
  *::before,
  *::after {
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    scroll-behavior: auto !important;
    transition-duration: 0.01ms !important;
  }
}

@media print {
  .site-header,
  .sidebar,
  .site-footer,
  .doc-toolbar {
    display: none !important;
  }

  body,
  .docs-main {
    background: white;
    color: black;
  }

  .docs-shell {
    display: block;
  }

  .doc-article {
    width: 100%;
    padding: 0;
  }

  .prose,
  .prose h1,
  .prose h2,
  .prose h3,
  .prose strong {
    color: black;
  }
}