:root {
  --bg: #fbfbf9;
  --surface: #ffffff;
  --fg: #1c1c1a;
  --muted: #66665f;
  --accent: #2b59c3;
  --accent-soft: #e9eefb;
  --rule: #e3e3dd;
  --code-bg: #f2f2ee;
  --chip-bg: #efefea;
  --shadow: 0 1px 2px rgba(0, 0, 0, .04), 0 2px 8px rgba(0, 0, 0, .04);
  --tok-kw: #8a3ab9;
  --tok-num: #b35900;
  --tok-str: #2e7d32;
  --tok-comment: #7a7a72;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #141413;
    --surface: #1c1c1a;
    --fg: #e9e9e4;
    --muted: #9c9c94;
    --accent: #8eabff;
    --accent-soft: #1f2a44;
    --rule: #2d2d2a;
    --code-bg: #20201e;
    --chip-bg: #262624;
    --shadow: none;
    --tok-kw: #d19bff;
    --tok-num: #ffb066;
    --tok-str: #8fd694;
    --tok-comment: #8d8d86;
  }
}
* { box-sizing: border-box; }
html { scroll-padding-top: 76px; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font: 16px/1.6 system-ui, -apple-system, "Segoe UI", Roboto, sans-serif;
  -webkit-text-size-adjust: 100%;
}
a { color: var(--accent); text-underline-offset: 2px; }
.wrap { max-width: 1160px; margin: 0 auto; padding: 0 16px; }
.muted { color: var(--muted); }

/* Site header and footer */
header.site {
  position: sticky; top: 0; z-index: 10;
  background: color-mix(in srgb, var(--bg) 92%, transparent);
  backdrop-filter: blur(8px);
  border-bottom: 1px solid var(--rule);
}
header.site .wrap { display: flex; align-items: center; gap: 24px; height: 60px; }
.brand { font-weight: 750; font-size: 20px; letter-spacing: -.02em; color: var(--fg); text-decoration: none; }
.brand { display: inline-flex; align-items: center; gap: 8px; }
.brand b { color: var(--accent); font-weight: inherit; }
.brand .logo { width: 26px; height: 26px; flex: none; }
header.site nav { display: flex; gap: 18px; }
header.site nav a { color: var(--fg); text-decoration: none; font-size: 15px; }
header.site nav a:hover { color: var(--accent); }
.search { margin-left: auto; display: flex; gap: 8px; }
.search input {
  width: 260px; max-width: 100%;
  font: inherit; font-size: 15px; color: var(--fg);
  background: var(--surface); border: 1px solid var(--rule); border-radius: 8px;
  padding: 7px 12px;
}
.search input:focus { outline: 2px solid var(--accent); outline-offset: -1px; }
.search button {
  font: inherit; font-size: 15px; font-weight: 600; color: #fff;
  background: var(--accent); border: 0; border-radius: 8px; padding: 0 18px; cursor: pointer;
}
.search-hero { margin: 24px 0 12px; max-width: 620px; }
.search-hero input { flex: 1; width: auto; font-size: 17px; padding: 12px 16px; }
@media (max-width: 760px) {
  header.site .wrap { flex-wrap: wrap; height: auto; padding-top: 10px; padding-bottom: 10px; gap: 8px 18px; }
  header.site .search { order: 3; width: 100%; margin-left: 0; }
  header.site .search input { width: 100%; }
}
main.wrap { padding-top: 32px; padding-bottom: 64px; }
footer.site { border-top: 1px solid var(--rule); color: var(--muted); font-size: 14px; padding: 24px 0 40px; }
footer.site p { margin: 4px 0; }

/* Home and listings */
.hero { padding: 24px 0 16px; max-width: 760px; }
.hero h1 { font-size: clamp(30px, 5vw, 44px); line-height: 1.15; letter-spacing: -.02em; margin: 0 0 16px; }
.lede { font-size: 19px; line-height: 1.55; color: var(--fg); margin: 0 0 12px; max-width: 760px; }
section > h2 { font-size: 22px; margin: 48px 0 6px; }
.listing h1 { font-size: 34px; margin: 0 0 8px; }
.cards { display: grid; grid-template-columns: repeat(auto-fill, minmax(300px, 1fr)); gap: 16px; margin-top: 16px; }
.card {
  display: flex; flex-direction: column; gap: 6px;
  padding: 16px 18px; border: 1px solid var(--rule); border-radius: 12px;
  background: var(--surface); box-shadow: var(--shadow);
  color: var(--fg); text-decoration: none;
  transition: border-color .15s, transform .15s;
}
.card:hover { border-color: var(--accent); transform: translateY(-1px); }
.card-kind { font-size: 12px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); }
.card-title { font-weight: 650; font-size: 17px; line-height: 1.3; }
.card-text {
  font-size: 14px; color: var(--muted); line-height: 1.5;
  display: -webkit-box; -webkit-line-clamp: 4; -webkit-box-orient: vertical; overflow: hidden;
}
.agents { margin-top: 48px; padding: 4px 24px 12px; border-radius: 12px; background: var(--accent-soft); }
.agents h2 { margin-top: 20px; }

/* Content pages */
.doc-head { max-width: 860px; margin-bottom: 24px; }
.eyebrow { font-size: 13px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); margin: 0 0 8px; }
.eyebrow a { color: var(--muted); }
.doc-head h1 { font-size: clamp(28px, 4.2vw, 40px); line-height: 1.15; letter-spacing: -.02em; margin: 0 0 10px; }
.byline { color: var(--muted); margin: 0 0 16px; }
.chips { display: flex; flex-wrap: wrap; gap: 6px; margin: 12px 0; }
.chip {
  font-size: 13px; padding: 3px 10px; border-radius: 999px;
  background: var(--accent-soft); color: var(--accent); text-decoration: none;
}
.chip-tag { background: var(--chip-bg); color: var(--muted); }
.actions { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; margin: 16px 0; }
.btn {
  font-size: 14px; font-weight: 600; padding: 6px 14px; border-radius: 8px;
  border: 1px solid var(--rule); background: var(--surface); color: var(--fg); text-decoration: none;
}
.btn:hover { border-color: var(--accent); color: var(--accent); }
.btn-ghost { background: transparent; color: var(--muted); font-weight: 500; }
.readtime { font-size: 14px; color: var(--muted); margin-left: 4px; }
.provenance { font-size: 13px; color: var(--muted); border-left: 3px solid var(--rule); padding-left: 10px; margin: 0; }

.doc-grid { display: grid; grid-template-columns: minmax(0, 1fr); gap: 48px; }
@media (min-width: 1040px) {
  .doc-grid { grid-template-columns: 210px minmax(0, 820px); }
  .doc-grid.no-toc { grid-template-columns: minmax(0, 820px); }
}
.toc { display: none; }
@media (min-width: 1040px) {
  .toc { display: block; }
  .toc nav { position: sticky; top: 84px; font-size: 14px; }
}
.toc p { font-size: 12px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); margin: 0 0 8px; }
.toc ol { list-style: none; margin: 0; padding: 0; border-left: 1px solid var(--rule); }
.toc li a { display: block; padding: 4px 0 4px 14px; color: var(--muted); text-decoration: none; }
.toc li a:hover { color: var(--accent); }

.doc-body { font-size: 17px; line-height: 1.7; min-width: 0; }
.doc-body h1 { font-size: 34px; line-height: 1.2; margin: 0 0 12px; }
.doc-body h2 { font-size: 25px; line-height: 1.3; letter-spacing: -.01em; margin: 48px 0 12px; padding-top: 8px; }
.doc-body h3 { font-size: 20px; margin: 32px 0 8px; }
.doc-body h2:first-child { margin-top: 0; }
.doc-body > p, .doc-body > ul, .doc-body > ol { max-width: 72ch; }
.doc-body li { margin: 4px 0; }

.cite {
  font-size: 12px; font-weight: 500;
  padding: 1px 6px; margin: 0 1px; border-radius: 4px;
  background: var(--chip-bg); color: var(--muted); text-decoration: none;
  white-space: nowrap; -webkit-box-decoration-break: clone; box-decoration-break: clone;
}
a.cite { color: var(--accent); background: var(--accent-soft); }
a.cite:hover { text-decoration: underline; }
.cite-code { font-family: ui-monospace, "SF Mono", Menlo, monospace; font-size: 11px; }

pre, code { font-family: ui-monospace, "SF Mono", Menlo, monospace; font-size: 14px; }
pre { background: var(--code-bg); padding: 14px 18px; overflow-x: auto; border-radius: 8px; line-height: 1.5; }

/* Code and pseudocode cards */
.code { margin: 20px 0; border: 1px solid var(--rule); border-radius: 10px; overflow: hidden; background: var(--code-bg); }
.code-head {
  display: flex; align-items: center; justify-content: space-between;
  padding: 6px 10px 6px 16px; border-bottom: 1px solid var(--rule);
  font-size: 12px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted);
}
.copy {
  font: inherit; font-size: 12px; text-transform: none; letter-spacing: 0;
  color: var(--muted); background: transparent; border: 1px solid var(--rule); border-radius: 6px;
  padding: 2px 10px; cursor: pointer;
}
.copy:hover { color: var(--accent); border-color: var(--accent); }
.code pre { margin: 0; border-radius: 0; padding: 14px 18px; font-size: 13.5px; line-height: 1.65; tab-size: 4; }
@media (max-width: 760px) {
  .code pre { white-space: pre-wrap; overflow-wrap: anywhere; }
}
.tok-kw { color: var(--tok-kw); font-weight: 600; }
.tok-num { color: var(--tok-num); }
.tok-str { color: var(--tok-str); }
.tok-comment { color: var(--tok-comment); font-style: italic; }
.tok-cite {
  color: var(--muted); font-size: 11.5px; background: var(--chip-bg);
  border-radius: 4px; padding: 0 4px;
}
code { background: var(--code-bg); padding: 1px 5px; border-radius: 4px; }
pre code { background: none; padding: 0; }

.doc-body table {
  display: block; overflow-x: auto; border-collapse: collapse;
  font-size: 14px; line-height: 1.5; margin: 16px 0;
}
th, td { border-bottom: 1px solid var(--rule); padding: 7px 12px; text-align: left; vertical-align: top; }
th { background: var(--code-bg); font-weight: 600; white-space: nowrap; }
tbody tr:hover { background: var(--chip-bg); }

.math-display { display: block; overflow-x: auto; overflow-y: hidden; margin: 16px 0; }
blockquote { margin: 16px 0; padding: 4px 16px; border-left: 3px solid var(--accent); color: var(--muted); }

.related { margin-top: 56px; }
.related .cards { grid-template-columns: repeat(auto-fill, minmax(240px, 1fr)); }
.attribution { margin-top: 48px; padding-top: 8px; border-top: 1px solid var(--rule); font-size: 14px; line-height: 1.6; color: var(--muted); }
.attribution h2 { font-size: 16px; margin: 16px 0 8px; }