/* Semantic tokens shared by the documentation index and lecture pages. */
:root {
  color-scheme: light;
  --docs-bg: #f4f7fb;
  --docs-surface: #ffffff;
  --docs-shadow: 0 .5rem 1.75rem rgb(24 53 93 / .055);
  --docs-panel: #f6f7f9;
  --docs-text: #142033;
  --docs-muted: #58677a;
  --docs-border: #d5deea;
  --docs-link: #0b57d0;
  --docs-link-hover: #093b83;
  --docs-selected: #e8f0fc;
  --docs-focus: #7a3ff2;
  --docs-code-bg: #f3f5f7;
  --docs-code-text: #202d3a;
  --docs-code-keyword: #703ab1;
  --docs-code-string: #13663c;
  --docs-code-comment: #596674;
  --docs-code-meta: #8a4700;
  --docs-note-bg: #eef5ff;
  --docs-note-border: #2464b5;
  --docs-warn-bg: #fff6df;
  --docs-warn-border: #916100;
  --docs-pre-bg: #111827;
  --docs-pre-text: #e5edf7;
  --docs-pre-border: #2b3c55;
  --docs-pre-keyword: #93c5fd;
  --docs-pre-string: #a7e1bf;
  --docs-pre-comment: #a9b8cc;
  --docs-pre-meta: #f1c28a;
  --docs-font: Inter, Pretendard, "Noto Sans KR", system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --docs-mono: ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
  --docs-text-sm: .875rem;
  --docs-text-base: 1rem;
  --docs-leading: 1.8;
  --docs-space-1: .25rem;
  --docs-space-2: .5rem;
  --docs-space-3: .75rem;
  --docs-space-4: 1rem;
  --docs-space-6: 1.5rem;
  --docs-space-8: 2rem;
  --docs-space-12: 3rem;
  --docs-radius: .875rem;
  --docs-header-height: 4rem;
  --docs-reading-width: 46rem;
  --docs-site-width: 90rem;
  --docs-rail-width: 13rem;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --docs-bg: #0b1220;
    --docs-surface: #111b2c;
    --docs-shadow: 0 .5rem 1.75rem rgb(0 0 0 / .16);
    --docs-panel: #202329;
    --docs-text: #edf3fb;
    --docs-muted: #b4bdca;
    --docs-border: #2b3c55;
    --docs-link: #a4c8ff;
    --docs-link-hover: #d1e3ff;
    --docs-selected: #263b58;
    --docs-focus: #c4a7ff;
    --docs-code-bg: #22262d;
    --docs-code-text: #e7edf5;
    --docs-code-keyword: #d3afff;
    --docs-code-string: #9fddb7;
    --docs-code-comment: #b1bbca;
    --docs-code-meta: #f1c28a;
    --docs-note-bg: #202f43;
    --docs-note-border: #92beff;
    --docs-warn-bg: #39301f;
    --docs-warn-border: #eac375;
  }
}
:root[data-theme="dark"] {
  color-scheme: dark;
  --docs-bg: #0b1220;
    --docs-surface: #111b2c;
    --docs-shadow: 0 .5rem 1.75rem rgb(0 0 0 / .16);
  --docs-panel: #202329;
  --docs-text: #edf3fb;
  --docs-muted: #b4bdca;
  --docs-border: #2b3c55;
  --docs-link: #a4c8ff;
  --docs-link-hover: #d1e3ff;
  --docs-selected: #263b58;
  --docs-focus: #c4a7ff;
  --docs-code-bg: #22262d;
  --docs-code-text: #e7edf5;
  --docs-code-keyword: #d3afff;
  --docs-code-string: #9fddb7;
  --docs-code-comment: #b1bbca;
  --docs-code-meta: #f1c28a;
  --docs-note-bg: #202f43;
  --docs-note-border: #92beff;
  --docs-warn-bg: #39301f;
  --docs-warn-border: #eac375;
}