/* GENERATED by apps/coordinator/site-src/build-docs.mjs -- do not edit.
 * Colours are VS Code's Light+ and Dark+ themes, resolved at build time. */

:root {
  --code-bg: #ffffff;
  --code-fg: #000000;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --code-bg: #1e1e1e;
    --code-fg: #d4d4d4;
  }
}
:root[data-theme="dark"] {
  --code-bg: #1e1e1e;
  --code-fg: #d4d4d4;
}

.tk-0000ff-569cd6 { color: #0000ff; }
.tk-001080-9cdcfe { color: #001080; }
.tk-0070c1-4fc1ff { color: #0070c1; }
.tk-008000-6a9955 { color: #008000; }
.tk-0451a5-9cdcfe { color: #0451a5; }
.tk-098658-b5cea8 { color: #098658; }
.tk-267f99-4ec9b0 { color: #267f99; }
.tk-795e26-dcdcaa { color: #795e26; }
.tk-800000-569cd6 { color: #800000; }
.tk-a31515-ce9178 { color: #a31515; }
.tk-af00db-c586c0 { color: #af00db; }
.tk-ee0000-d7ba7d { color: #ee0000; }
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .tk-0000ff-569cd6 { color: #569cd6; }
  :root:not([data-theme="light"]) .tk-001080-9cdcfe { color: #9cdcfe; }
  :root:not([data-theme="light"]) .tk-0070c1-4fc1ff { color: #4fc1ff; }
  :root:not([data-theme="light"]) .tk-008000-6a9955 { color: #6a9955; }
  :root:not([data-theme="light"]) .tk-0451a5-9cdcfe { color: #9cdcfe; }
  :root:not([data-theme="light"]) .tk-098658-b5cea8 { color: #b5cea8; }
  :root:not([data-theme="light"]) .tk-267f99-4ec9b0 { color: #4ec9b0; }
  :root:not([data-theme="light"]) .tk-795e26-dcdcaa { color: #dcdcaa; }
  :root:not([data-theme="light"]) .tk-800000-569cd6 { color: #569cd6; }
  :root:not([data-theme="light"]) .tk-a31515-ce9178 { color: #ce9178; }
  :root:not([data-theme="light"]) .tk-af00db-c586c0 { color: #c586c0; }
  :root:not([data-theme="light"]) .tk-ee0000-d7ba7d { color: #d7ba7d; }
}
:root[data-theme="dark"] .tk-0000ff-569cd6 { color: #569cd6; }
:root[data-theme="dark"] .tk-001080-9cdcfe { color: #9cdcfe; }
:root[data-theme="dark"] .tk-0070c1-4fc1ff { color: #4fc1ff; }
:root[data-theme="dark"] .tk-008000-6a9955 { color: #6a9955; }
:root[data-theme="dark"] .tk-0451a5-9cdcfe { color: #9cdcfe; }
:root[data-theme="dark"] .tk-098658-b5cea8 { color: #b5cea8; }
:root[data-theme="dark"] .tk-267f99-4ec9b0 { color: #4ec9b0; }
:root[data-theme="dark"] .tk-795e26-dcdcaa { color: #dcdcaa; }
:root[data-theme="dark"] .tk-800000-569cd6 { color: #569cd6; }
:root[data-theme="dark"] .tk-a31515-ce9178 { color: #ce9178; }
:root[data-theme="dark"] .tk-af00db-c586c0 { color: #c586c0; }
:root[data-theme="dark"] .tk-ee0000-d7ba7d { color: #d7ba7d; }