:root,
:root[data-theme="light"] {
  color-scheme: light;
  --bg: #f6f7fb;
  --ink: #171923;
  --muted: #606775;
  --surface: #ffffff;
  --surface-strong: #e9edf5;
  --border: #d8deea;
  --accent: #405cc7;
  --accent-ink: #ffffff;
  --accent-soft: #dfe6ff;
  --warm: #b45d39;
  --cool: #7059b7;
  --sun: #d88a21;
  --moon: #5967cc;
  --moon-fill: #777fd6;
  --moon-crater: #4f59bb;
  --header-bg: rgb(246 247 251 / 88%);
  --shadow: 0 24px 80px rgb(31 38 58 / 12%);
  --radius: 8px;
  font-family:
    Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
    sans-serif;
}

:root[data-theme="dark"] {
  color-scheme: dark;
  --bg: #111318;
  --ink: #f4f1ea;
  --muted: #aeb5c4;
  --surface: #181b23;
  --surface-strong: #242938;
  --border: #343a4a;
  --accent: #9fb2ff;
  --accent-ink: #111318;
  --accent-soft: #24315f;
  --warm: #eda06d;
  --cool: #b6a8ff;
  --sun: #f5b24e;
  --moon: #c5ceff;
  --moon-fill: #d8dcef;
  --moon-crater: #96a1cf;
  --header-bg: rgb(17 19 24 / 88%);
  --shadow: 0 24px 80px rgb(0 0 0 / 34%);
}

* {
  box-sizing: border-box;
}

html {
  background: var(--bg);
  color: var(--ink);
  overflow-x: clip;
  scroll-padding-top: 76px;
  scroll-behavior: smooth;
}

body {
  min-width: 320px;
  margin: 0;
  background: linear-gradient(180deg, color-mix(in srgb, var(--surface-strong), transparent 70%), transparent 280px), var(--bg);
  color: var(--ink);
  font-size: 16px;
  line-height: 1.6;
  overflow-x: clip;
  padding-bottom: 48px;
}

a {
  color: inherit;
}

button {
  font: inherit;
}

main {
  width: min(1120px, calc(100% - 40px));
  margin-inline: auto;
}

[id] {
  scroll-margin-top: 76px;
}

.site-header {
  position: sticky;
  top: 0;
  z-index: 30;
  border-bottom: 1px solid color-mix(in srgb, var(--border), transparent 18%);
  background: var(--header-bg);
  backdrop-filter: blur(14px);
}

.site-header-inner {
  display: grid;
  grid-template-columns: 1fr auto;
  width: min(1120px, calc(100% - 40px));
  gap: 12px;
  align-items: center;
  margin-inline: auto;
  padding: 10px 0;
}

.site-nav {
  display: flex;
  gap: 8px;
  align-items: center;
}

.nav-icon-link {
  position: relative;
  display: inline-grid;
  width: 34px;
  height: 34px;
  place-items: center;
  border: 1px solid transparent;
  border-radius: 999px;
  color: var(--muted);
  text-decoration: none;
  transition:
    background 160ms ease,
    border-color 160ms ease,
    color 160ms ease,
    transform 160ms ease;
}

.nav-icon-link svg {
  width: 18px;
  height: 18px;
  fill: none;
  stroke: currentColor;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 1.8;
}

.nav-icon-link[href*="github"] svg {
  fill: currentColor;
  stroke: none;
}

.nav-icon-link:hover,
.nav-icon-link:focus-visible {
  border-color: color-mix(in srgb, var(--accent), transparent 52%);
  background: color-mix(in srgb, var(--accent-soft), transparent 14%);
  color: var(--ink);
  transform: translateY(-1px);
}

.nav-icon-link::after {
  position: absolute;
  top: calc(100% + 10px);
  left: 50%;
  z-index: 4;
  padding: 5px 8px;
  border: 1px solid var(--border);
  border-radius: 999px;
  background: var(--surface);
  box-shadow: 0 10px 28px rgb(0 0 0 / 14%);
  color: var(--ink);
  content: attr(data-tooltip);
  font-size: 0.72rem;
  line-height: 1;
  opacity: 0;
  pointer-events: none;
  transform: translate(-50%, -4px);
  transition:
    opacity 120ms ease,
    transform 120ms ease;
  white-space: nowrap;
}

.nav-icon-link:hover::after,
.nav-icon-link:focus-visible::after {
  opacity: 1;
  transform: translate(-50%, 0);
}

.theme-toggle {
  display: inline-grid;
  grid-template-columns: 18px 40px 18px;
  gap: 7px;
  align-items: center;
  min-height: 34px;
  padding: 4px 6px;
  border: 1px solid var(--border);
  border-radius: 999px;
  background: color-mix(in srgb, var(--surface), transparent 4%);
  color: var(--muted);
  cursor: pointer;
  transition:
    border-color 160ms ease,
    box-shadow 160ms ease;
}

.theme-toggle:hover,
.theme-toggle:focus-visible {
  border-color: color-mix(in srgb, var(--accent), var(--border) 42%);
  box-shadow: 0 8px 24px color-mix(in srgb, var(--accent), transparent 86%);
}

.theme-icon {
  width: 18px;
  height: 18px;
  fill: none;
  stroke: currentColor;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 1.75;
  opacity: 0.5;
  transition:
    color 180ms ease,
    opacity 180ms ease,
    transform 180ms ease;
}

.sun-icon circle {
  fill: color-mix(in srgb, var(--sun), transparent 76%);
}

.moon-disc {
  fill: var(--moon-fill);
  stroke: none;
}

.moon-shadow {
  fill: color-mix(in srgb, var(--surface), var(--bg) 28%);
  stroke: none;
  opacity: 0;
  transform-box: fill-box;
  transform-origin: center;
}

.moon-shadow-left {
  transform: translateX(-14.2px);
}

.moon-shadow-right {
  transform: translateX(14.2px);
}

.moon-crater {
  fill: color-mix(in srgb, var(--moon-crater), transparent 4%);
  stroke: color-mix(in srgb, var(--moon-fill), white 28%);
  stroke-width: 0.42;
}

.moon-outline {
  fill: none;
  stroke: currentColor;
}

.toggle-track {
  position: relative;
  display: block;
  width: 40px;
  height: 20px;
  border-radius: 999px;
  background: color-mix(in srgb, var(--surface-strong), var(--bg) 24%);
  box-shadow: inset 0 0 0 1px color-mix(in srgb, var(--border), transparent 12%);
}

.toggle-thumb {
  position: absolute;
  top: 3px;
  left: 3px;
  width: 14px;
  height: 14px;
  border-radius: 999px;
  background: var(--accent);
  box-shadow: 0 2px 8px color-mix(in srgb, var(--accent), transparent 50%);
  transition:
    background 180ms ease,
    transform 180ms ease;
}

:root[data-theme="dark"] .toggle-thumb {
  transform: translateX(20px);
}

:root[data-theme="light"] .sun-icon {
  color: var(--sun);
  opacity: 1;
  transform: scale(1.04);
}

:root[data-theme="dark"] .moon-icon {
  color: var(--moon);
  opacity: 1;
  transform: scale(1.04);
}

:root[data-theme="light"] .sun-rays {
  animation: sun-rays 4.8s ease-in-out infinite;
  transform-box: fill-box;
  transform-origin: center;
}

:root[data-theme="dark"] .moon-shadow-left {
  animation: moon-phase-left 7.2s ease-in-out infinite;
}

:root[data-theme="dark"] .moon-shadow-right {
  animation: moon-phase-right 7.2s ease-in-out infinite;
}

@keyframes sun-rays {
  0%,
  100% {
    opacity: 0.62;
    transform: scale(0.94) rotate(0deg);
  }

  50% {
    opacity: 1;
    transform: scale(1.13) rotate(12deg);
  }
}

@keyframes moon-phase-left {
  0%,
  8%,
  46%,
  100% {
    opacity: 0;
    transform: translateX(-14.2px);
  }

  14%,
  34% {
    opacity: 1;
  }

  24% {
    opacity: 1;
    transform: translateX(-4.8px);
  }

  40% {
    opacity: 0;
    transform: translateX(-14.2px);
  }
}

@keyframes moon-phase-right {
  0%,
  50%,
  100% {
    opacity: 0;
    transform: translateX(14.2px);
  }

  56%,
  78% {
    opacity: 1;
  }

  66% {
    opacity: 1;
    transform: translateX(4.8px);
  }

  90% {
    opacity: 0;
    transform: translateX(14.2px);
  }
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    animation-duration: 0.001ms !important;
    animation-iteration-count: 1 !important;
    scroll-behavior: auto !important;
    transition-duration: 0.001ms !important;
  }
}

.intro {
  display: grid;
  grid-template-columns: minmax(0, 1.08fr) minmax(280px, 0.92fr);
  gap: clamp(28px, 6vw, 72px);
  align-items: center;
  padding: 48px 0 56px;
}

.eyebrow {
  margin: 0 0 14px;
  color: var(--accent);
  font-size: 0.75rem;
  font-weight: 760;
  letter-spacing: 0;
  text-transform: uppercase;
}

h1,
h2,
p {
  margin-top: 0;
}

h1 {
  max-width: 7ch;
  margin-bottom: 22px;
  font-size: clamp(4rem, 12vw, 8.6rem);
  line-height: 0.9;
  letter-spacing: 0;
}

.migaki-title-word {
  display: inline-block;
  white-space: nowrap;
}

.migaki-title-syllable {
  display: inline-block;
  animation: migaki-title-hop 5.6s cubic-bezier(0.2, 0.72, 0.22, 1) infinite;
  animation-delay: calc(var(--migaki-syllable-step, 0) * 170ms);
  transform-origin: 50% 90%;
  will-change: transform;
}

.migaki-title-syllable:nth-child(2) {
  --migaki-syllable-step: 1;
}

.migaki-title-syllable:nth-child(3) {
  --migaki-syllable-step: 2;
}

@keyframes migaki-title-hop {
  0%,
  8%,
  18%,
  100% {
    transform: translateY(0);
  }

  11% {
    transform: translateY(-0.055em);
  }

  14% {
    transform: translateY(0.012em);
  }
}

h2 {
  margin-bottom: 10px;
  font-size: clamp(2rem, 4vw, 3.4rem);
  line-height: 1.02;
  letter-spacing: 0;
}

.intro-text {
  max-width: 640px;
  margin-bottom: 0;
  color: var(--muted);
  font-size: clamp(1.06rem, 2vw, 1.28rem);
}

.button {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-height: 44px;
  padding: 10px 16px;
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: color-mix(in srgb, var(--surface), transparent 4%);
  color: var(--ink);
  font-weight: 690;
  text-decoration: none;
  box-shadow: 0 1px 0 rgb(255 255 255 / 12%) inset;
}

.button:hover,
.button:focus-visible,
.link-card:hover,
.link-card:focus-visible {
  border-color: color-mix(in srgb, var(--accent), var(--border) 45%);
  transform: translateY(-1px);
}

.button.primary {
  border-color: transparent;
  background: var(--accent);
  color: var(--accent-ink);
}

.trace-figure {
  display: grid;
  overflow: hidden;
  justify-items: center;
  margin: 0;
  padding: 18px;
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: transparent;
}

.trace-diagram {
  --trace-cycle: 3s;
  display: block;
  width: min(100%, 650px);
  height: auto;
  color: var(--ink);
  overflow: visible;
}

.trace-flow-stop {
  stop-color: var(--accent);
}

.trace-sweep-stop-clear {
  stop-color: var(--accent);
  stop-opacity: 0;
}

.trace-sweep-stop-faint {
  stop-color: var(--accent);
  stop-opacity: 0.04;
}

.trace-sweep-stop-trail {
  stop-color: var(--accent);
  stop-opacity: 0.14;
}

.trace-sweep-stop-core {
  stop-color: var(--accent);
  stop-opacity: 0.38;
}

.trace-sweep-stop-front {
  stop-color: var(--accent);
  stop-opacity: 0.1;
}

.trace-connector-stop-clear {
  stop-color: var(--accent);
  stop-opacity: 0;
}

.trace-connector-stop-faint {
  stop-color: var(--accent);
  stop-opacity: 0.18;
}

.trace-connector-stop-core {
  stop-color: var(--accent);
  stop-opacity: 0.98;
}

.trace-connector-stop-front {
  stop-color: var(--accent);
  stop-opacity: 0.36;
}

.trace-endpoint-glow {
  fill: none;
  filter: url(#trace-soft-glow);
  opacity: 0.2;
  stroke-width: 1.8;
  transform-box: fill-box;
  transform-origin: center;
  vector-effect: non-scaling-stroke;
}

.trace-source-glow,
.trace-provider-glow {
  stroke: var(--accent);
}

.trace-flow-base,
.trace-flow-pulse {
  fill: none;
  stroke: url(#trace-flow-gradient);
  stroke-linecap: round;
  stroke-width: 4;
  vector-effect: non-scaling-stroke;
}

.trace-flow-base {
  opacity: 0.4;
}

.trace-flow-pulse {
  --trace-dash-length: 0.26;
  --trace-dash-start: 0.26;
  --trace-dash-end: -1;
  animation: trace-flow-hop var(--trace-cycle) ease-in-out infinite;
  animation-delay: var(--trace-delay);
  filter: url(#trace-soft-glow);
  opacity: 0;
  stroke-dasharray: var(--trace-dash-length) 1.2;
  stroke-dashoffset: var(--trace-dash-start);
  stroke-width: 2.4;
}

.trace-flow-short-band {
  animation: trace-flow-short-band var(--trace-cycle) cubic-bezier(0.33, 0, 0.2, 1) infinite;
  animation-delay: var(--trace-delay);
  fill: url(#trace-connector-pulse-ltr);
  filter: url(#trace-soft-glow);
  opacity: 0;
  pointer-events: none;
  transform: translateX(0);
  transform-box: fill-box;
}

.trace-flow-short-band-source {
  --trace-delay: 0.1s;
  --trace-short-distance: 16px;
}

.trace-flow-short-band-provider {
  --trace-delay: 2.38s;
  --trace-short-distance: 48px;
}

.trace-flow-hop-source-plan {
  --trace-dash-length: 0.82;
  --trace-dash-start: 0.82;
  --trace-dash-end: -0.9;
  --trace-delay: 0.1s;
  animation-name: trace-flow-short-hop;
  stroke-width: 2.8;
}

.trace-flow-hop-plan-context {
  --trace-delay: 0.58s;
}

.trace-flow-hop-context-cache {
  --trace-delay: 0.94s;
}

.trace-flow-hop-cache-routing {
  --trace-delay: 1.3s;
}

.trace-flow-hop-routing-verification {
  --trace-delay: 1.66s;
}

.trace-flow-hop-verification-evidence {
  --trace-delay: 2.02s;
}

.trace-flow-hop-evidence-provider {
  --trace-dash-length: 0.82;
  --trace-dash-start: 0.82;
  --trace-dash-end: -0.9;
  --trace-delay: 2.38s;
  animation-name: trace-flow-short-hop;
  stroke-width: 2.8;
}

.trace-card {
  color: var(--accent);
  --active-fill: color-mix(in srgb, var(--surface), var(--accent) 10%);
  --idle-fill: color-mix(in srgb, var(--surface), var(--bg) 18%);
  --trace-sweep-distance: 36px;
}

.trace-card > rect:not(.trace-card-sweep, .trace-endpoint-charge) {
  animation: trace-card-idle var(--trace-cycle) linear infinite;
  fill: var(--idle-fill);
  stroke: color-mix(in srgb, var(--border), transparent 8%);
  stroke-opacity: 0.68;
  stroke-width: 1.2;
  vector-effect: non-scaling-stroke;
}

.trace-card .trace-card-sweep {
  animation-delay: var(--trace-delay, 0s);
  animation-duration: var(--trace-cycle);
  animation-iteration-count: infinite;
  animation-timing-function: cubic-bezier(0.33, 0, 0.2, 1);
  fill: url(#trace-tile-sweep-ltr);
  opacity: 0;
  pointer-events: none;
  stroke: none;
  stroke-opacity: 0;
  stroke-width: 0;
  transform: translateX(0);
  transform-box: fill-box;
  vector-effect: non-scaling-stroke;
}

.trace-card .trace-endpoint-charge {
  animation: trace-endpoint-charge var(--trace-cycle) ease-in-out infinite;
  animation-delay: var(--trace-delay, 0s);
  fill: currentColor;
  opacity: 0;
  pointer-events: none;
  stroke: none;
  stroke-opacity: 0;
  stroke-width: 0;
  transform: scaleX(0);
  transform-box: fill-box;
  transform-origin: left center;
}

.trace-card .trace-source-charge {
  --trace-delay: 0s;
}

.trace-card .trace-backend-charge {
  --trace-delay: 2.64s;
}

.trace-card .trace-card-sweep-ltr {
  animation-name: trace-card-sweep-ltr;
  fill: url(#trace-tile-sweep-ltr);
}

.trace-card .trace-card-sweep-rtl {
  animation-name: trace-card-sweep-rtl;
  fill: url(#trace-tile-sweep-rtl);
}

.trace-card-label {
  dominant-baseline: middle;
  fill: currentColor;
  font-size: 24px;
  font-weight: 760;
  letter-spacing: 0;
  text-anchor: middle;
}

.trace-card-pass,
.trace-card-evidence,
.trace-card-provider {
  --active-fill: color-mix(in srgb, var(--surface), var(--accent) 13%);
}

.trace-pass-label,
.trace-micro-label {
  dominant-baseline: middle;
  fill: currentColor;
  font-weight: 760;
  letter-spacing: 0;
  text-anchor: middle;
}

.trace-pass-label {
  font-size: 17px;
}

.trace-card-label-compact {
  font-size: 21px;
}

.trace-endpoint-label {
  font-size: 14px;
}

.trace-backend-label {
  font-size: 16px;
}

.trace-micro-label {
  fill: var(--muted);
  font-size: 12px;
  font-weight: 680;
}

.trace-card-source > rect:first-of-type {
  --trace-delay: 0s;
  animation: trace-card-activate var(--trace-cycle) linear infinite;
  animation-delay: var(--trace-delay);
  stroke: color-mix(in srgb, var(--accent), var(--border) 40%);
}

.trace-card-plan {
  --trace-delay: 0.36s;
  --trace-sweep-distance: 24px;
}

.trace-card-plan > rect:first-of-type {
  animation: trace-card-activate var(--trace-cycle) linear infinite;
  animation-delay: var(--trace-delay);
}

.trace-card-context {
  --trace-delay: 0.76s;
}

.trace-card-context > rect:first-of-type {
  animation: trace-card-activate var(--trace-cycle) linear infinite;
  animation-delay: var(--trace-delay);
}

.trace-card-cache {
  --trace-delay: 1.12s;
}

.trace-card-cache > rect:first-of-type {
  animation: trace-card-activate var(--trace-cycle) linear infinite;
  animation-delay: var(--trace-delay);
}

.trace-card-routing {
  --trace-delay: 1.48s;
}

.trace-card-routing > rect:first-of-type {
  animation: trace-card-activate var(--trace-cycle) linear infinite;
  animation-delay: var(--trace-delay);
}

.trace-card-verification {
  --trace-delay: 1.84s;
}

.trace-card-verification > rect:first-of-type {
  animation: trace-card-activate var(--trace-cycle) linear infinite;
  animation-delay: var(--trace-delay);
}

.trace-card-evidence {
  --trace-delay: 2.2s;
}

.trace-card-evidence > rect:first-of-type {
  animation: trace-card-activate var(--trace-cycle) linear infinite;
  animation-delay: var(--trace-delay);
}

.trace-card-provider > rect:first-of-type {
  --trace-delay: 2.64s;
  animation: trace-card-activate var(--trace-cycle) linear infinite;
  animation-delay: var(--trace-delay);
  stroke: color-mix(in srgb, var(--accent), var(--border) 40%);
}

.trace-card-evidence > rect:first-of-type {
  stroke: color-mix(in srgb, var(--accent), var(--border) 40%);
}

.trace-migaki-shell {
  fill: color-mix(in srgb, var(--surface), transparent 76%);
  stroke: color-mix(in srgb, var(--accent), var(--border) 54%);
  stroke-width: 1.2;
  vector-effect: non-scaling-stroke;
}

.trace-shell-label {
  animation: trace-title-breathe 5.4s ease-in-out infinite;
  dominant-baseline: middle;
  fill: var(--accent);
  font-size: 16px;
  font-weight: 760;
  letter-spacing: 0;
  text-anchor: start;
  transform-box: fill-box;
  transform-origin: center;
}

.trace-shell-subtitle {
  dominant-baseline: middle;
  fill: var(--muted);
  font-size: 11px;
  font-weight: 700;
  letter-spacing: 0;
  text-anchor: start;
  text-transform: uppercase;
}

@keyframes trace-flow-hop {
  0% {
    opacity: 0;
    stroke-dashoffset: var(--trace-dash-start);
  }

  1% {
    opacity: 0.98;
    stroke-dashoffset: var(--trace-dash-start);
  }

  7% {
    opacity: 0.98;
    stroke-dashoffset: var(--trace-dash-end);
  }

  8.5% {
    opacity: 0;
    stroke-dashoffset: var(--trace-dash-end);
  }

  8.6%,
  100% {
    opacity: 0;
    stroke-dashoffset: var(--trace-dash-start);
  }
}

@keyframes trace-flow-short-hop {
  0% {
    opacity: 0;
    stroke-dashoffset: var(--trace-dash-start);
  }

  1.5% {
    opacity: 1;
    stroke-dashoffset: var(--trace-dash-start);
  }

  13% {
    opacity: 1;
    stroke-dashoffset: var(--trace-dash-end);
  }

  15% {
    opacity: 0;
    stroke-dashoffset: var(--trace-dash-end);
  }

  15.1%,
  100% {
    opacity: 0;
    stroke-dashoffset: var(--trace-dash-start);
  }
}

@keyframes trace-flow-short-band {
  0% {
    opacity: 0;
    transform: translateX(0);
  }

  1.5% {
    opacity: 0.96;
    transform: translateX(0);
  }

  13% {
    opacity: 0.96;
    transform: translateX(var(--trace-short-distance));
  }

  16% {
    opacity: 0;
    transform: translateX(var(--trace-short-distance));
  }

  16.1%,
  100% {
    opacity: 0;
    transform: translateX(0);
  }
}

@keyframes trace-endpoint-charge {
  0% {
    opacity: 0.08;
    transform: scaleX(0);
  }

  4% {
    opacity: 0.28;
    transform: scaleX(1);
  }

  7% {
    opacity: 0.14;
    transform: scaleX(1);
  }

  9%,
  100% {
    opacity: 0;
    transform: scaleX(1);
  }
}

@keyframes trace-card-sweep-ltr {
  0% {
    opacity: 0;
    transform: translateX(0);
  }

  1.2% {
    opacity: 0.7;
    transform: translateX(0);
  }

  8.2% {
    opacity: 0.72;
    transform: translateX(var(--trace-sweep-distance));
  }

  10% {
    opacity: 0;
    transform: translateX(var(--trace-sweep-distance));
  }

  10.1%,
  100% {
    opacity: 0;
    transform: translateX(0);
  }
}

@keyframes trace-card-sweep-rtl {
  0% {
    opacity: 0;
    transform: translateX(var(--trace-sweep-distance));
  }

  1.2% {
    opacity: 0.7;
    transform: translateX(var(--trace-sweep-distance));
  }

  8.2% {
    opacity: 0.72;
    transform: translateX(0);
  }

  10% {
    opacity: 0;
    transform: translateX(0);
  }

  10.1%,
  100% {
    opacity: 0;
    transform: translateX(var(--trace-sweep-distance));
  }
}

@keyframes trace-card-idle {
  0%,
  100% {
    fill: var(--idle-fill);
    stroke-opacity: 0.68;
    stroke-width: 1.2;
  }
}

@keyframes trace-card-activate {
  0%,
  7% {
    fill: var(--active-fill);
    stroke-opacity: 1;
    stroke-width: 2;
  }

  8.5%,
  100% {
    fill: var(--idle-fill);
    stroke-opacity: 0.68;
    stroke-width: 1.2;
  }
}

@keyframes trace-title-breathe {
  0%,
  100% {
    opacity: 0.78;
  }

  50% {
    opacity: 1;
  }
}

@media (prefers-reduced-motion: reduce) {
  .migaki-title-syllable,
  .trace-endpoint-glow,
  .trace-endpoint-charge,
  .trace-flow-pulse,
  .trace-flow-short-band,
  .trace-card-sweep,
  .trace-card rect {
    animation: none;
  }
}

figcaption {
  margin-top: 18px;
  color: var(--muted);
  font-size: 0.9rem;
}

.section {
  padding: 72px 0 48px;
}

.section-heading {
  max-width: none;
  margin-bottom: 26px;
}

.link-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 14px;
}

.link-card {
  display: flex;
  min-height: 184px;
  flex-direction: column;
  gap: 12px;
  justify-content: space-between;
  padding: 20px;
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: color-mix(in srgb, var(--surface), transparent 3%);
  color: var(--ink);
  text-decoration: none;
  transition:
    border-color 160ms ease,
    transform 160ms ease;
}

.card-kicker {
  color: var(--accent);
  font-size: 0.92rem;
  font-weight: 760;
  text-transform: uppercase;
}

.link-card span:last-child {
  color: var(--muted);
}

.whitepaper-preview {
  padding: 60px 0 68px;
  border-top: 1px solid var(--border);
}

.whitepaper-reader {
  overflow: visible;
  border: 1px solid var(--border);
  border-radius: var(--radius);
  background: color-mix(in srgb, var(--bg), var(--surface) 32%);
  color: var(--ink);
  box-shadow: var(--shadow);
}

.paper-toolbar {
  position: sticky;
  top: 0;
  z-index: 2;
  display: flex;
  flex-wrap: wrap;
  gap: 8px 18px;
  justify-content: space-between;
  padding: 11px 14px;
  border-bottom: 1px solid var(--border);
  background: color-mix(in srgb, var(--surface), transparent 4%);
  color: var(--muted);
  font-size: 0.82rem;
}

.paper-source-link {
  display: inline-flex;
  min-width: 0;
  align-items: center;
  gap: 8px;
  color: var(--ink);
  font-weight: 720;
  text-decoration: none;
}

.paper-source-link svg {
  width: 17px;
  height: 17px;
  flex: 0 0 auto;
  fill: currentColor;
}

.paper-source-link span {
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.paper-source-link:hover,
.paper-source-link:focus-visible,
.paper-katex-link:hover,
.paper-katex-link:focus-visible {
  color: var(--accent);
}

.paper-katex-link {
  color: var(--muted);
  font-weight: 680;
  text-decoration: none;
}

.paper-viewport {
  padding: clamp(20px, 4vw, 40px);
  background: color-mix(in srgb, var(--surface-strong), transparent 42%);
}

.paper-status {
  margin: 0;
  color: var(--muted);
}

.paper-document {
  --paper-accent: #216f69;
  --paper-border: #ded8ca;
  --paper-code-bg: #f4f6f8;
  --paper-code-border: #d7dde6;
  --paper-code-ink: #151719;
  --paper-ink: #181715;
  --paper-muted: #55504a;
  --paper-panel: #f8f6f0;
  --paper-soft-muted: #6a655e;
  --paper-target: #eef6f4;
  min-width: 0;
  color: var(--paper-ink);
  font-family: "Times New Roman", Times, Georgia, serif;
  font-size: 1rem;
  line-height: 1.58;
}

:root[data-theme="dark"] .paper-document {
  --paper-accent: var(--accent);
  --paper-border: color-mix(in srgb, var(--border), transparent 8%);
  --paper-code-bg: color-mix(in srgb, var(--surface-strong), var(--bg) 24%);
  --paper-code-border: color-mix(in srgb, var(--border), transparent 12%);
  --paper-code-ink: var(--ink);
  --paper-ink: color-mix(in srgb, var(--ink), white 6%);
  --paper-muted: color-mix(in srgb, var(--muted), var(--ink) 18%);
  --paper-panel: color-mix(in srgb, var(--surface-strong), var(--bg) 22%);
  --paper-soft-muted: var(--muted);
  --paper-target: color-mix(in srgb, var(--accent), transparent 84%);
}

.paper-flow,
.paper-document > * {
  min-width: 0;
}

.paper-document:empty {
  display: none;
}

.paper-flow {
  display: grid;
  gap: 12px;
  width: min(100%, 8.5in);
  margin-inline: auto;
}

.paper-title-page {
  padding: 20px 0 8px;
  text-align: center;
}

.paper-title {
  margin: 0;
  font-size: 1.56rem;
  font-weight: 700;
  line-height: 1.16;
}

.paper-subtitle {
  margin: 8px 0 0;
  font-size: 1.08rem;
}

.paper-byline {
  max-width: 38rem;
  margin: 12px auto 0;
  color: var(--paper-muted);
  font-size: 0.95rem;
  line-height: 1.45;
}

.paper-document h3,
.paper-document h4 {
  max-width: 100%;
  margin: 10px 0 0;
  color: inherit;
  letter-spacing: 0;
}

.paper-document h3 {
  font-family: "Times New Roman", Times, Georgia, serif;
  font-size: 1.18rem;
  line-height: 1.2;
}

.paper-document h4 {
  font-family: "Times New Roman", Times, Georgia, serif;
  font-size: 1.03rem;
  font-style: italic;
  line-height: 1.25;
}

.paper-document p,
.paper-document li,
.paper-document blockquote,
.paper-document pre,
.paper-document table,
.paper-table-scroll {
  max-width: 100%;
}

.paper-document p,
.paper-document ul,
.paper-document blockquote,
.paper-document pre,
.paper-document table,
.paper-table-scroll {
  margin: 0;
}

.paper-document ul {
  display: grid;
  gap: 6px;
  padding-left: 1.2rem;
}

.paper-document blockquote,
.paper-theorem,
.paper-center {
  margin: 0;
  padding: 11px 13px;
  border: 1px solid var(--paper-border);
  border-radius: 4px;
  background: var(--paper-panel);
}

.paper-theorem-title {
  display: block;
  margin-bottom: 6px;
  color: var(--paper-accent);
  font-family: "Times New Roman", Times, Georgia, serif;
  font-size: 0.8rem;
  font-weight: 760;
  text-transform: uppercase;
}

.paper-center {
  display: grid;
  gap: 6px;
  justify-items: center;
  text-align: center;
}

.paper-document pre {
  overflow-x: auto;
  padding: 12px;
  border: 1px solid var(--paper-code-border);
  border-radius: 4px;
  background: var(--paper-code-bg);
  color: var(--paper-code-ink);
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  font-size: 0.78rem;
  line-height: 1.5;
  white-space: pre-wrap;
}

.paper-document code {
  font-family: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  font-size: 0.92em;
}

.paper-table-scroll {
  width: 100%;
  overflow-x: auto;
}

.paper-document table {
  width: 100%;
  border-collapse: collapse;
  overflow: hidden;
  border: 1px solid var(--paper-border);
  border-radius: 4px;
  font-family:
    Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI",
    sans-serif;
  font-size: 0.78rem;
}

.paper-document th,
.paper-document td {
  padding: 8px 10px;
  border-bottom: 1px solid var(--paper-border);
  text-align: left;
  vertical-align: top;
}

.paper-document tr:last-child th,
.paper-document tr:last-child td {
  border-bottom: 0;
}

.paper-document th {
  color: var(--paper-accent);
  font-weight: 760;
}

.paper-caption,
.paper-citation {
  color: var(--paper-soft-muted);
}

.paper-caption {
  margin-top: -8px;
  font-size: 0.9rem;
}

.paper-citation a {
  color: var(--paper-accent);
  text-decoration-thickness: 0.08em;
  text-underline-offset: 0.16em;
}

.paper-reference {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  gap: 0 8px;
  font-size: 0.82rem;
  line-height: 1.42;
}

.paper-reference-number {
  color: var(--paper-soft-muted);
}

.paper-reference:target {
  background: var(--paper-target);
}

.paper-equation {
  width: 100%;
  max-width: 100%;
  overflow-x: auto;
  overflow-y: hidden;
  padding: 2px 0;
}

.paper-equation-long .katex {
  font-size: 0.82em;
}

.katex-display {
  max-width: 100%;
  margin: 0;
  overflow-x: auto;
  overflow-y: hidden;
}

.site-footer {
  position: fixed;
  right: 0;
  bottom: 0;
  left: 0;
  z-index: 30;
  border-top: 1px solid color-mix(in srgb, var(--border), transparent 16%);
  background: color-mix(in srgb, var(--bg), transparent 7%);
  backdrop-filter: blur(14px);
}

.site-footer-inner {
  display: flex;
  flex-wrap: wrap;
  width: min(1120px, calc(100% - 40px));
  gap: 6px 14px;
  align-items: center;
  justify-content: center;
  min-height: 36px;
  margin-inline: auto;
  padding: 6px 0;
  color: var(--muted);
  font-size: 0.78rem;
  line-height: 1.3;
  text-align: center;
}

.site-footer a {
  color: var(--ink);
  font-weight: 650;
  text-decoration: none;
}

:focus-visible {
  outline: 3px solid color-mix(in srgb, var(--accent), transparent 50%);
  outline-offset: 3px;
}

@media (max-width: 900px) {
  .intro {
    grid-template-columns: 1fr;
    min-height: auto;
  }

  .link-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}

@media (max-width: 620px) {
  html {
    scroll-padding-top: 72px;
  }

  [id] {
    scroll-margin-top: 72px;
  }

  main,
  .site-header-inner,
  .site-footer-inner {
    width: min(100% - 28px, 1120px);
  }

  body {
    padding-bottom: 66px;
  }

  .site-header-inner {
    gap: 10px;
    padding: 8px 0;
  }

  .intro {
    gap: 16px;
    padding: 20px 0 24px;
  }

  h1 {
    margin-bottom: 14px;
  }

  .intro-text {
    margin-bottom: 20px;
    font-size: 1rem;
  }

  .trace-figure {
    padding: 12px;
  }

  figcaption {
    display: none;
  }

  .section {
    padding: 34px 0 38px;
  }

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

  .whitepaper-preview {
    padding: 34px 0 42px;
  }

  .paper-viewport {
    padding: 12px;
  }

  .paper-document {
    font-size: 0.94rem;
  }

  .paper-title {
    font-size: 1.25rem;
  }

  .paper-document table {
    width: max-content;
    min-width: 100%;
    white-space: nowrap;
  }

  .site-footer-inner {
    gap: 4px 10px;
    justify-content: center;
    min-height: 48px;
    font-size: 0.74rem;
  }
}