@font-face {
  font-family: "Inter";
  src: url("fonts/inter-var.woff2") format("woff2");
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: "JetBrains Mono";
  src: url("fonts/jetbrains-mono-400.woff2") format("woff2");
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: "JetBrains Mono";
  src: url("fonts/jetbrains-mono-500.woff2") format("woff2");
  font-weight: 500;
  font-display: swap;
}
@font-face {
  font-family: "Lobster Two";
  src: url("fonts/lobster-two-700-italic.woff2") format("woff2");
  font-weight: 700;
  font-style: italic;
  font-display: swap;
}

:root {
  color-scheme: light;
  --bg: #f6f8fa;
  --bg-raised: #ffffff;
  --bg-sunken: #eef2f5;
  --line: rgba(15, 30, 45, 0.09);
  --line-strong: rgba(15, 30, 45, 0.16);
  --text: #0c1520;
  --muted: #475668;
  --faint: #6a7889;
  --accent: hsl(192, 95%, 29%);
  --accent-text: hsl(192, 95%, 27%);
  --accent-soft: hsla(192, 95%, 35%, 0.1);
  --accent-glow: hsla(192, 95%, 45%, 0.28);
  --on-accent: #ffffff;
  --code-bg: #0c1218;
  --code-text: #d8e2ec;
  --shadow-sm: 0 1px 2px rgba(15, 30, 45, 0.06), 0 1px 1px rgba(15, 30, 45, 0.04);
  --shadow-md: 0 1px 2px rgba(15, 30, 45, 0.05), 0 8px 24px -8px rgba(15, 30, 45, 0.14);
  --shadow-lg: 0 2px 4px rgba(15, 30, 45, 0.04), 0 24px 48px -16px rgba(15, 30, 45, 0.22);
  --dot: rgba(15, 40, 60, 0.13);
  --dot-accent: hsla(192, 95%, 32%, 0.45);
  --ok: #13795b;
  --ok-soft: rgba(19, 121, 91, 0.1);
  --warn: #8a5a00;
  --warn-soft: rgba(176, 116, 0, 0.12);
  --idea: #6b4bc4;
  --idea-soft: rgba(107, 75, 196, 0.1);

  --radius: 16px;
  --radius-sm: 10px;
  --wrap: 1120px;
  --gutter: 24px;
  --sans: "Inter", ui-sans-serif, system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --bg: #070a0e;
    --bg-raised: #0d1218;
    --bg-sunken: #0a0e13;
    --line: rgba(200, 225, 245, 0.08);
    --line-strong: rgba(200, 225, 245, 0.15);
    --text: #e9eff5;
    --muted: #9fadbd;
    --faint: #7c8a9b;
    --accent: hsl(192, 90%, 42%);
    --accent-text: hsl(192, 85%, 58%);
    --accent-soft: hsla(192, 90%, 50%, 0.1);
    --accent-glow: hsla(192, 90%, 45%, 0.35);
    --on-accent: #02161c;
    --code-bg: #0a0f14;
    --code-text: #d8e2ec;
    --shadow-sm: 0 1px 2px rgba(0, 0, 0, 0.4);
    --shadow-md: 0 1px 2px rgba(0, 0, 0, 0.4), 0 12px 32px -12px rgba(0, 0, 0, 0.7);
    --shadow-lg: 0 2px 4px rgba(0, 0, 0, 0.3), 0 32px 64px -24px rgba(0, 0, 0, 0.85);
    --dot: rgba(160, 200, 230, 0.1);
    --dot-accent: hsla(192, 90%, 50%, 0.5);
    --ok: #4ccf9b;
    --ok-soft: rgba(76, 207, 155, 0.1);
    --warn: #f0b54a;
    --warn-soft: rgba(240, 181, 74, 0.1);
    --idea: #b39dfa;
    --idea-soft: rgba(179, 157, 250, 0.1);
  }
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --bg: #070a0e;
  --bg-raised: #0d1218;
  --bg-sunken: #0a0e13;
  --line: rgba(200, 225, 245, 0.08);
  --line-strong: rgba(200, 225, 245, 0.15);
  --text: #e9eff5;
  --muted: #9fadbd;
  --faint: #7c8a9b;
  --accent: hsl(192, 90%, 42%);
  --accent-text: hsl(192, 85%, 58%);
  --accent-soft: hsla(192, 90%, 50%, 0.1);
  --accent-glow: hsla(192, 90%, 45%, 0.35);
  --on-accent: #02161c;
  --code-bg: #0a0f14;
  --code-text: #d8e2ec;
  --shadow-sm: 0 1px 2px rgba(0, 0, 0, 0.4);
  --shadow-md: 0 1px 2px rgba(0, 0, 0, 0.4), 0 12px 32px -12px rgba(0, 0, 0, 0.7);
  --shadow-lg: 0 2px 4px rgba(0, 0, 0, 0.3), 0 32px 64px -24px rgba(0, 0, 0, 0.85);
  --dot: rgba(160, 200, 230, 0.1);
  --dot-accent: hsla(192, 90%, 50%, 0.5);
  --ok: #4ccf9b;
  --ok-soft: rgba(76, 207, 155, 0.1);
  --warn: #f0b54a;
  --warn-soft: rgba(240, 181, 74, 0.1);
  --idea: #b39dfa;
  --idea-soft: rgba(179, 157, 250, 0.1);
}

/* Solarized (dark), from Ethan Schoonover's palette. Placed after the dark
   rules so it wins over the system-dark media query at equal specificity. */
:root[data-theme="solarized"] {
  color-scheme: dark;
  --bg: #002b36;
  --bg-raised: #073642;
  --bg-sunken: #00222b;
  --line: rgba(147, 161, 161, 0.12);
  --line-strong: rgba(147, 161, 161, 0.22);
  --text: #eee8d5;
  --muted: #a7b4b4;
  --faint: #8fa0a1;
  --accent: #2aa198;
  --accent-text: #2aa198;
  --accent-soft: rgba(42, 161, 152, 0.12);
  --accent-glow: rgba(42, 161, 152, 0.35);
  --on-accent: #002b36;
  --code-bg: #00222b;
  --code-text: #93a1a1;
  --shadow-sm: 0 1px 2px rgba(0, 0, 0, 0.35);
  --shadow-md: 0 1px 2px rgba(0, 0, 0, 0.35), 0 12px 32px -12px rgba(0, 0, 0, 0.6);
  --shadow-lg: 0 2px 4px rgba(0, 0, 0, 0.25), 0 32px 64px -24px rgba(0, 0, 0, 0.75);
  --dot: rgba(147, 161, 161, 0.14);
  --dot-accent: rgba(42, 161, 152, 0.55);
  --ok: #859900;
  --ok-soft: rgba(133, 153, 0, 0.14);
  --warn: #b58900;
  --warn-soft: rgba(181, 137, 0, 0.14);
  --idea: #8c8fd8;
  --idea-soft: rgba(108, 113, 196, 0.16);
}

*,
*::before,
*::after {
  box-sizing: border-box;
}
html {
  -webkit-text-size-adjust: 100%;
  text-size-adjust: 100%;
  scroll-behavior: smooth;
  scroll-padding-top: 80px;
}
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: var(--sans);
  font-size: 17px;
  line-height: 1.6;
  font-feature-settings: "cv11", "ss01", "ss03";
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  overflow-x: hidden;
}
img {
  display: block;
  max-width: 100%;
  height: auto;
}
a {
  color: var(--accent-text);
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
  text-underline-offset: 3px;
}
:focus-visible {
  outline: 2px solid var(--accent-text);
  outline-offset: 3px;
  border-radius: 6px;
}
code,
pre,
kbd {
  font-family: var(--mono);
  font-size: 0.88em;
}
:not(pre) > code {
  background: var(--accent-soft);
  color: var(--text);
  padding: 0.1em 0.38em;
  border-radius: 6px;
}
h1,
h2,
h3 {
  margin: 0;
  line-height: 1.15;
  letter-spacing: -0.022em;
}
p {
  margin: 0;
}

.skip {
  position: absolute;
  left: 16px;
  top: -60px;
  z-index: 100;
  background: var(--accent);
  color: var(--on-accent);
  padding: 10px 14px;
  border-radius: 8px;
  font-weight: 600;
}
.skip:focus {
  top: 12px;
}
.visually-hidden {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0 0 0 0);
  white-space: nowrap;
}

.wrap {
  width: 100%;
  max-width: calc(var(--wrap) + 2 * var(--gutter));
  margin: 0 auto;
  padding: 0 var(--gutter);
}

/* Header */
.site-header {
  position: sticky;
  top: 0;
  z-index: 50;
  background: color-mix(in srgb, var(--bg) 72%, transparent);
  backdrop-filter: saturate(160%) blur(14px);
  -webkit-backdrop-filter: saturate(160%) blur(14px);
  border-bottom: 1px solid transparent;
  transition: border-color 0.25s ease, background-color 0.25s ease;
}
.site-header.scrolled {
  border-bottom-color: var(--line);
}
.site-header .wrap {
  display: flex;
  align-items: center;
  gap: 24px;
  height: 64px;
}
/* The same brush script as the docs site's title, to match the logo's lettering. */
.brand {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  color: var(--text);
  font-family: "Lobster Two", var(--sans), cursive;
  font-weight: 700;
  font-style: italic;
  font-size: 22px;
  letter-spacing: 0.01em;
}
.brand:hover {
  text-decoration: none;
}
.site-header .brand {
  flex: none;
}
.brand img {
  width: 30px;
  height: 30px;
}
.nav {
  display: flex;
  align-items: center;
  gap: 4px;
  margin-left: auto;
}
.nav a {
  color: var(--muted);
  font-size: 15px;
  font-weight: 500;
  padding: 8px 12px;
  border-radius: 8px;
  transition: color 0.15s ease, background-color 0.15s ease;
}
.nav a:hover {
  color: var(--text);
  background: var(--accent-soft);
  text-decoration: none;
}
.nav-links {
  display: flex;
  align-items: center;
  gap: 4px;
  margin: 0;
  padding: 0;
  list-style: none;
}
.nav-links a {
  display: inline-flex;
  align-items: center;
  gap: 5px;
}
.nav-links a[aria-current="page"] {
  color: var(--text);
  background: var(--accent-soft);
  box-shadow: inset 0 -2px 0 var(--accent);
}
.nav-l {
  display: inline-flex;
  align-items: center;
  gap: 5px;
}
.nav-hint {
  display: none;
}
.nav-links .ext {
  width: 12px;
  height: 12px;
  opacity: 0.7;
}
.nav .nav-toggle {
  display: none;
}
.nav-toggle .shut,
.nav-toggle[aria-expanded="true"] .open {
  display: none;
}
.nav-toggle[aria-expanded="true"] .shut {
  display: block;
}
.nav .sep {
  width: 1px;
  height: 20px;
  background: var(--line-strong);
  margin: 0 8px;
}
.icon-btn {
  display: inline-grid;
  place-items: center;
  width: 38px;
  height: 38px;
  padding: 0;
  border-radius: 10px;
  border: 1px solid transparent;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  transition: color 0.15s ease, background-color 0.15s ease, border-color 0.15s ease;
}
.icon-btn:hover {
  color: var(--text);
  background: var(--accent-soft);
}
.icon-btn svg {
  width: 19px;
  height: 19px;
}
.nav a.icon-btn {
  padding: 0;
}
.theme-toggle .moon {
  display: none;
}
:root[data-theme="dark"] .theme-toggle .sun {
  display: none;
}
:root[data-theme="dark"] .theme-toggle .moon {
  display: block;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .theme-toggle .sun {
    display: none;
  }
  :root:not([data-theme="light"]) .theme-toggle .moon {
    display: block;
  }
}
.theme-toggle .sol {
  display: none;
}
:root[data-theme="solarized"] .theme-toggle .sun,
:root[data-theme="solarized"] .theme-toggle .moon {
  display: none;
}
:root[data-theme="solarized"] .theme-toggle .sol {
  display: block;
}

/* Buttons */
.btn {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 10px;
  height: 48px;
  padding: 0 22px;
  border-radius: 12px;
  font-size: 16px;
  font-weight: 600;
  letter-spacing: -0.01em;
  border: 1px solid transparent;
  transition: transform 0.15s ease, box-shadow 0.2s ease, background-color 0.2s ease, border-color 0.2s ease;
}
.btn:hover {
  text-decoration: none;
  transform: translateY(-1px);
}
.btn:active {
  transform: translateY(0);
}
.btn svg {
  width: 18px;
  height: 18px;
}
.btn-primary {
  background: var(--accent);
  color: var(--on-accent);
  box-shadow: 0 1px 0 rgba(255, 255, 255, 0.18) inset, 0 8px 24px -8px var(--accent-glow);
}
.btn-primary:hover {
  box-shadow: 0 1px 0 rgba(255, 255, 255, 0.18) inset, 0 12px 32px -8px var(--accent-glow);
}
.btn-ghost {
  background: var(--bg-raised);
  color: var(--text);
  border-color: var(--line-strong);
  box-shadow: var(--shadow-sm);
}
.btn-ghost:hover {
  border-color: var(--accent);
}

/* Sections */
.section {
  padding: 96px 0;
  position: relative;
}
.section-head {
  max-width: 640px;
  margin-bottom: 52px;
}
.section-head.center {
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}
.eyebrow {
  display: inline-block;
  font-family: var(--mono);
  font-size: 13px;
  font-weight: 500;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--accent-text);
  margin-bottom: 14px;
}
.section h2 {
  text-wrap: balance;
  font-size: clamp(32px, 4.4vw, 46px);
  font-weight: 700;
  letter-spacing: -0.035em;
}
.section-head p {
  margin-top: 16px;
  color: var(--muted);
  font-size: 18px;
}

/* Feature icon, on feature tiles and install rows. */
.ficon {
  display: grid;
  place-items: center;
  width: 42px;
  height: 42px;
  border-radius: 11px;
  color: var(--accent-text);
  background: var(--accent-soft);
  border: 1px solid color-mix(in srgb, var(--accent) 22%, transparent);
}
.ficon svg {
  width: 21px;
  height: 21px;
}

.ficon.mono-ic {
  font-family: var(--mono);
  font-size: 12.5px;
  font-weight: 500;
  letter-spacing: -0.02em;
}

/* Arrow link */
.text-link {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  margin-top: 26px;
  font-weight: 600;
  font-size: 16px;
}
.text-link svg {
  width: 16px;
  height: 16px;
  transition: transform 0.15s ease;
}
.text-link:hover svg {
  transform: translateX(3px);
}

/* Offset gap viz */
.gap-viz {
  display: flex;
  align-items: center;
  gap: 6px;
  font-family: var(--mono);
  font-size: 13px;
  flex-wrap: wrap;
}
.gap-viz span {
  display: inline-grid;
  place-items: center;
  min-width: 34px;
  height: 30px;
  padding: 0 6px;
  border-radius: 7px;
  background: var(--bg-sunken);
  border: 1px solid var(--line);
  color: var(--muted);
}
.gap-viz span.miss {
  border-style: dashed;
  background: transparent;
  color: var(--faint);
  opacity: 0.8;
}
.gap-viz span.resume {
  border-color: var(--accent);
  color: var(--accent-text);
  background: var(--accent-soft);
}

/* Figure panel, on the home page and guarantees.html. */
.stage-col {
  display: flex;
  flex-direction: column;
  gap: 10px;
  min-width: 0;
}
.stage-label {
  font-family: var(--mono);
  font-size: 12.5px;
  font-weight: 500;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--faint);
}
.stage-label.felix {
  color: var(--accent-text);
}
.stage {
  position: relative;
  isolation: isolate;
  flex: 1;
  padding: 16px;
  border-radius: var(--radius);
  background: var(--bg-raised);
  border: 1px solid var(--line);
  box-shadow: var(--shadow-md);
  overflow: hidden;
}
.stage::before {
  content: "";
  position: absolute;
  inset: 0;
  z-index: -1;
  background-image: linear-gradient(var(--line) 1px, transparent 1px), linear-gradient(90deg, var(--line) 1px, transparent 1px);
  background-size: 22px 22px;
  background-position: -1px -1px;
  -webkit-mask-image: radial-gradient(ellipse 75% 70% at 50% 50%, #000 15%, transparent 80%);
  mask-image: radial-gradient(ellipse 75% 70% at 50% 50%, #000 15%, transparent 80%);
  pointer-events: none;
}
.stage.glow {
  border-color: color-mix(in srgb, var(--accent) 24%, var(--line));
}
.stage.glow::after {
  content: "";
  position: absolute;
  inset: 0;
  z-index: -1;
  background: radial-gradient(ellipse 60% 55% at 62% 50%, var(--accent-glow), transparent 70%);
  opacity: 0.35;
  pointer-events: none;
}
.stage svg {
  display: block;
  width: 100%;
  height: auto;
  overflow: visible;
}

/* Shared by guarantees.html and status.html. */
.gu-title {
  margin: 0 0 20px;
  font-size: 22px;
  font-weight: 700;
  letter-spacing: -0.02em;
}
.gu-foot {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 10px 14px;
  margin: 24px 0 0;
  font-size: 15px;
  color: var(--muted);
}
/* .text-link's top margin is for a link on its own line; in this row it would
   push the link below the text. */
.gu-foot .text-link {
  margin-top: 0;
}

/* Small static figures: page intros and the home page teasers. */
.tz-svg text {
  font-family: var(--mono);
  font-size: 11.5px;
}
.tz-h,
.tz-b {
  fill: var(--faint);
}
.tz-lead {
  fill: var(--accent-soft);
  stroke: var(--accent);
  stroke-width: 1.5;
}
.tz-lt {
  fill: var(--accent-text);
  font-weight: 500;
}
.tz-fol {
  fill: var(--bg-sunken);
  stroke: var(--line-strong);
}
.tz-ft {
  fill: var(--muted);
}
.tz-hb {
  fill: none;
  stroke: var(--line-strong);
  stroke-width: 1.5;
  stroke-dasharray: 2 5;
  stroke-linecap: round;
}
.tz-fault {
  fill: var(--warn-soft);
  stroke: var(--warn);
}
.tz-flt {
  fill: var(--warn);
  font-weight: 500;
}
.tz-ok rect {
  fill: var(--ok-soft);
  stroke: var(--ok);
}
.tz-wire {
  fill: none;
  stroke: var(--accent);
  stroke-width: 1.4;
  opacity: 0.6;
}
.tz-ok path {
  fill: none;
  stroke: var(--ok);
  stroke-width: 1.8;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.tz-tick,
.tz-okp {
  fill: none;
  stroke: var(--ok);
  stroke-width: 1.8;
  stroke-linecap: round;
  stroke-linejoin: round;
}
.tz-pos {
  fill: var(--accent);
}
.tz-okr {
  fill: var(--ok-soft);
  stroke: var(--ok);
}
.tz-pr {
  fill: var(--warn-soft);
  stroke: var(--warn);
}
.tz-pp {
  fill: none;
  stroke: var(--warn);
  stroke-width: 2;
  stroke-linecap: round;
}
.tz-tr {
  fill: var(--idea-soft);
  stroke: var(--idea);
}
.tz-tc {
  fill: none;
  stroke: var(--idea);
  stroke-width: 1.6;
}
.tz-legend {
  display: flex;
  justify-content: center;
  gap: 18px;
  margin-top: 14px;
  font-family: var(--mono);
  font-size: 12.5px;
  color: var(--muted);
}
.tz-legend span {
  display: inline-flex;
  align-items: center;
  gap: 7px;
}
.tz-legend i {
  width: 12px;
  height: 12px;
  border-radius: 3px;
}
.tz-legend .ok {
  background: var(--ok-soft);
  border: 1px solid var(--ok);
}
.tz-legend .ta {
  background: var(--idea-soft);
  border: 1px solid var(--idea);
}
.tz-legend .pa {
  background: var(--warn-soft);
  border: 1px solid var(--warn);
}
.tz-stats {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 12px;
}
.tz-stat {
  display: grid;
  gap: 2px;
  padding: 12px 14px;
  border-radius: var(--radius-sm);
  background: color-mix(in srgb, var(--bg-sunken) 80%, transparent);
  border: 1px solid var(--line);
}
.tz-stat.wide {
  grid-column: 1 / -1;
  border-color: color-mix(in srgb, var(--accent) 40%, var(--line));
}
.tz-num {
  font-size: 30px;
  font-weight: 700;
  letter-spacing: -0.03em;
  line-height: 1.1;
  color: var(--text);
}
.tz-stat.wide .tz-num {
  color: var(--accent-text);
}
.tz-num small {
  margin-left: 5px;
  font-family: var(--mono);
  font-size: 12.5px;
  font-weight: 500;
  letter-spacing: 0;
  color: var(--muted);
}
.tz-cap {
  font-family: var(--mono);
  font-size: 12px;
  color: var(--faint);
}
/* 312 of a 500 µs scale, like the latency chart on performance.html. */
.tz-bar {
  display: block;
  height: 6px;
  margin-top: 8px;
  border-radius: 99px;
  background: var(--bg-sunken);
  overflow: hidden;
}
.tz-bar i {
  display: block;
  height: 100%;
  width: 62%;
  border-radius: inherit;
  background: var(--accent);
}

/* Page intro and next steps, on every page but the home page. */
.page-intro {
  overflow: hidden;
  isolation: isolate;
  padding: 72px 0 72px;
  border-bottom: 1px solid var(--line);
}
.page-intro::before {
  content: "";
  position: absolute;
  inset: 0;
  z-index: -1;
  background: radial-gradient(ellipse 50% 75% at 80% 45%, var(--accent-glow), transparent 70%);
  opacity: 0.4;
  pointer-events: none;
}
.page-intro::after {
  content: "";
  position: absolute;
  inset: 0;
  z-index: -2;
  background-image: linear-gradient(var(--line) 1px, transparent 1px), linear-gradient(90deg, var(--line) 1px, transparent 1px);
  background-size: 28px 28px;
  -webkit-mask-image: radial-gradient(ellipse 45% 80% at 80% 45%, #000 10%, transparent 75%);
  mask-image: radial-gradient(ellipse 45% 80% at 80% 45%, #000 10%, transparent 75%);
  pointer-events: none;
}
.page-intro .wrap {
  display: grid;
  grid-template-columns: minmax(0, 7fr) minmax(0, 5fr);
  gap: 56px;
  align-items: center;
}
.page-intro h1 {
  font-size: clamp(38px, 5.4vw, 58px);
  font-weight: 750;
  letter-spacing: -0.04em;
  text-wrap: balance;
}
.page-intro .section-head {
  max-width: 620px;
  margin-bottom: 28px;
}
.page-intro .eyebrow {
  display: inline-flex;
  align-items: center;
  gap: 10px;
}
.page-intro .eyebrow img {
  width: 22px;
  height: 22px;
}
.intro-fig {
  margin: 0;
}
.intro-fig .stage {
  padding: 20px 22px;
}
.intro-fig .tz-svg {
  max-width: 400px;
  margin: 0 auto;
}
.page-toc {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
}
.page-toc a {
  display: inline-flex;
  align-items: center;
  gap: 10px;
  padding: 8px 16px 8px 9px;
  border-radius: 999px;
  background: var(--bg-raised);
  border: 1px solid var(--line-strong);
  color: var(--text);
  font-size: 15px;
  font-weight: 550;
  transition: border-color 0.15s ease, transform 0.15s ease;
}
.page-toc a:hover {
  border-color: var(--accent);
  text-decoration: none;
  transform: translateY(-1px);
}
.page-toc .n {
  display: inline-grid;
  place-items: center;
  width: 22px;
  height: 22px;
  border-radius: 50%;
  background: var(--accent-soft);
  color: var(--accent-text);
  font-family: var(--mono);
  font-size: 12px;
}
.page-next {
  padding: 72px 0 96px;
  border-top: 1px solid var(--line);
}
.next-grid {
  display: grid;
  grid-template-columns: minmax(0, 3fr) minmax(0, 2fr);
  gap: 18px;
}
.next-card {
  position: relative;
  display: grid;
  gap: 6px;
  padding: 26px 64px 26px 28px;
  border-radius: var(--radius);
  background: var(--bg-raised);
  border: 1px solid var(--line);
  box-shadow: var(--shadow-md);
  color: var(--text);
  transition: border-color 0.2s ease, transform 0.2s ease, box-shadow 0.2s ease;
}
.next-card:hover {
  text-decoration: none;
  border-color: var(--accent);
  transform: translateY(-2px);
  box-shadow: var(--shadow-lg);
}
.next-card.primary {
  border-color: color-mix(in srgb, var(--accent) 35%, var(--line));
  background: radial-gradient(ellipse 80% 120% at 0% 0%, var(--accent-soft), transparent 70%), var(--bg-raised);
}
.next-k {
  font-family: var(--mono);
  font-size: 12.5px;
  font-weight: 500;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--accent-text);
}
.next-t {
  font-size: 24px;
  font-weight: 700;
  letter-spacing: -0.025em;
}
.next-d {
  color: var(--muted);
  font-size: 15.5px;
}
.next-card > svg {
  position: absolute;
  right: 26px;
  top: 50%;
  width: 22px;
  height: 22px;
  margin-top: -11px;
  color: var(--accent-text);
  transition: transform 0.2s ease;
}
.next-card:hover > svg {
  transform: translateX(4px);
}
@media (max-width: 960px) {
  .page-intro .wrap {
    grid-template-columns: minmax(0, 1fr);
    gap: 36px;
  }
  .intro-fig {
    max-width: 520px;
  }
}
@media (max-width: 760px) {
  .page-intro {
    padding: 48px 0 52px;
  }
  .next-grid {
    grid-template-columns: minmax(0, 1fr);
  }
  .page-next {
    padding: 56px 0 72px;
  }
  .next-card {
    padding: 22px 56px 22px 22px;
  }
}

/* Footer */
.site-footer {
  border-top: 1px solid var(--line);
  background: var(--bg-sunken);
  padding: 64px 0 48px;
  font-size: 15px;
}
.footer-grid {
  display: grid;
  grid-template-columns: 1.4fr 1fr 1fr 1fr;
  gap: 40px;
}
.footer-grid h2 {
  font-size: 13px;
  font-family: var(--mono);
  font-weight: 500;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--faint);
  margin-bottom: 14px;
}
.footer-grid ul {
  list-style: none;
  margin: 0;
  padding: 0;
  display: grid;
  gap: 10px;
}
.footer-grid a {
  color: var(--muted);
}
.footer-grid a:hover {
  color: var(--text);
}
.footer-about p {
  margin-top: 14px;
  max-width: 40ch;
  color: var(--muted);
}
.footer-bottom {
  display: flex;
  justify-content: space-between;
  gap: 16px;
  flex-wrap: wrap;
  margin-top: 48px;
  padding-top: 24px;
  border-top: 1px solid var(--line);
  color: var(--faint);
  font-size: 14px;
}

/* Reveal on scroll; only hidden when JS is running. */
.js .reveal {
  opacity: 0;
  transform: translateY(14px);
  transition: opacity 0.7s ease, transform 0.7s cubic-bezier(0.2, 0.7, 0.2, 1);
  transition-delay: var(--d, 0s);
}
.js .reveal.in {
  opacity: 1;
  transform: none;
}

/* 404 */
.notfound {
  min-height: calc(100vh - 64px - 160px);
  display: grid;
  place-items: center;
  text-align: center;
  padding: 80px 0;
}
.notfound .code {
  font-family: var(--mono);
  color: var(--accent-text);
  font-size: 15px;
  margin-bottom: 14px;
}
.notfound h1 {
  font-size: clamp(36px, 6vw, 56px);
  font-weight: 700;
  letter-spacing: -0.035em;
}
.notfound p {
  margin: 16px auto 32px;
  color: var(--muted);
  max-width: 40ch;
}

@media (max-width: 760px) {
  :root {
    --gutter: 16px;
  }
  body {
    font-size: 16px;
  }
  .nav .sep {
    display: none;
  }
  /* Without JS the links sit on a second row under the brand. */
  .site-header .wrap {
    flex-wrap: wrap;
    height: auto;
    min-height: 64px;
    column-gap: 12px;
    row-gap: 0;
  }
  .nav {
    display: contents;
  }
  .nav-links {
    order: 3;
    flex: 1 1 100%;
    flex-wrap: wrap;
    padding-bottom: 10px;
  }
  .nav-links a {
    padding: 6px 10px;
  }
  .nav .gh {
    margin-left: auto;
  }
  /* With JS they fold into a menu that opens under the header. */
  .js .site-header .wrap {
    flex-wrap: nowrap;
    height: 64px;
  }
  .js .nav {
    display: flex;
    gap: 2px;
  }
  .js .nav .nav-toggle {
    display: inline-grid;
    order: 9;
    width: 44px;
    height: 44px;
  }
  .js .nav-links {
    display: none;
    position: absolute;
    top: 100%;
    left: 0;
    right: 0;
    flex-direction: column;
    align-items: stretch;
    gap: 0;
    padding: 8px var(--gutter) 14px;
    background: var(--bg-raised);
    border-bottom: 1px solid var(--line-strong);
    box-shadow: var(--shadow-md);
  }
  .js .nav.open .nav-links {
    display: flex;
    animation: menu-in 0.18s ease-out;
    /* A scrim over the page; a tap on it closes the menu. */
    box-shadow: var(--shadow-lg), 0 0 0 100vmax rgba(2, 8, 12, 0.5);
  }
  .js .nav-links li + li {
    border-top: 1px solid var(--line);
  }
  .js .nav-links a {
    display: grid;
    gap: 1px;
    min-height: 56px;
    padding: 9px 12px 9px 14px;
    border-radius: 10px;
    font-size: 17px;
    font-weight: 600;
    color: var(--text);
  }
  .js .nav-links a[aria-current="page"] {
    box-shadow: inset 3px 0 0 var(--accent);
  }
  .js .nav-links a[aria-current="page"] .nav-l {
    color: var(--accent-text);
  }
  .js .nav-hint {
    display: block;
    font-size: 13.5px;
    font-weight: 450;
    color: var(--muted);
  }
}
/* Just above the phone layout the full nav only fits with tighter links. */
@media (min-width: 761px) and (max-width: 900px) {
  .site-header .wrap {
    gap: 12px;
  }
  .nav a {
    padding: 8px 9px;
  }
  .nav .sep {
    margin: 0 4px;
  }
}
@keyframes menu-in {
  from {
    opacity: 0;
    transform: translateY(-6px);
  }
}
@media (max-width: 760px) {
  .section {
    padding: 80px 0;
  }
  .section-head {
    margin-bottom: 36px;
  }
  .stage {
    padding: 12px;
  }
  .tz-svg text {
    font-size: 12.5px;
  }
  .nav .icon-btn {
    width: 44px;
    height: 44px;
  }
  .site-header .brand {
    min-height: 44px;
  }
  .text-link,
  .page-toc a {
    min-height: 44px;
  }
  .footer-grid ul {
    gap: 0;
  }
  .footer-grid a,
  .footer-bottom a {
    display: inline-block;
    padding: 11px 0;
  }
  .intro-fig .stage {
    padding: 14px 12px;
  }
  .footer-grid {
    grid-template-columns: 1fr 1fr;
  }
  .footer-about {
    grid-column: 1 / -1;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
  *,
  *::before,
  *::after {
    animation: none !important;
    transition-duration: 0.01ms !important;
  }
  .js .reveal {
    opacity: 1;
    transform: none;
  }
}

.nowrap {
  white-space: nowrap;
}
@media (max-width: 420px) {
  .tz-svg text {
    font-size: 13px;
  }
}