/* SkeleTrace: site styles. The pages use no JavaScript. */
@font-face { font-family: "Plex Sans"; src: url("/assets/fonts/ibm-plex-sans-latin-400-normal.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Plex Sans"; src: url("/assets/fonts/ibm-plex-sans-latin-400-italic.woff2") format("woff2"); font-weight: 400; font-style: italic; font-display: swap; }
@font-face { font-family: "Plex Sans"; src: url("/assets/fonts/ibm-plex-sans-latin-600-normal.woff2") format("woff2"); font-weight: 600; font-style: normal; font-display: swap; }
@font-face { font-family: "Plex Serif"; src: url("/assets/fonts/ibm-plex-serif-latin-400-normal.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Plex Mono"; src: url("/assets/fonts/ibm-plex-mono-latin-400-normal.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }

:root {
  --paper: #fafbfb;
  --ink: #1c2530;
  --ink-2: #47525e;
  --ink-3: #6b7681;
  --rule: #dfe3e7;
  --rule-strong: #c6ccd2;
  --accent: #24566b;
  --accent-hover: #163d4c;
  --code: #f0f2f4;
  --ochre: #9a6a24;
  --sans: "Plex Sans", "IBM Plex Sans", "Segoe UI", system-ui, sans-serif;
  --serif: "Plex Serif", "IBM Plex Serif", Georgia, serif;
  --mono: "Plex Mono", "IBM Plex Mono", Consolas, ui-monospace, monospace;
  --measure: 68ch;
  color-scheme: light dark;
}
@media (prefers-color-scheme: dark) {
  :root {
    --paper: #12181f; --ink: #e1e6eb; --ink-2: #b2bcc6; --ink-3: #8794a0; --rule: #26313c; --rule-strong: #364350;
    --accent: #8ec3d5; --accent-hover: #b8dce8; --code: #19222b; --ochre: #d0a35c;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; text-size-adjust: 100%; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 17px/1.62 var(--sans); font-kerning: normal; }
a { color: var(--accent); text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { color: var(--accent-hover); }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
.wrap { max-width: 1120px; margin: 0 auto; padding: 0 28px; }
.skip { position: absolute; left: -10000px; top: 8px; padding: 8px 12px; background: var(--paper); color: var(--ink); border: 1px solid var(--rule-strong); z-index: 10; }
.skip:focus { left: 16px; }

/* masthead */
.masthead { border-bottom: 1px solid var(--rule); }
.masthead nav { flex: 0 0 auto; max-width: 100%; }
.masthead .wrap { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 10px 28px; padding-top: 18px; padding-bottom: 16px; }
.wordmark { display: inline-flex; align-items: center; color: var(--ink); text-decoration: none; font-weight: 600; font-size: 17px; letter-spacing: .01em; }
.wordmark:hover { color: var(--ink); }
.wordmark svg { width: 24px; height: 24px; margin-right: 10px; border-radius: 5px; }
@media (prefers-color-scheme: dark) { .wordmark svg { box-shadow: 0 0 0 1px var(--rule-strong); } }
.nav { display: flex; flex-wrap: nowrap; margin: 0; padding: 0; list-style: none; font-size: 15px; }
.nav li { margin: 3px 24px 3px 0; }
.nav li:last-child { margin-right: 0; }
.nav a { white-space: nowrap; color: var(--ink-2); text-decoration: none; padding: 2px 0 3px; border-bottom: 1px solid transparent; }
.nav a:hover { color: var(--ink); border-bottom-color: var(--rule-strong); }
.nav a[aria-current="page"] { color: var(--ink); border-bottom-color: var(--ink); }

/* page heads */
main { padding-bottom: 72px; }
.page-head { padding: 64px 0 30px; }
.page-head h1, .intro h1 { font: 400 36px/1.18 var(--serif); letter-spacing: -.005em; margin: 0 0 16px; max-width: 26ch; }
.lede { font-size: 19.5px; line-height: 1.55; color: var(--ink-2); max-width: 60ch; margin: 0; }

/* prose */
.prose { max-width: var(--measure); }
.prose h2 { font: 400 26px/1.25 var(--serif); margin: 56px 0 12px; padding-top: 24px; border-top: 1px solid var(--rule); }
.prose > h2:first-child { margin-top: 0; padding-top: 0; border-top: 0; }
.prose h3 { font-size: 17px; font-weight: 600; margin: 32px 0 6px; }
.prose p, .prose ul, .prose ol, .prose dl, .prose pre, .prose figure { margin: 0 0 18px; }
.prose ul, .prose ol { padding-left: 1.3em; }
.prose li { margin: 6px 0; }
.prose li::marker { color: var(--ink-3); }
.muted { color: var(--ink-2); }
.quiet { color: var(--ink-3); }
.small { font-size: 14.5px; }
code { font: .86em/1.5 var(--mono); background: var(--code); padding: 1px 5px; border-radius: 3px; }
pre { font: 14px/1.55 var(--mono); background: var(--code); border: 1px solid var(--rule); border-radius: 4px; padding: 14px 16px; overflow-x: auto; }
pre code { background: none; padding: 0; font-size: inherit; }
.table-wrap { overflow-x: auto; margin: 0 0 20px; }
table { width: 100%; border-collapse: collapse; font-size: 15.5px; line-height: 1.5; }
th, td { text-align: left; vertical-align: top; padding: 9px 16px 9px 0; border-bottom: 1px solid var(--rule); }
th { font-weight: 600; border-bottom-color: var(--rule-strong); }
td code { white-space: nowrap; }
dl.defs { display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 10px 24px; }
dl.defs dt { font-weight: 600; }
dl.defs dd { margin: 0; color: var(--ink-2); }
.note { border-left: 2px solid var(--rule-strong); padding: 2px 0 2px 16px; color: var(--ink-2); }
figure { margin: 0; }
figcaption { font-size: 14.5px; color: var(--ink-3); margin-top: 10px; max-width: 52ch; }

/* documentation pages with a contents list */
.doc { display: grid; grid-template-columns: 210px minmax(0, 1fr); gap: 56px; align-items: start; }
.toc { position: sticky; top: 24px; font-size: 14.5px; }
.toc h2 { font: 600 14px/1.4 var(--sans); color: var(--ink-3); margin: 4px 0 10px; }
.toc ol { list-style: none; margin: 0; padding: 0; }
.toc a { display: block; padding: 4px 0 4px 12px; border-left: 1px solid var(--rule); color: var(--ink-2); text-decoration: none; }
.toc a:hover { color: var(--ink); border-left-color: var(--ink-3); }

/* home */
.intro { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 470px); gap: 56px; align-items: center; padding: 72px 0 48px; }
.actions { display: flex; flex-wrap: wrap; align-items: center; gap: 12px 24px; margin: 30px 0 0; }
.button { display: inline-block; padding: 9px 18px; border: 1px solid var(--accent); border-radius: 4px; background: var(--accent); color: var(--paper); text-decoration: none; font-weight: 600; font-size: 15.5px; }
.button:hover { background: var(--accent-hover); border-color: var(--accent-hover); color: var(--paper); }
.chart { color: var(--ink); }
.chart svg { display: block; width: 100%; height: auto; }
.chart .grat { fill: none; stroke: currentColor; stroke-opacity: .15; stroke-width: 1; }
.chart .edge { stroke: currentColor; stroke-opacity: .5; stroke-width: 1.1; }
.chart .node { fill: var(--paper); stroke: currentColor; stroke-width: 1.4; }
.chart .key { fill: currentColor; }
.chart .ring { fill: none; stroke: var(--ochre); stroke-width: 1.4; stroke-dasharray: 3 3; }
.section { padding: 44px 0 40px; border-top: 1px solid var(--rule); }
.section h2 { font: 400 24px/1.3 var(--serif); margin: 0 0 20px; }
.panes { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 24px 44px; margin: 0; }
.panes dt { font-weight: 600; margin-bottom: 6px; }
.panes dd { margin: 0; color: var(--ink-2); }
.index-list { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 0 52px; }
.index-list li { padding: 16px 0 18px; border-bottom: 1px solid var(--rule); }
.index-list a { font-weight: 600; text-decoration: none; }
.index-list a:hover { text-decoration: underline; }
.index-list p { margin: 4px 0 0; color: var(--ink-2); font-size: 15.5px; }
.principles { margin: 0; padding-left: 1.2em; max-width: 72ch; }
.principles li { margin: 8px 0; }
.principles li::marker { color: var(--ink-3); }

/* reference lists */
.refs { list-style: none; margin: 0 0 18px; padding: 0; }
.refs li { padding: 12px 0; border-bottom: 1px solid var(--rule); }
.refs li:first-child { border-top: 1px solid var(--rule); }
.refs a { font-weight: 600; }
.refs p { margin: 3px 0 0; color: var(--ink-2); font-size: 15.5px; }

/* footer */
.footer { border-top: 1px solid var(--rule); color: var(--ink-3); font-size: 14.5px; }
.footer .wrap { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: baseline; gap: 12px 32px; padding-top: 28px; padding-bottom: 44px; }
.footer p { margin: 0; }
.footer ul { list-style: none; display: flex; flex-wrap: nowrap; margin: 0; padding: 0; }
.footer li { margin: 3px 22px 3px 0; }
.footer li:last-child { margin-right: 0; }
.footer a { color: var(--ink-2); white-space: nowrap; }

@media (max-width: 920px) {
  .doc { grid-template-columns: minmax(0, 1fr); gap: 0; }
  .toc { position: static; margin-bottom: 30px; padding-bottom: 14px; border-bottom: 1px solid var(--rule); }
  .intro { grid-template-columns: minmax(0, 1fr); gap: 36px; padding-top: 48px; }
  .panes, .index-list { grid-template-columns: minmax(0, 1fr); }
}
@media (max-width: 760px) {
  .nav, .footer ul { flex-wrap: wrap; }
}
@media (max-width: 560px) {
  body { font-size: 16px; }
  .wrap { padding: 0 18px; }
  .page-head { padding-top: 40px; }
  .page-head h1, .intro h1 { font-size: 29px; }
  .lede { font-size: 17.5px; }
  dl.defs { grid-template-columns: minmax(0, 1fr); gap: 2px 0; }
  dl.defs dd { margin-bottom: 10px; }
}
@media print {
  .masthead nav, .toc, .footer, .skip { display: none; }
  body { background: #fff; color: #000; font-size: 11pt; }
  a { color: inherit; }
}
.nowrap { white-space: nowrap; }