/* agent-distro.nixos.asia — one page. Dark follows the system by default;
   data-theme on <html> overrides it (remembered by site.js). The three accent
   colours are the logo's three dots. */

:root {
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, "Liberation Mono", "DejaVu Sans Mono", monospace;
  --coral: #e07a5f;
  --teal: #7fd1c3;
  --violet: #8f7cf0;
  --wrap: 1120px;
  --prose: 46rem;
  --radius: 12px;
  --header-h: 60px;

  --bg: #0e1014;
  --bg-2: #151821;
  --bg-3: #1c202b;
  --line: #262b38;
  --line-2: #323847;
  --text: #e8eaf0;
  --text-2: #a3abbd;
  --text-3: #6f7889;
  --link: #b3a7ff;
  --link-hover: #cfc7ff;
  --accent: var(--teal);
  --accent-ink: #0b1512;
  --glow-a: rgba(224, 122, 95, 0.18);
  --glow-b: rgba(127, 209, 195, 0.16);
  --glow-c: rgba(143, 124, 240, 0.2);
  --shadow: 0 1px 2px rgba(0,0,0,.4), 0 24px 60px -20px rgba(0,0,0,.6);
  --code-bg: #12151c;
  --kbd-bg: #1c202b;
  color-scheme: dark;
}

@media (prefers-color-scheme: light) {
  :root:not([data-theme="dark"]) {
    --bg: #fafafc;
    --bg-2: #ffffff;
    --bg-3: #f1f2f6;
    --line: #e4e6ee;
    --line-2: #d3d6e0;
    --text: #171a22;
    --text-2: #555d70;
    --text-3: #8a91a3;
    --link: #5b47d6;
    --link-hover: #3f2db8;
    --accent: #1f8f7c;
    --accent-ink: #ffffff;
    --glow-a: rgba(224, 122, 95, 0.22);
    --glow-b: rgba(127, 209, 195, 0.3);
    --glow-c: rgba(143, 124, 240, 0.22);
    --shadow: 0 1px 2px rgba(20,24,40,.08), 0 24px 60px -24px rgba(20,24,40,.25);
    --code-bg: #f3f4f8;
    --kbd-bg: #ffffff;
    color-scheme: light;
  }
}
:root[data-theme="light"] {
  --bg: #fafafc;
  --bg-2: #ffffff;
  --bg-3: #f1f2f6;
  --line: #e4e6ee;
  --line-2: #d3d6e0;
  --text: #171a22;
  --text-2: #555d70;
  --text-3: #8a91a3;
  --link: #5b47d6;
  --link-hover: #3f2db8;
  --accent: #1f8f7c;
  --accent-ink: #ffffff;
  --glow-a: rgba(224, 122, 95, 0.22);
  --glow-b: rgba(127, 209, 195, 0.3);
  --glow-c: rgba(143, 124, 240, 0.22);
  --shadow: 0 1px 2px rgba(20,24,40,.08), 0 24px 60px -24px rgba(20,24,40,.25);
  --code-bg: #f3f4f8;
  --kbd-bg: #ffffff;
  color-scheme: light;
}

/* ---- base ------------------------------------------------------------- */

*, *::before, *::after { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: calc(var(--header-h) + 16px); -webkit-text-size-adjust: 100%; }
body {
  margin: 0;
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.6;
  color: var(--text);
  background: var(--bg);
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}
a { color: var(--link); text-decoration: none; text-underline-offset: 3px; }
a:hover { color: var(--link-hover); text-decoration: underline; }
a:focus-visible, button:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; border-radius: 4px; }
img { max-width: 100%; height: auto; }
code, kbd, pre, samp { font-family: var(--mono); font-size: 0.92em; }
kbd {
  display: inline-block;
  padding: 0 .4em;
  border: 1px solid var(--line-2);
  border-bottom-width: 2px;
  border-radius: 5px;
  background: var(--kbd-bg);
  font-size: .82em;
  line-height: 1.6;
}
.wrap { width: min(100% - 40px, var(--wrap)); margin-inline: auto; }
.muted { color: var(--text-3); }
.skip {
  position: absolute; left: 12px; top: -60px; z-index: 100;
  padding: 8px 12px; background: var(--accent); color: var(--accent-ink); border-radius: 8px;
}
.skip:focus { top: 12px; }

/* ---- header ----------------------------------------------------------- */

.top {
  position: sticky; top: 0; z-index: 50;
  height: var(--header-h);
  background: color-mix(in srgb, var(--bg) 78%, transparent);
  backdrop-filter: saturate(160%) blur(14px);
  -webkit-backdrop-filter: saturate(160%) blur(14px);
  border-bottom: 1px solid var(--line);
}
.top-inner { display: flex; align-items: center; gap: 20px; height: 100%; }
.brand { display: inline-flex; align-items: center; gap: 10px; font-weight: 650; color: var(--text); letter-spacing: -.01em; }
.brand:hover { text-decoration: none; color: var(--text); }
.brand img { color: var(--text); }
.top-nav { display: flex; gap: 4px; margin-left: auto; }
.top-nav a {
  padding: 6px 10px; border-radius: 8px; color: var(--text-2); font-size: .95rem;
  display: inline-flex; align-items: center; gap: 6px;
}
.top-nav a:hover { color: var(--text); background: var(--bg-3); text-decoration: none; }
.theme-toggle, .contents-button, .copy {
  appearance: none; border: 1px solid var(--line); background: var(--bg-2); color: var(--text-2);
  border-radius: 8px; cursor: pointer; font: inherit;
}
.theme-toggle { width: 36px; height: 36px; display: grid; place-items: center; }
.theme-toggle:hover { color: var(--text); border-color: var(--line-2); }
.theme-toggle .icon-moon { display: none; }
:root[data-theme="light"] .theme-toggle .icon-sun { display: none; }
:root[data-theme="light"] .theme-toggle .icon-moon { display: block; }
@media (prefers-color-scheme: light) {
  :root:not([data-theme]) .theme-toggle .icon-sun { display: none; }
  :root:not([data-theme]) .theme-toggle .icon-moon { display: block; }
}
@media (max-width: 760px) {
  .top-nav a:not(.top-github) { display: none; }
  .top-nav a.top-github span { display: none; }
}

/* ---- hero ------------------------------------------------------------- */

.hero {
  position: relative;
  padding: clamp(56px, 9vw, 112px) 0 clamp(28px, 4vw, 48px);
  text-align: center;
  overflow: hidden;
  isolation: isolate;
}
.hero::before {
  content: ""; position: absolute; inset: -40% -20% auto; height: 140%; z-index: -1;
  background:
    radial-gradient(42% 50% at 22% 35%, var(--glow-a), transparent 70%),
    radial-gradient(38% 46% at 78% 30%, var(--glow-c), transparent 70%),
    radial-gradient(40% 44% at 50% 80%, var(--glow-b), transparent 70%);
  filter: blur(10px);
  pointer-events: none;
}
.hero::after {
  content: ""; position: absolute; inset: 0; z-index: -1;
  background-image:
    linear-gradient(to right, color-mix(in srgb, var(--line) 55%, transparent) 1px, transparent 1px),
    linear-gradient(to bottom, color-mix(in srgb, var(--line) 55%, transparent) 1px, transparent 1px);
  background-size: 48px 48px;
  mask-image: radial-gradient(60% 70% at 50% 40%, #000 30%, transparent 100%);
  -webkit-mask-image: radial-gradient(60% 70% at 50% 40%, #000 30%, transparent 100%);
  pointer-events: none;
}
.hero-inner { max-width: 920px; }
.hero-logo { display: block; margin: 0 auto 22px; color: var(--text); filter: drop-shadow(0 8px 24px rgba(0,0,0,.25)); }
.hero-title {
  margin: 0;
  font-size: clamp(2.1rem, 1.2rem + 4vw, 3.75rem);
  line-height: 1.05;
  letter-spacing: -.03em;
  font-weight: 760;
}
.hero-title em {
  font-style: normal;
  background: linear-gradient(90deg, var(--coral), var(--violet) 55%, var(--teal));
  -webkit-background-clip: text; background-clip: text; color: transparent;
}
.hero-lede {
  margin: 22px auto 0; max-width: 640px;
  font-size: clamp(1.05rem, .95rem + .5vw, 1.25rem); color: var(--text-2); line-height: 1.55;
}
.command {
  display: inline-flex; align-items: center; gap: 12px;
  margin: 32px auto 0; padding: 10px 10px 10px 18px;
  max-width: 100%;
  border: 1px solid var(--line-2); border-radius: 12px;
  background: var(--bg-2); box-shadow: var(--shadow);
  font-family: var(--mono); font-size: clamp(.95rem, .8rem + .6vw, 1.15rem);
}
.command-prompt { color: var(--accent); user-select: none; }
.command-text { color: var(--text); white-space: nowrap; overflow-x: auto; scrollbar-width: none; }
.copy { display: inline-flex; align-items: center; gap: 6px; padding: 6px 10px; font-size: .85rem; font-family: var(--sans); white-space: nowrap; transition: background .15s, color .15s, border-color .15s; }
.copy:hover { color: var(--text); border-color: var(--line-2); background: var(--bg-3); }
.copy.copied { color: var(--accent-ink); background: var(--accent); border-color: var(--accent); }
.hero-actions { display: flex; flex-wrap: wrap; justify-content: center; gap: 10px; margin: 26px 0 0; }
.button {
  display: inline-flex; align-items: center; gap: 8px;
  padding: 10px 16px; border-radius: 10px;
  border: 1px solid var(--line-2); background: var(--bg-2); color: var(--text);
  font-weight: 560; font-size: .95rem;
  transition: transform .15s ease, border-color .15s, background .15s;
}
.button:hover { text-decoration: none; color: var(--text); border-color: var(--text-3); transform: translateY(-1px); }
.button.primary { background: var(--text); color: var(--bg); border-color: var(--text); }
.button.primary:hover { color: var(--bg); }

/* ---- demo ------------------------------------------------------------- */

.demo { margin-top: clamp(16px, 3vw, 32px); }
.terminal {
  margin: 0 auto; max-width: 960px;
  border: 1px solid var(--line-2); border-radius: 14px;
  background: #171717; box-shadow: var(--shadow); overflow: hidden;
}
.terminal-bar {
  display: flex; align-items: center; gap: 7px; height: 36px; padding: 0 14px;
  background: #1f1f22; border-bottom: 1px solid #2b2b30;
}
.terminal-bar .dot { width: 11px; height: 11px; border-radius: 50%; }
.terminal-bar .dot:nth-child(1) { background: var(--coral); }
.terminal-bar .dot:nth-child(2) { background: var(--teal); }
.terminal-bar .dot:nth-child(3) { background: var(--violet); }
.terminal-name { margin-left: auto; margin-right: auto; padding-right: 47px; color: #8a8a93; font-family: var(--mono); font-size: .8rem; }
.terminal-screen { display: block; width: 100%; aspect-ratio: 1400 / 460; background: #171717; }
.terminal figcaption {
  padding: 12px 16px; font-size: .9rem; color: #a0a0a8; background: #1a1a1d; border-top: 1px solid #2b2b30;
}
.terminal figcaption code, .terminal figcaption kbd { color: #e8e8ec; }
.terminal figcaption kbd { background: #26262b; border-color: #3a3a41; }

/* ---- sections --------------------------------------------------------- */

.props, .latest, .fits { margin-top: clamp(56px, 8vw, 96px); }
.section-head { max-width: 640px; margin: 0 0 28px; }
.section-head h2 { margin: 0; font-size: clamp(1.5rem, 1.1rem + 1.6vw, 2.1rem); letter-spacing: -.02em; line-height: 1.15; }
.section-head p { margin: 10px 0 0; color: var(--text-2); font-size: 1.05rem; }

.prop-grid, .harness-grid, .flow-chips { list-style: none; margin: 0; padding: 0; }
.prop-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 14px; }
@media (min-width: 960px) {
  /* Five cards as a centred 3 + 2, not 4 + 1. */
  .prop-grid { grid-template-columns: repeat(6, 1fr); }
  .prop { grid-column: span 2; }
  .prop:nth-child(4) { grid-column: 2 / 4; }
  .prop:nth-child(5) { grid-column: 4 / 6; }
}
.prop {
  position: relative; padding: 22px 22px 20px 22px;
  border: 1px solid var(--line); border-radius: var(--radius); background: var(--bg-2);
  transition: border-color .15s, transform .2s ease;
}
.prop:hover { border-color: var(--line-2); transform: translateY(-2px); }
.prop h2 { margin: 0 0 6px; font-size: 1.05rem; letter-spacing: -.01em; }
.prop p { margin: 0; color: var(--text-2); font-size: .95rem; }
.prop::before {
  content: ""; display: block; width: 26px; height: 26px; margin-bottom: 14px;
  background-color: var(--accent);
  -webkit-mask: var(--icon) center / contain no-repeat; mask: var(--icon) center / contain no-repeat;
}
.prop:nth-child(3n+1)::before { background-color: var(--coral); }
.prop:nth-child(3n+2)::before { background-color: var(--teal); }
.prop:nth-child(3n+3)::before { background-color: var(--violet); }
.prop[data-icon="install"] { --icon: url('data:image/svg+xml;utf8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="black" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M12 3v12"/><path d="m7 10 5 5 5-5"/><path d="M4 17v2a2 2 0 0 0 2 2h12a2 2 0 0 0 2-2v-2"/></svg>'); }
.prop[data-icon="update"] { --icon: url('data:image/svg+xml;utf8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="black" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M4 12a8 8 0 0 1 13.7-5.7L20 8"/><path d="M20 3v5h-5"/><path d="M20 12a8 8 0 0 1-13.7 5.7L4 16"/><path d="M4 21v-5h5"/></svg>'); }
.prop[data-icon="once"] { --icon: url('data:image/svg+xml;utf8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="black" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M12 20h9"/><path d="M16.5 3.5a2.1 2.1 0 0 1 3 3L7 19l-4 1 1-4Z"/></svg>'); }
.prop[data-icon="compose"] { --icon: url('data:image/svg+xml;utf8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="black" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="m12 2 9 5-9 5-9-5 9-5Z"/><path d="m3 12 9 5 9-5"/><path d="m3 17 9 5 9-5"/></svg>'); }
.prop[data-icon="yours"] { --icon: url('data:image/svg+xml;utf8,<svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 24 24" fill="none" stroke="black" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="m12 3 2.3 5.2L20 9l-4.3 3.9L17 19l-5-2.9L7 19l1.3-6.1L4 9l5.7-.8Z"/></svg>'); }

.harness-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr)); gap: 14px; }
.harness {
  position: relative; padding: 20px 20px 18px; overflow: hidden;
  border: 1px solid var(--line); border-radius: var(--radius); background: var(--bg-2);
  transition: border-color .15s, transform .2s ease;
}
.harness::before { content: ""; position: absolute; inset: 0 auto 0 0; width: 3px; background: var(--c); }
.harness:nth-child(3n+1) { --c: var(--coral); }
.harness:nth-child(3n+2) { --c: var(--teal); }
.harness:nth-child(3n+3) { --c: var(--violet); }
.harness:hover { border-color: var(--line-2); transform: translateY(-2px); }
.harness-head { display: flex; align-items: baseline; justify-content: space-between; gap: 10px; }
.harness-title { font-weight: 650; font-size: 1.1rem; letter-spacing: -.01em; }
.harness-version {
  font-family: var(--mono); font-size: .8rem; padding: 2px 8px; border-radius: 999px;
  color: var(--text-2); background: var(--bg-3); border: 1px solid var(--line);
  white-space: nowrap;
}
.harness-version:hover { color: var(--text); text-decoration: none; border-color: var(--line-2); }
.harness-tagline { margin: 6px 0 14px; color: var(--text-2); font-size: .95rem; }
.harness-command { display: block; font-size: .85rem; color: var(--text-3); }
.harness-command::before { content: "$ "; color: var(--c); }

/* ---- how it fits ------------------------------------------------------ */

.flow {
  display: grid; grid-template-columns: 1fr 56px 1fr 56px 1fr; align-items: stretch; gap: 0;
  padding: 26px; border: 1px solid var(--line); border-radius: var(--radius); background: var(--bg-2);
}
.flow-node { padding: 18px; border-radius: 10px; background: var(--bg-3); border: 1px solid var(--line); }
.flow-label { display: block; font-weight: 650; letter-spacing: -.01em; margin-bottom: 8px; }
.flow-node ul { margin: 0; padding: 0; list-style: none; color: var(--text-2); font-size: .95rem; }
.flow-node ul li { padding: 4px 0; border-top: 1px solid var(--line); }
.flow-node ul li:first-child { border-top: 0; }
.flow-opt { font-size: .75rem; color: var(--text-3); margin-left: 6px; padding: 0 6px; border: 1px solid var(--line); border-radius: 999px; }
.flow-sub { display: block; font-size: .82rem; color: var(--text-3); }
.flow-sub code { font-size: .9em; }
.flow-sub a { color: var(--text-2); text-decoration: underline; text-decoration-color: var(--line-2); }
.flow-core { text-align: center; background: var(--bg); border-color: var(--line-2); }
.flow-core img { display: block; margin: 0 auto 10px; color: var(--text); }
.flow-core p { margin: 0; color: var(--text-2); font-size: .9rem; }
.flow-arrow { position: relative; }
.flow-arrow::before {
  content: ""; position: absolute; left: 10px; right: 10px; top: 50%; height: 2px;
  background: linear-gradient(90deg, var(--coral), var(--violet), var(--teal));
  opacity: .8;
}
.flow-arrow::after {
  content: ""; position: absolute; right: 8px; top: 50%; width: 8px; height: 8px;
  border-top: 2px solid var(--teal); border-right: 2px solid var(--teal);
  transform: translateY(-50%) rotate(45deg);
}
.flow-node .flow-chips { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; }
.flow-node .flow-chips li {
  padding: 6px 12px; border: 1px solid var(--line-2); border-top: 1px solid var(--line-2); border-radius: 8px;
  font-size: .9rem; background: var(--bg); color: var(--text); white-space: nowrap;
}
.flow-node .flow-chips li::before { content: "✓ "; color: var(--teal); }
@media (max-width: 820px) {
  .flow { grid-template-columns: 1fr; }
  .flow-arrow { height: 44px; }
  .flow-arrow::before { left: 50%; right: auto; top: 8px; bottom: 8px; width: 2px; height: auto; background: linear-gradient(180deg, var(--coral), var(--violet), var(--teal)); }
  .flow-arrow::after { right: auto; left: 50%; top: auto; bottom: 6px; transform: translateX(-50%) rotate(135deg); }
}

/* ---- kolu ------------------------------------------------------------- */

.kolu { margin-top: clamp(56px, 8vw, 96px); }
.kolu-card {
  display: flex; align-items: center; justify-content: space-between; gap: 28px;
  padding: 28px 32px; border: 1px solid var(--line); border-radius: var(--radius);
  background:
    radial-gradient(60% 120% at 0% 50%, var(--glow-c), transparent 70%),
    radial-gradient(40% 120% at 100% 50%, var(--glow-b), transparent 70%),
    var(--bg-2);
}
.kolu-eyebrow { margin: 0 0 6px; font-size: .78rem; font-weight: 650; letter-spacing: .08em; text-transform: uppercase; color: var(--text-3); }
.kolu-card h2 { margin: 0 0 8px; font-size: clamp(1.3rem, 1rem + 1.2vw, 1.7rem); letter-spacing: -.02em; line-height: 1.2; }
.kolu-card h2 code { font-size: .9em; padding: .05em .35em; border-radius: 6px; background: var(--code-bg); border: 1px solid var(--line); }
.kolu-card p:last-child { margin: 0; color: var(--text-2); max-width: 62ch; }
.kolu-card .button { flex: none; }
@media (max-width: 760px) {
  .kolu-card { flex-direction: column; align-items: flex-start; padding: 22px; }
}

/* ---- docs ------------------------------------------------------------- */

.docs {
  display: grid; grid-template-columns: 250px minmax(0, 1fr); gap: 48px;
  margin-top: clamp(64px, 9vw, 112px);
  padding-top: 40px; border-top: 1px solid var(--line);
}
.sidebar { position: sticky; top: calc(var(--header-h) + 24px); align-self: start; max-height: calc(100vh - var(--header-h) - 48px); overflow-y: auto; scrollbar-width: thin; }
.sidebar-title { margin: 0 0 10px; font-size: .78rem; font-weight: 650; letter-spacing: .08em; text-transform: uppercase; color: var(--text-3); }
.toc ul { list-style: none; margin: 0; padding: 0; }
.toc > nav > ul, .toc > ul { border-left: 1px solid var(--line); }
.toc li { margin: 0; }
.toc a {
  display: block; padding: 5px 12px; margin-left: -1px;
  border-left: 2px solid transparent; color: var(--text-2); font-size: .92rem; line-height: 1.4;
}
.toc a:hover { color: var(--text); text-decoration: none; }
.toc a.active { color: var(--text); border-left-color: var(--accent); font-weight: 560; }
.toc ul ul a { padding-left: 24px; font-size: .86rem; color: var(--text-3); }
.toc ul ul a.active { color: var(--text); }
.toc ul ul { display: none; }
.toc li.open > ul { display: block; }

.contents-button {
  display: none; position: fixed; right: 16px; bottom: 16px; z-index: 60;
  align-items: center; gap: 8px; padding: 10px 14px; border-radius: 999px;
  color: var(--text); background: var(--bg-2); box-shadow: var(--shadow);
}
@media (max-width: 900px) {
  .docs { grid-template-columns: 1fr; gap: 0; }
  .sidebar {
    position: fixed; inset: auto 16px 64px 16px; max-height: 60vh; z-index: 60;
    padding: 16px; border: 1px solid var(--line-2); border-radius: 14px;
    background: var(--bg-2); box-shadow: var(--shadow);
    display: none;
  }
  .sidebar.open { display: block; }
  .contents-button { display: inline-flex; }
}

/* ---- prose ------------------------------------------------------------ */

.prose { max-width: var(--prose); min-width: 0; }
.prose > :first-child { margin-top: 0; }
.prose h2 {
  margin: 72px 0 16px; padding-top: 20px; border-top: 1px solid var(--line);
  font-size: clamp(1.5rem, 1.2rem + 1vw, 1.9rem); letter-spacing: -.02em; line-height: 1.2;
}
.prose > h2:first-child { margin-top: 0; padding-top: 0; border-top: 0; }
.prose h3 { margin: 40px 0 12px; font-size: 1.2rem; letter-spacing: -.01em; }
.prose h2, .prose h3 { position: relative; scroll-margin-top: calc(var(--header-h) + 16px); }
.prose .anchor {
  position: absolute; left: -1.1em; top: 0; bottom: 0; display: flex; align-items: center;
  padding-right: .3em; color: var(--text-3); font-weight: 400; opacity: 0; transition: opacity .15s;
}
.prose h2 .anchor { align-items: flex-end; padding-bottom: .15em; }
.prose h2:hover .anchor, .prose h3:hover .anchor, .prose .anchor:focus-visible { opacity: 1; text-decoration: none; }
.prose p, .prose ul, .prose ol, .prose table, .prose pre, .prose details { margin: 0 0 18px; }
.prose p, .prose li { color: var(--text); }
.prose li { margin: 6px 0; }
.prose li > p { margin-bottom: 8px; }
.prose code { padding: .12em .4em; border-radius: 5px; background: var(--code-bg); border: 1px solid var(--line); font-size: .88em; }
.prose pre { position: relative; padding: 14px 16px; border-radius: 10px; background: var(--code-bg); border: 1px solid var(--line); overflow-x: auto; line-height: 1.5; font-size: .86rem; }
.prose pre code { padding: 0; border: 0; background: none; font-size: inherit; }
.prose div.sourceCode { margin: 0 0 18px; }
.prose div.sourceCode pre { margin: 0; }
.prose pre a[aria-hidden="true"] { display: none; }
.prose pre .copy { position: absolute; top: 8px; right: 8px; opacity: 0; font-size: .78rem; padding: 4px 8px; }
.prose pre:hover .copy, .prose pre .copy:focus-visible, .prose pre .copy.copied { opacity: 1; }
.prose table { width: 100%; border-collapse: collapse; font-size: .92rem; display: block; overflow-x: auto; }
.prose thead th { text-align: left; font-weight: 650; color: var(--text-2); font-size: .8rem; letter-spacing: .04em; text-transform: uppercase; }
.prose th, .prose td { padding: 9px 12px; border-bottom: 1px solid var(--line); vertical-align: top; }
.prose tbody tr:last-child td { border-bottom: 0; }
.prose td code { white-space: nowrap; }
.prose details { padding: 12px 16px; border: 1px solid var(--line); border-radius: 10px; background: var(--bg-2); }
.prose summary { cursor: pointer; font-weight: 560; }
.prose details[open] summary { margin-bottom: 10px; }
.prose a code { color: inherit; }
.prose hr { border: 0; border-top: 1px solid var(--line); margin: 32px 0; }
.prose blockquote { margin: 0 0 18px; padding: 4px 16px; border-left: 3px solid var(--line-2); color: var(--text-2); }

/* Footnotes: a small numbered mark in the text that opens a popover on hover
   or focus (site.js); the notes themselves are listed at the end. */
.prose .footnote-ref {
  display: inline-block; vertical-align: baseline; margin-left: 1px;
  text-decoration: none;
}
.prose .footnote-ref sup {
  display: inline-block; min-width: 1.35em; height: 1.35em; padding: 0 .3em;
  border-radius: 999px; border: 1px solid var(--line-2); background: var(--bg-2);
  color: var(--text-2); font-size: .68em; line-height: 1.35em; text-align: center;
  vertical-align: .35em; font-weight: 600; transition: background .15s, color .15s, border-color .15s;
}
.prose .footnote-ref:hover sup, .prose .footnote-ref:focus-visible sup, .prose .footnote-ref.open sup {
  background: var(--accent); border-color: var(--accent); color: var(--accent-ink);
}
.footnote-pop {
  position: absolute; z-index: 40; width: min(380px, calc(100vw - 32px));
  padding: 12px 14px; border-radius: 10px;
  border: 1px solid var(--line-2); background: var(--bg-2); color: var(--text);
  box-shadow: 0 6px 20px rgba(0,0,0,.28); font-size: .9rem; line-height: 1.5;
}
.footnote-pop p { margin: 0 0 8px; }
.footnote-pop p:last-child { margin: 0; }
.footnote-pop code { font-size: .85em; }
.footnote-pop .footnote-back { display: none; }
.prose .footnotes { margin-top: 64px; padding-top: 20px; border-top: 1px solid var(--line); color: var(--text-2); font-size: .9rem; }
.prose .footnotes::before { content: "Notes"; display: block; margin-bottom: 10px; font-size: .78rem; font-weight: 650; letter-spacing: .08em; text-transform: uppercase; color: var(--text-3); }
.prose .footnotes hr { display: none; }
.prose .footnotes ol { padding-left: 1.6em; }
.prose .footnotes li { margin: 6px 0; }
.prose .footnotes li:target { color: var(--text); }
.prose .footnotes li:target > p:first-child::before { content: ""; position: absolute; left: -1.6em; width: 3px; top: 0; bottom: 0; background: var(--accent); }
.prose .footnotes li { position: relative; }
.prose .footnote-back { margin-left: 6px; text-decoration: none; }

/* pandoc's skylighting classes, dark and light */
.sourceCode .kw, .sourceCode .cf { color: var(--violet); }
.sourceCode .st, .sourceCode .ss, .sourceCode .vs { color: var(--teal); }
.sourceCode .co, .sourceCode .do { color: var(--text-3); font-style: italic; }
.sourceCode .fu, .sourceCode .bu, .sourceCode .ex { color: var(--coral); }
.sourceCode .dt, .sourceCode .at, .sourceCode .va { color: var(--text); }
.sourceCode .dv, .sourceCode .fl, .sourceCode .bn { color: var(--coral); }
.sourceCode .op, .sourceCode .sc { color: var(--text-2); }
:root[data-theme="light"] .sourceCode .kw, :root[data-theme="light"] .sourceCode .cf { color: #5b47d6; }
:root[data-theme="light"] .sourceCode .st, :root[data-theme="light"] .sourceCode .ss, :root[data-theme="light"] .sourceCode .vs { color: #1f8f7c; }
:root[data-theme="light"] .sourceCode .fu, :root[data-theme="light"] .sourceCode .bu, :root[data-theme="light"] .sourceCode .ex, :root[data-theme="light"] .sourceCode .dv { color: #c4583b; }
@media (prefers-color-scheme: light) {
  :root:not([data-theme="dark"]) .sourceCode .kw, :root:not([data-theme="dark"]) .sourceCode .cf { color: #5b47d6; }
  :root:not([data-theme="dark"]) .sourceCode .st, :root:not([data-theme="dark"]) .sourceCode .ss, :root:not([data-theme="dark"]) .sourceCode .vs { color: #1f8f7c; }
  :root:not([data-theme="dark"]) .sourceCode .fu, :root:not([data-theme="dark"]) .sourceCode .bu, :root:not([data-theme="dark"]) .sourceCode .ex, :root:not([data-theme="dark"]) .sourceCode .dv { color: #c4583b; }
}

/* ---- footer ----------------------------------------------------------- */

.site-footer { margin-top: 96px; padding: 32px 0 40px; border-top: 1px solid var(--line); font-size: .92rem; }
.site-footer p { margin: 4px 0; }

/* ---- motion ----------------------------------------------------------- */

@media (prefers-reduced-motion: no-preference) {
  .hero-logo, .hero-title, .hero-lede, .command, .hero-actions { animation: rise .7s cubic-bezier(.2,.7,.2,1) both; }
  .hero-title { animation-delay: .05s; }
  .hero-lede { animation-delay: .12s; }
  .command { animation-delay: .2s; }
  .hero-actions { animation-delay: .28s; }
  .terminal { animation: rise .8s .3s cubic-bezier(.2,.7,.2,1) both; }
  @keyframes rise { from { opacity: 0; transform: translateY(14px); } to { opacity: 1; transform: none; } }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .prop, .harness, .button { transition: none; }
}

@media print {
  .top, .theme-toggle, .contents-button, .sidebar, .copy, .site-footer { display: none !important; }
  .docs { grid-template-columns: 1fr; }
  body { background: #fff; color: #000; }
}