/* mlambda.css — the MLambda look (mlambda.net), dressed for learning.
 *
 * THE PALETTE IS MLAMBDA'S: a deep navy ground, sky and violet accents, amber for warmth, set in
 * Manrope, Inter and JetBrains Mono. What this file adds is COLOUR AS WAYFINDING. Every section of
 * the site has its own hue, so a reader always knows which shelf they are on:
 *
 *   Ideas     teal      why it matters — the essays
 *   Hilbert   sky       how the language works — read first
 *   L1        emerald   novice
 *   L2        violet    practitioner
 *   L3        amber     advanced
 *   Capstone  fuchsia   the actuarial decision
 */

/* ── tokens ─────────────────────────────────────────────────────────────────────────────── */

:root {
  --ml-display: "Manrope", "Segoe UI", Helvetica, Arial, sans-serif;
  --ml-body: "Inter", "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  --ml-mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;

  --md-text-font-family: var(--ml-body);
  --md-code-font-family: var(--ml-mono);
}

[data-md-color-scheme="slate"] {
  --ml-ground: #0a0f1e;
  --ml-surface: #111a2e;
  --ml-surface-2: #16213a;
  --ml-ink: #eef2ff;
  --ml-muted: #94a3b8;
  --ml-rule: #1f2a44;

  --ml-hilbert: #7dd3fc;
  --ml-l1: #6ee7b7;
  --ml-l2: #a78bfa;
  --ml-l3: #fbbf24;
  --ml-capstone: #f0abfc;
  --ml-ideas: #5eead4;
  --ml-glow: rgba(125, 211, 252, 0.16);
  --ml-glow-2: rgba(167, 139, 250, 0.14);

  --md-hue: 225;
  --md-default-bg-color: var(--ml-ground);
  --md-default-fg-color: var(--ml-ink);
  --md-default-fg-color--light: #c7d2fe;
  --md-default-fg-color--lighter: var(--ml-muted);
  --md-default-fg-color--lightest: var(--ml-rule);
  --md-primary-fg-color: var(--ml-ground);
  --md-primary-bg-color: var(--ml-ink);
  --md-accent-fg-color: var(--ml-section);
  --md-typeset-color: #dbe3f5;
  --md-typeset-a-color: var(--ml-section);
  --md-code-bg-color: var(--ml-surface);
  --md-code-fg-color: #dbe4ff;
  --md-code-hl-keyword-color: #a78bfa;
  --md-code-hl-string-color: #6ee7b7;
  --md-code-hl-number-color: #fbbf24;
  --md-code-hl-comment-color: #64748b;
  --md-code-hl-function-color: #7dd3fc;
  --md-code-hl-name-color: #eef2ff;
  --md-code-hl-operator-color: #f0abfc;
  --md-code-hl-punctuation-color: #94a3b8;
  --md-footer-bg-color: #070b16;
  --md-footer-bg-color--dark: #050811;
  --md-typeset-table-color: var(--ml-rule);
}

[data-md-color-scheme="default"] {
  --ml-ground: #f8fafc;
  --ml-surface: #ffffff;
  --ml-surface-2: #f1f5f9;
  --ml-ink: #0f172a;
  --ml-muted: #475569;
  --ml-rule: #e2e8f0;

  --ml-hilbert: #0369a1;
  --ml-l1: #047857;
  --ml-l2: #6d28d9;
  --ml-l3: #b45309;
  --ml-capstone: #a21caf;
  --ml-ideas: #0f766e;
  --ml-glow: rgba(3, 105, 161, 0.10);
  --ml-glow-2: rgba(109, 40, 217, 0.08);

  --md-default-bg-color: var(--ml-ground);
  --md-default-fg-color: var(--ml-ink);
  --md-default-fg-color--light: #334155;
  --md-default-fg-color--lighter: var(--ml-muted);
  --md-default-fg-color--lightest: var(--ml-rule);
  --md-primary-fg-color: #0a0f1e;
  --md-primary-bg-color: #eef2ff;
  --md-accent-fg-color: var(--ml-section);
  --md-typeset-color: #1e293b;
  --md-typeset-a-color: var(--ml-section);
  --md-code-bg-color: #0f172a;
  --md-code-fg-color: #dbe4ff;
  --md-code-hl-keyword-color: #c4b5fd;
  --md-code-hl-string-color: #6ee7b7;
  --md-code-hl-number-color: #fcd34d;
  --md-code-hl-comment-color: #64748b;
  --md-code-hl-function-color: #7dd3fc;
  --md-code-hl-name-color: #eef2ff;
  --md-code-hl-operator-color: #f0abfc;
  --md-code-hl-punctuation-color: #94a3b8;
  --md-footer-bg-color: #0a0f1e;
  --md-footer-bg-color--dark: #070b16;
}

/* The colour of the shelf a page sits on. `data-section` is on <html>, the palette on <body>, and a
 * custom property resolves where it is declared, so the mapping is declared on <body>. */
[data-md-color-scheme] { --ml-section: var(--ml-hilbert); --ml-section-2: var(--ml-l2); }
[data-section="L1-novice"] [data-md-color-scheme] { --ml-section: var(--ml-l1); --ml-section-2: var(--ml-hilbert); }
[data-section="L2-practitioner"] [data-md-color-scheme] { --ml-section: var(--ml-l2); --ml-section-2: var(--ml-capstone); }
[data-section="L3-advanced"] [data-md-color-scheme] { --ml-section: var(--ml-l3); --ml-section-2: var(--ml-capstone); }
[data-section="actuarial"] [data-md-color-scheme] { --ml-section: var(--ml-capstone); --ml-section-2: var(--ml-l2); }
[data-section="airline"] [data-md-color-scheme] { --ml-section: var(--ml-capstone); --ml-section-2: var(--ml-hilbert); }
[data-section="ideas"] [data-md-color-scheme] { --ml-section: var(--ml-ideas); --ml-section-2: var(--ml-hilbert); }

/* ── chrome ─────────────────────────────────────────────────────────────────────────────── */

html { font-size: 106.25%; }

body { background: var(--ml-ground); }

.md-header,
.md-tabs {
  background-color: color-mix(in srgb, #0a0f1e 88%, transparent);
  backdrop-filter: saturate(140%) blur(10px);
  color: #eef2ff;
}

.md-header { border-bottom: 1px solid #1f2a44; box-shadow: none; }
.md-tabs { border-bottom: 1px solid #1f2a44; }

.md-header__title,
.md-header__topic,
.md-nav__title {
  font-family: var(--ml-display);
  font-weight: 800;
  letter-spacing: -0.01em;
}

.md-header__button.md-logo img,
.md-header__button.md-logo svg { height: 1.7rem; border-radius: 0.4rem; }

.md-tabs__link {
  font-family: var(--ml-display);
  font-weight: 700;
  font-size: 0.72rem;
  opacity: 0.72;
  transition: opacity 120ms ease, color 120ms ease;
}

.md-tabs__link:hover,
.md-tabs__item--active .md-tabs__link { opacity: 1; color: #eef2ff; }

/* Each tab carries its section's colour as a small underline. */
.md-tabs__item { position: relative; }
.md-tabs__item::after {
  content: "";
  position: absolute;
  left: 0.6rem; right: 0.6rem; bottom: 0.35rem;
  height: 2px;
  border-radius: 2px;
  background: transparent;
  transition: background 150ms ease;
}
.md-tabs__item:nth-child(2)::after { background: color-mix(in srgb, #5eead4 45%, transparent); }
.md-tabs__item:nth-child(3)::after { background: color-mix(in srgb, #7dd3fc 45%, transparent); }
.md-tabs__item:nth-child(4)::after { background: color-mix(in srgb, #6ee7b7 45%, transparent); }
.md-tabs__item:nth-child(5)::after { background: color-mix(in srgb, #a78bfa 45%, transparent); }
.md-tabs__item:nth-child(6)::after { background: color-mix(in srgb, #fbbf24 45%, transparent); }
.md-tabs__item:nth-child(7)::after { background: color-mix(in srgb, #f0abfc 45%, transparent); }
.md-tabs__item--active::after { background: var(--ml-section) !important; }

.md-nav__link--active,
.md-nav__item .md-nav__link--active { color: var(--ml-section); font-weight: 600; }

.md-nav__item--section > .md-nav__link {
  font-family: var(--ml-display);
  font-weight: 800;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  font-size: 0.66rem;
  color: var(--ml-section);
}

.md-search__form { border-radius: 0.6rem; }

.md-footer-meta { border-top: 1px solid #1f2a44; }
.md-copyright a { color: #7dd3fc; }

/* ── typography ─────────────────────────────────────────────────────────────────────────── */

.md-typeset {
  font-size: 0.84rem;
  line-height: 1.72;
}

.md-typeset h1,
.md-typeset h2,
.md-typeset h3,
.md-typeset h4 {
  font-family: var(--ml-display);
  color: var(--md-default-fg-color);
  letter-spacing: -0.02em;
}

.md-typeset h1 {
  font-weight: 800;
  font-size: 2.15rem;
  line-height: 1.15;
  margin-bottom: 1.1rem;
  padding-bottom: 0.7rem;
  background: linear-gradient(90deg, var(--ml-section), var(--ml-section-2)) bottom left / 4.5rem 3px no-repeat;
}

.md-typeset h2 {
  font-weight: 800;
  font-size: 1.45rem;
  margin-top: 2.6rem;
  padding-left: 0.8rem;
  border-left: 4px solid var(--ml-section);
}

.md-typeset h3 {
  font-weight: 700;
  font-size: 1.1rem;
  color: var(--ml-section);
}

.md-typeset hr {
  border-bottom: 1px solid var(--ml-rule);
  margin: 2.4rem 0;
}

.md-typeset a { text-decoration: underline; text-decoration-color: color-mix(in srgb, var(--ml-section) 35%, transparent); text-underline-offset: 0.2em; }
.md-typeset a:hover { text-decoration-color: var(--ml-section); }
.md-typeset .headerlink { text-decoration: none; }

.md-typeset strong { color: var(--md-default-fg-color); font-weight: 650; }

.md-typeset blockquote {
  border-left: 4px solid var(--ml-section-2);
  background: color-mix(in srgb, var(--ml-section-2) 7%, transparent);
  color: var(--md-typeset-color);
  border-radius: 0 0.6rem 0.6rem 0;
  padding: 0.4rem 1rem;
}

/* ── the level badge the build hook puts on every page ──────────────────────────────────── */

.md-typeset .ml-badge {
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  margin: 0 0 0.9rem;
  padding: 0.2rem 0.75rem 0.2rem 0.55rem;
  border-radius: 999px;
  font-family: var(--ml-display);
  font-weight: 800;
  font-size: 0.64rem;
  letter-spacing: 0.1em;
  text-transform: uppercase;
  color: var(--ml-section);
  background: color-mix(in srgb, var(--ml-section) 12%, transparent);
  border: 1px solid color-mix(in srgb, var(--ml-section) 35%, transparent);
}

.md-typeset .ml-badge::before {
  content: "";
  width: 0.5rem; height: 0.5rem;
  border-radius: 50%;
  background: var(--ml-section);
  box-shadow: 0 0 0.6rem var(--ml-section);
}

/* ── code ───────────────────────────────────────────────────────────────────────────────── */

.md-typeset code {
  font-size: 0.82em;
  border-radius: 0.35rem;
  padding: 0.1em 0.38em;
  color: var(--md-default-fg-color);
  background: color-mix(in srgb, var(--ml-section) 10%, var(--ml-surface-2));
}

.md-typeset pre {
  border-radius: 0.8rem;
  border: 1px solid #1f2a44;
  box-shadow: 0 14px 40px -24px rgba(3, 7, 18, 0.9);
}

.md-typeset pre > code {
  padding: 1rem 1.2rem;
  font-size: 0.8rem;
  line-height: 1.65;
  color: var(--md-code-fg-color);
  background: var(--md-code-bg-color);
}

/* A Hilbert block gets a thin rainbow edge and a dialect label (set by hilbert.js). */
.md-typeset .highlight.ml-hilbert pre {
  border-top: 2px solid transparent;
  background:
    linear-gradient(var(--md-code-bg-color), var(--md-code-bg-color)) padding-box,
    linear-gradient(90deg, var(--ml-section), var(--ml-section-2)) border-box;
}

.md-typeset .highlight.ml-hilbert { position: relative; }
.md-typeset .highlight.ml-hilbert::before {
  content: attr(data-dialect);
  position: absolute;
  top: 0.45rem; right: 2.6rem;
  z-index: 1;
  font-family: var(--ml-mono);
  font-size: 0.6rem;
  letter-spacing: 0.06em;
  color: #94a3b8;
  opacity: 0.85;
}

.ml-kw { color: #c4b5fd; font-weight: 500; }
.ml-sym { color: #f0abfc; }
.ml-num { color: #fcd34d; }
.ml-com { color: #64748b; font-style: italic; }
.ml-str { color: #6ee7b7; }
.ml-tac { color: #7dd3fc; }
.ml-ok { color: #6ee7b7; font-weight: 600; }
.ml-bad { color: #fda4af; font-weight: 600; }

/* ── tables ─────────────────────────────────────────────────────────────────────────────── */

.md-typeset table:not([class]) {
  border: 1px solid var(--ml-rule);
  border-radius: 0.7rem;
  overflow: hidden;
  font-size: 0.78rem;
  box-shadow: none;
}

.md-typeset table:not([class]) th {
  font-family: var(--ml-display);
  font-weight: 800;
  background: color-mix(in srgb, var(--ml-section) 12%, var(--ml-surface));
  color: var(--md-default-fg-color);
  border-bottom: 2px solid color-mix(in srgb, var(--ml-section) 50%, transparent);
}

.md-typeset table:not([class]) tr:hover { background: color-mix(in srgb, var(--ml-section) 5%, transparent); }

/* ── home ───────────────────────────────────────────────────────────────────────────────── */

[data-section="home"] .md-content__inner { margin-top: 0; }
[data-section="home"] .md-content__inner > h1,
[data-section="home"] .md-content__button { display: none; }
[data-section="home"] .md-main__inner { margin-top: 0; }

.ml-hero {
  position: relative;
  margin: 0 -0.8rem 2.6rem;
  padding: 3.6rem 1.8rem 3rem;
  border-radius: 0 0 1.6rem 1.6rem;
  overflow: hidden;
  isolation: isolate;
}

.ml-hero::before {
  content: "";
  position: absolute;
  inset: -30% -10% auto -10%;
  height: 130%;
  z-index: -1;
  background:
    radial-gradient(38rem 20rem at 18% 30%, var(--ml-glow), transparent 70%),
    radial-gradient(30rem 18rem at 82% 20%, var(--ml-glow-2), transparent 70%),
    radial-gradient(22rem 14rem at 60% 90%, color-mix(in srgb, var(--ml-l1) 10%, transparent), transparent 70%);
}

.ml-hero::after {
  content: "";
  position: absolute;
  inset: 0;
  z-index: -1;
  background-image: radial-gradient(color-mix(in srgb, var(--md-default-fg-color) 12%, transparent) 1px, transparent 1px);
  background-size: 22px 22px;
  mask-image: linear-gradient(to bottom, black, transparent 85%);
  opacity: 0.35;
}

.ml-hero__grid {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 2rem;
  align-items: center;
}

.md-typeset .ml-eyebrow {
  display: inline-block;
  margin: 0 0 1rem;
  font-family: var(--ml-mono);
  font-size: 0.68rem;
  letter-spacing: 0.08em;
  color: var(--ml-hilbert);
  padding: 0.2rem 0.7rem;
  border-radius: 999px;
  border: 1px solid color-mix(in srgb, var(--ml-hilbert) 35%, transparent);
  background: color-mix(in srgb, var(--ml-hilbert) 8%, transparent);
}

.md-typeset .ml-hero h2 {
  margin: 0 0 1rem;
  padding: 0;
  border: 0;
  font-size: clamp(1.9rem, 3.6vw, 2.6rem);
  line-height: 1.06;
  font-weight: 800;
  letter-spacing: -0.035em;
}

.ml-gradient {
  background: linear-gradient(95deg, var(--ml-hilbert), var(--ml-l2) 55%, var(--ml-capstone));
  -webkit-background-clip: text;
  background-clip: text;
  color: transparent;
}

.md-typeset .ml-lead {
  font-size: 1.02rem;
  line-height: 1.65;
  color: var(--md-default-fg-color--light);
  max-width: 34rem;
}

.ml-actions { display: flex; flex-wrap: wrap; gap: 0.7rem; margin-top: 1.6rem; }

.md-typeset .ml-button {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  padding: 0.62rem 1.15rem;
  border-radius: 0.7rem;
  font-family: var(--ml-display);
  font-weight: 800;
  font-size: 0.8rem;
  text-decoration: none;
  transition: transform 120ms ease, filter 120ms ease, border-color 120ms ease;
}

.md-typeset .ml-button:hover { transform: translateY(-1px); }

.md-typeset .ml-button--primary {
  color: #0a0f1e;
  background: linear-gradient(95deg, #7dd3fc, #a78bfa);
  box-shadow: 0 10px 30px -12px rgba(125, 211, 252, 0.55);
}

.md-typeset .ml-button--primary:hover { filter: brightness(1.08); color: #0a0f1e; }

.md-typeset .ml-button--ghost {
  color: var(--md-default-fg-color);
  border: 1px solid var(--ml-rule);
  background: color-mix(in srgb, var(--ml-surface) 70%, transparent);
}

.md-typeset .ml-button--ghost:hover { border-color: var(--ml-hilbert); color: var(--md-default-fg-color); }

.ml-stats { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 1rem; margin-top: 2rem; }
.ml-stat { font-family: var(--ml-display); }
.ml-stat b { display: block; font-size: 1.5rem; font-weight: 800; color: var(--md-default-fg-color); line-height: 1.1; }
.ml-stat span { font-size: 0.7rem; color: var(--ml-muted); }

/* The code window in the hero. */
.ml-window {
  border-radius: 1rem;
  border: 1px solid #1f2a44;
  background: #0d1426;
  box-shadow: 0 30px 80px -30px rgba(3, 7, 18, 0.95), 0 0 0 1px rgba(125, 211, 252, 0.05);
  overflow: hidden;
  transform: perspective(1400px) rotateY(-4deg) rotateX(2deg);
}

.ml-window__bar {
  display: flex;
  align-items: center;
  gap: 0.4rem;
  padding: 0.6rem 0.9rem;
  border-bottom: 1px solid #1f2a44;
  background: #111a2e;
  font-family: var(--ml-mono);
  font-size: 0.66rem;
  color: #94a3b8;
}

.ml-window__bar i { width: 0.6rem; height: 0.6rem; border-radius: 50%; background: #334155; display: inline-block; }
.ml-window__bar i:nth-child(1) { background: #f87171; }
.ml-window__bar i:nth-child(2) { background: #fbbf24; }
.ml-window__bar i:nth-child(3) { background: #34d399; margin-right: 0.5rem; }

.md-typeset .ml-window pre { margin: 0; border: 0; border-radius: 0; box-shadow: none; }
.md-typeset .ml-window pre > code { background: transparent; font-size: 0.68rem; padding: 1rem 1.1rem; white-space: pre-wrap; }
.md-typeset .ml-window .highlight.ml-hilbert pre { background: transparent; border: 0; }
.md-typeset .ml-window .highlight.ml-hilbert::before { display: none; }
.md-typeset .ml-window .md-clipboard,
.md-typeset .ml-window .md-code__nav,
.md-typeset .ml-window button { display: none; }

.ml-window__out {
  border-top: 1px dashed #1f2a44;
  padding: 0.7rem 1.1rem 0.9rem;
  font-family: var(--ml-mono);
  font-size: 0.72rem;
  line-height: 1.7;
  color: #cbd5e1;
}

/* Section headings on the home page. */
.md-typeset .ml-section-title {
  margin: 3.2rem 0 0.4rem;
  padding: 0;
  border: 0;
  font-size: 1.7rem;
  text-align: left;
}

.md-typeset .ml-section-lead { color: var(--ml-muted); margin-top: 0; max-width: 42rem; }

/* Cards. */
.ml-cards {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(14.5rem, 1fr));
  gap: 1rem;
  margin: 1.4rem 0;
}

.md-typeset .ml-card {
  --c: var(--ml-hilbert);
  position: relative;
  display: flex;
  flex-direction: column;
  padding: 1.25rem 1.2rem 1.1rem;
  border-radius: 1rem;
  border: 1px solid var(--ml-rule);
  background:
    radial-gradient(18rem 9rem at 100% 0%, color-mix(in srgb, var(--c) 13%, transparent), transparent 70%),
    var(--ml-surface);
  color: var(--md-typeset-color);
  text-decoration: none;
  transition: transform 150ms ease, border-color 150ms ease, box-shadow 150ms ease;
}

.md-typeset a.ml-card:hover {
  transform: translateY(-3px);
  border-color: color-mix(in srgb, var(--c) 60%, transparent);
  box-shadow: 0 18px 40px -22px color-mix(in srgb, var(--c) 60%, transparent);
  color: var(--md-typeset-color);
}

.md-typeset .ml-card--hilbert { --c: var(--ml-hilbert); }
.md-typeset .ml-card--l1 { --c: var(--ml-l1); }
.md-typeset .ml-card--l2 { --c: var(--ml-l2); }
.md-typeset .ml-card--l3 { --c: var(--ml-l3); }
.md-typeset .ml-card--capstone { --c: var(--ml-capstone); }
.md-typeset .ml-card--ideas { --c: var(--ml-ideas); }

.md-typeset .ml-card__kicker {
  font-family: var(--ml-mono);
  font-size: 0.64rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--c);
  margin: 0 0 0.4rem;
}

.md-typeset .ml-card__title {
  font-family: var(--ml-display);
  font-weight: 800;
  font-size: 1.12rem;
  color: var(--md-default-fg-color);
  margin: 0 0 0.45rem;
  letter-spacing: -0.02em;
}

.md-typeset .ml-card p { margin: 0 0 0.6rem; font-size: 0.78rem; line-height: 1.6; }

.md-typeset .ml-card__more {
  margin-top: auto;
  font-family: var(--ml-display);
  font-weight: 800;
  font-size: 0.74rem;
  color: var(--c);
}

.md-typeset .ml-card ul { margin: 0.2rem 0 0.8rem; padding: 0; list-style: none; }
.md-typeset .ml-card li { margin: 0.15rem 0 0 0; padding-left: 1rem; position: relative; font-size: 0.76rem; }
.md-typeset .ml-card li::before { content: "›"; position: absolute; left: 0; color: var(--c); font-weight: 800; }

/* The path: numbered steps. */
.ml-path {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(11rem, 1fr));
  gap: 0.8rem;
  margin: 1.4rem 0 0.6rem;
  counter-reset: step;
}

.md-typeset .ml-step {
  --c: var(--ml-hilbert);
  position: relative;
  padding: 0.95rem 1rem 0.9rem 1rem;
  border-radius: 0.9rem;
  border: 1px solid var(--ml-rule);
  background: var(--ml-surface);
  text-decoration: none;
  color: var(--md-typeset-color);
  counter-increment: step;
  transition: border-color 150ms ease, transform 150ms ease;
}

.md-typeset a.ml-step:hover { border-color: var(--c); transform: translateY(-2px); color: var(--md-typeset-color); }

.md-typeset .ml-step::before {
  content: counter(step);
  display: inline-grid;
  place-items: center;
  width: 1.5rem; height: 1.5rem;
  margin-bottom: 0.5rem;
  border-radius: 50%;
  font-family: var(--ml-display);
  font-weight: 800;
  font-size: 0.72rem;
  color: #0a0f1e;
  background: var(--c);
}

.md-typeset .ml-step b { display: block; font-family: var(--ml-display); font-weight: 800; color: var(--md-default-fg-color); font-size: 0.9rem; }
.md-typeset .ml-step span { font-size: 0.72rem; color: var(--ml-muted); }

/* Subject × level matrix. */
.ml-matrix-wrap { overflow-x: auto; margin: 1.2rem 0; }

.md-typeset table.ml-matrix {
  display: table;
  width: 100%;
  border-collapse: separate;
  border-spacing: 0.45rem;
  font-size: 0.78rem;
  border: 0;
  box-shadow: none;
}

.md-typeset table.ml-matrix th,
.md-typeset table.ml-matrix td { border: 0; padding: 0; background: none; vertical-align: stretch; }

.md-typeset table.ml-matrix thead th {
  font-family: var(--ml-display);
  font-weight: 800;
  font-size: 0.7rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  padding: 0.3rem 0.4rem;
  text-align: left;
}

.md-typeset table.ml-matrix thead th:nth-child(2) { color: var(--ml-l1); }
.md-typeset table.ml-matrix thead th:nth-child(3) { color: var(--ml-l2); }
.md-typeset table.ml-matrix thead th:nth-child(4) { color: var(--ml-l3); }

.md-typeset table.ml-matrix tbody th {
  font-family: var(--ml-display);
  font-weight: 800;
  text-align: left;
  padding: 0.6rem 0.6rem 0.6rem 0;
  color: var(--md-default-fg-color);
  white-space: nowrap;
}

.md-typeset table.ml-matrix tbody th small { display: block; font-family: var(--ml-body); font-weight: 400; color: var(--ml-muted); font-size: 0.68rem; }

.md-typeset table.ml-matrix td a {
  display: block;
  height: 100%;
  padding: 0.6rem 0.75rem;
  border-radius: 0.65rem;
  border: 1px solid var(--ml-rule);
  background: var(--ml-surface);
  color: var(--md-typeset-color);
  text-decoration: none;
  transition: border-color 150ms ease, background 150ms ease;
}

.md-typeset table.ml-matrix td a b { display: block; color: var(--md-default-fg-color); font-family: var(--ml-display); font-weight: 800; }
.md-typeset table.ml-matrix td a span { font-size: 0.7rem; color: var(--ml-muted); }
.md-typeset table.ml-matrix td:nth-child(2) a:hover { border-color: var(--ml-l1); background: color-mix(in srgb, var(--ml-l1) 8%, var(--ml-surface)); }
.md-typeset table.ml-matrix td:nth-child(3) a:hover { border-color: var(--ml-l2); background: color-mix(in srgb, var(--ml-l2) 8%, var(--ml-surface)); }
.md-typeset table.ml-matrix td:nth-child(4) a:hover { border-color: var(--ml-l3); background: color-mix(in srgb, var(--ml-l3) 8%, var(--ml-surface)); }
.md-typeset table.ml-matrix tr:hover { background: none; }

/* Dialect chips. */
.ml-dialects { display: grid; grid-template-columns: repeat(auto-fit, minmax(12rem, 1fr)); gap: 0.8rem; margin: 1.2rem 0; }

.md-typeset .ml-dialect {
  padding: 1rem;
  border-radius: 0.9rem;
  border: 1px solid var(--ml-rule);
  background: var(--ml-surface);
}

.md-typeset .ml-dialect code {
  font-size: 0.95rem;
  font-weight: 500;
  color: var(--c, var(--ml-hilbert));
  background: color-mix(in srgb, var(--c, var(--ml-hilbert)) 12%, transparent);
}

.md-typeset .ml-dialect p { margin: 0.5rem 0 0; font-size: 0.76rem; line-height: 1.55; }

/* The capstone banner. */
.md-typeset .ml-capstone {
  position: relative;
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 1.6rem;
  align-items: center;
  margin: 2rem 0;
  padding: 1.6rem;
  border-radius: 1.2rem;
  border: 1px solid color-mix(in srgb, var(--ml-capstone) 35%, transparent);
  background:
    radial-gradient(28rem 14rem at 0% 0%, color-mix(in srgb, var(--ml-capstone) 14%, transparent), transparent 70%),
    radial-gradient(24rem 12rem at 100% 100%, color-mix(in srgb, var(--ml-l2) 12%, transparent), transparent 70%),
    var(--ml-surface);
}

.md-typeset .ml-capstone h3 { margin-top: 0; color: var(--md-default-fg-color); font-size: 1.4rem; font-weight: 800; }
.md-typeset .ml-capstone pre { margin: 0; }
.md-typeset .ml-capstone pre > code { white-space: pre-wrap; font-size: 0.72rem; }

.md-typeset .ml-note {
  margin: 2.4rem 0 0;
  padding: 1rem 1.2rem;
  border-radius: 0.9rem;
  border: 1px dashed var(--ml-rule);
  font-size: 0.78rem;
  color: var(--ml-muted);
}

@media screen and (max-width: 60em) {
  .ml-stats { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .ml-hero__grid,
  .md-typeset .ml-capstone { grid-template-columns: minmax(0, 1fr); }
  .ml-window { transform: none; }
  .ml-hero { padding: 2.4rem 1rem 2rem; margin: 0 0 2rem; }
}

/* ── mermaid diagrams sit on a card, like code ─────────────────────────────────────────────── */

.md-typeset .mermaid {
  margin: 1.4rem 0;
  padding: 1rem;
  border-radius: 0.8rem;
  border: 1px solid var(--ml-rule);
  background: var(--ml-surface);
  text-align: center;
}