/* vakforge docs shell. Tokens mirror site/index.html so both halves of the site match. */
:root {
  --bg: #0B1120; --bg-2: #101827; --bg-3: #141d30;
  --line: #273552; --line-soft: #1a2540;
  --cyan: #32D5D2; --cyan-dim: rgba(50,213,210,.12);
  --coral: #FF5A4E; --coral-dim: rgba(255,90,78,.12);
  --text: #F7FAFF; --muted: #C9D6E5; --dim: #8393ad; --faint: #5f6f8c; --tint: #D9F1F1;
  --panel: #0a101d; --code-bg: #080d19; --hover: rgba(50,213,210,.06);
  --diag-band: rgba(120,150,200,.05); --diag-line: #7f8fab;
  --display: "Space Grotesk", "Helvetica Neue", Arial, sans-serif;
  --ui: "IBM Plex Sans", "Segoe UI", system-ui, sans-serif;
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --top-h: 60px; --sb-w: 250px; --toc-w: 220px; --r: 8px;
}
@media (prefers-color-scheme: light) {
  :root:not([data-theme="dark"]) {
    --bg: #F7FAFF; --bg-2: #ffffff; --bg-3: #eef3f9; --line: #cfdae8; --line-soft: #e2e9f2;
    --cyan: #0b8482; --cyan-dim: rgba(11,132,130,.12); --coral: #e0472f; --coral-dim: rgba(224,71,47,.12);
    --text: #0B1120; --muted: #3e4b62; --dim: #66748c; --faint: #94a3b8; --tint: #0b6b69;
    --panel: #ffffff; --code-bg: #f3f6fb; --hover: rgba(11,132,130,.07);
    --diag-band: rgba(30,60,120,.045); --diag-line: #7c8ba3;
  }
}
:root[data-theme="light"] {
  --bg: #F7FAFF; --bg-2: #ffffff; --bg-3: #eef3f9; --line: #cfdae8; --line-soft: #e2e9f2;
  --cyan: #0b8482; --cyan-dim: rgba(11,132,130,.12); --coral: #e0472f; --coral-dim: rgba(224,71,47,.12);
  --text: #0B1120; --muted: #3e4b62; --dim: #66748c; --faint: #94a3b8; --tint: #0b6b69;
  --panel: #ffffff; --code-bg: #f3f6fb; --hover: rgba(11,132,130,.07);
  --diag-band: rgba(30,60,120,.045); --diag-line: #7c8ba3;
}

* { box-sizing: border-box; }
html { background: var(--bg); scroll-behavior: smooth; scroll-padding-top: calc(var(--top-h) + 16px); }
body { margin: 0; color: var(--text); font-family: var(--ui); font-size: 15.5px; line-height: 1.65; -webkit-font-smoothing: antialiased; }
a { color: inherit; text-decoration: none; }
button { font: inherit; cursor: pointer; }
svg { display: block; }
:focus-visible { outline: 2px solid var(--cyan); outline-offset: 2px; border-radius: 4px; }
::selection { background: var(--cyan-dim); color: var(--cyan); }

/* ---- top bar ---- */
.top { position: sticky; top: 0; z-index: 30; display: flex; align-items: center; gap: 18px; height: var(--top-h); padding: 0 20px; border-bottom: 1px solid var(--line-soft); background: color-mix(in srgb, var(--bg) 85%, transparent); backdrop-filter: blur(12px) saturate(160%); }
.brand { display: flex; align-items: center; gap: 9px; font-family: var(--display); font-weight: 700; font-size: 1.12rem; letter-spacing: -0.03em; white-space: nowrap; }
.brand img { width: 26px; height: 26px; }
.brand-docs { margin-left: 2px; padding: 2px 7px; border: 1px solid var(--line); border-radius: 999px; color: var(--dim); font-family: var(--mono); font-size: .62rem; font-weight: 500; letter-spacing: .08em; text-transform: uppercase; }
.menu-btn { display: none; width: 36px; height: 36px; padding: 0; border: 1px solid var(--line); border-radius: var(--r); background: var(--bg-2); color: var(--muted); place-items: center; }
.menu-btn svg { width: 18px; height: 18px; fill: none; stroke: currentColor; stroke-width: 1.8; stroke-linecap: round; }
.search { position: relative; display: flex; align-items: center; gap: 8px; flex: 1; max-width: 460px; margin-left: auto; height: 36px; padding: 0 10px 0 12px; border: 1px solid var(--line); border-radius: var(--r); background: var(--bg-2); color: var(--dim); }
.search:focus-within { border-color: var(--cyan); }
.search > svg { width: 15px; height: 15px; flex: none; fill: none; stroke: currentColor; stroke-width: 2; stroke-linecap: round; }
.search input { flex: 1; min-width: 0; border: 0; background: transparent; color: var(--text); outline: none; font-size: .9rem; }
.search input::placeholder { color: var(--dim); }
.search kbd { flex: none; padding: 1px 6px; border: 1px solid var(--line); border-radius: 4px; color: var(--dim); font-family: var(--mono); font-size: .66rem; }
.search-results { position: absolute; top: calc(100% + 6px); left: 0; right: 0; max-height: min(60vh, 420px); overflow: auto; padding: 6px; border: 1px solid var(--line); border-radius: var(--r); background: var(--bg-2); box-shadow: 0 24px 60px -20px rgba(0,0,0,.6); }
.search-results a { display: block; padding: 8px 10px; border-radius: 6px; color: var(--text); }
.search-results a:hover, .search-results a[aria-selected="true"] { background: var(--hover); }
.search-results a small { display: block; color: var(--dim); font-size: .78rem; }
.search-results a small b { color: var(--cyan); font-weight: 500; }
.search-results .empty { padding: 10px; color: var(--dim); font-size: .88rem; }
.top-links { display: flex; align-items: center; gap: 18px; font-size: .9rem; font-weight: 500; color: var(--muted); }
.top-links a:hover { color: var(--text); }
.theme-toggle { display: grid; place-items: center; width: 36px; height: 36px; padding: 0; border: 1px solid var(--line); border-radius: var(--r); background: var(--bg-2); color: var(--muted); }
.theme-toggle:hover { border-color: var(--cyan); color: var(--text); }
.theme-toggle svg { width: 16px; height: 16px; fill: none; stroke: currentColor; stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
.theme-toggle .sun { display: none; }
:root[data-theme="light"] .theme-toggle .sun { display: block; }
:root[data-theme="light"] .theme-toggle .moon { display: none; }
@media (prefers-color-scheme: light) {
  :root:not([data-theme="dark"]) .theme-toggle .sun { display: block; }
  :root:not([data-theme="dark"]) .theme-toggle .moon { display: none; }
}

/* ---- layout ---- */
.layout { display: grid; grid-template-columns: var(--sb-w) minmax(0, 1fr) var(--toc-w); gap: 0 40px; max-width: 1360px; margin: 0 auto; padding: 0 20px; }
.sidebar { position: sticky; top: var(--top-h); align-self: start; height: calc(100vh - var(--top-h)); overflow-y: auto; padding: 26px 0 30px; border-right: 1px solid var(--line-soft); font-size: .9rem; }
.sb-group + .sb-group { margin-top: 22px; }
.sb-title { margin-bottom: 6px; color: var(--dim); font-family: var(--mono); font-size: .66rem; font-weight: 500; letter-spacing: .12em; text-transform: uppercase; }
.sidebar ul { list-style: none; margin: 0; padding: 0; }
.sidebar li a { display: block; padding: 6px 10px; margin-right: 14px; border-radius: 6px; color: var(--muted); }
.sidebar li a:hover { color: var(--text); background: var(--hover); }
.sidebar li a[aria-current="page"] { color: var(--cyan); background: var(--cyan-dim); font-weight: 500; }
.sb-foot { margin-top: 28px; padding-right: 14px; color: var(--dim); font-size: .78rem; }
.sb-foot a { color: var(--cyan); }
.content { min-width: 0; padding: 30px 0 60px; }
.right { position: sticky; top: var(--top-h); align-self: start; max-height: calc(100vh - var(--top-h)); overflow-y: auto; padding: 30px 0; }
.toc-title { margin-bottom: 8px; color: var(--dim); font-family: var(--mono); font-size: .66rem; font-weight: 500; letter-spacing: .12em; text-transform: uppercase; }
.toc ul { list-style: none; margin: 0; padding: 0; border-left: 1px solid var(--line-soft); }
.toc li a { display: block; padding: 4px 12px; margin-left: -1px; border-left: 2px solid transparent; color: var(--dim); font-size: .84rem; line-height: 1.4; }
.toc li.lvl3 a { padding-left: 24px; font-size: .8rem; }
.toc li a:hover { color: var(--text); }
.toc li a.active { color: var(--cyan); border-left-color: var(--cyan); }

/* ---- prose ---- */
.prose { max-width: 76ch; }
.prose > :first-child { margin-top: 0; }
.prose h1 { margin: 0 0 18px; font-family: var(--display); font-size: clamp(1.9rem, 3vw, 2.5rem); font-weight: 700; line-height: 1.1; letter-spacing: -0.03em; }
.prose h2 { margin: 44px 0 14px; padding-top: 18px; border-top: 1px solid var(--line-soft); font-family: var(--display); font-size: 1.5rem; font-weight: 700; letter-spacing: -0.02em; line-height: 1.2; }
.prose h3 { margin: 30px 0 10px; font-family: var(--display); font-size: 1.15rem; font-weight: 600; letter-spacing: -0.01em; }
.prose h4 { margin: 22px 0 8px; font-size: 1rem; font-weight: 600; }
.prose h2 a.anchor, .prose h3 a.anchor { margin-left: 8px; color: var(--faint); opacity: 0; font-weight: 400; }
.prose h2:hover a.anchor, .prose h3:hover a.anchor { opacity: 1; }
.prose p { margin: 0 0 14px; color: var(--muted); }
.prose li { color: var(--muted); }
.prose strong { color: var(--text); font-weight: 600; }
.prose a { color: var(--cyan); border-bottom: 1px solid color-mix(in srgb, var(--cyan) 35%, transparent); }
.prose a:hover { border-bottom-color: var(--cyan); }
.prose ul, .prose ol { margin: 0 0 14px; padding-left: 24px; }
.prose li + li { margin-top: 4px; }
.prose li.task { list-style: none; margin-left: -22px; }
.prose li.task input { margin: 0 8px 0 0; accent-color: var(--cyan); vertical-align: -1px; }
.prose li.task.done { color: var(--dim); }
.prose blockquote { margin: 0 0 16px; padding: 10px 16px; border-left: 3px solid var(--cyan); border-radius: 0 var(--r) var(--r) 0; background: var(--cyan-dim); }
.prose blockquote p { margin: 0; color: var(--text); }
.prose blockquote p + p { margin-top: 8px; }
.prose code { padding: 1px 5px; border: 1px solid var(--line-soft); border-radius: 4px; background: var(--code-bg); color: var(--tint); font-family: var(--mono); font-size: .84em; }
.prose pre code { padding: 0; border: 0; background: transparent; color: inherit; font-size: inherit; }
.prose img { max-width: 100%; height: auto; border-radius: var(--r); }
.prose hr { margin: 32px 0; border: 0; border-top: 1px solid var(--line-soft); }
.table-wrap { margin: 0 0 18px; overflow-x: auto; border: 1px solid var(--line-soft); border-radius: var(--r); }
.prose table { width: 100%; border-collapse: collapse; font-size: .88rem; }
.prose th, .prose td { padding: 9px 12px; border-bottom: 1px solid var(--line-soft); text-align: left; vertical-align: top; color: var(--muted); }
.prose th { color: var(--text); background: var(--bg-2); font-weight: 600; white-space: nowrap; }
.prose tr:last-child td { border-bottom: 0; }
.prose tbody tr:hover td { background: var(--hover); }
.code-block { position: relative; margin: 0 0 18px; border: 1px solid var(--line-soft); border-radius: var(--r); background: var(--code-bg); }
.code-block pre { margin: 0; padding: 14px 16px; overflow-x: auto; font-family: var(--mono); font-size: .82rem; line-height: 1.6; }
.code-lang { position: absolute; top: 6px; right: 66px; color: var(--faint); font-family: var(--mono); font-size: .64rem; letter-spacing: .06em; text-transform: uppercase; }
.code-copy { position: absolute; top: 6px; right: 8px; padding: 2px 8px; border: 1px solid var(--line-soft); border-radius: 5px; background: var(--bg-2); color: var(--dim); font-family: var(--mono); font-size: .66rem; opacity: 0; transition: opacity .15s; }
.code-block:hover .code-copy, .code-copy:focus-visible { opacity: 1; }
.code-copy.done { color: var(--cyan); border-color: var(--cyan); }
.prose p:has(> img:only-child) { text-align: center; }

/* ---- diagrams: hand-drawn SVG, inlined so it inherits the theme tokens ---- */
.diagram-figure { margin: 0 0 20px; padding: 18px 16px; border: 1px solid var(--line-soft); border-radius: var(--r); background: var(--bg-3); }
.diagram { display: block; width: 100%; height: auto; overflow: visible; }
.diagram text { font-family: var(--ui); fill: var(--text); }
.d-band { fill: var(--diag-band); stroke: var(--line-soft); stroke-width: 1; }
.d-box { fill: var(--bg-2); stroke: var(--line); stroke-width: 1.2; }
.d-box.d-accent { stroke: var(--cyan); }
.d-box.d-coral { stroke: var(--coral); }
.d-box.d-dashed { stroke-dasharray: 5 4; }
.d-box.d-ghost { fill: none; stroke: var(--line-soft); stroke-dasharray: 4 4; }
.d-code { font-family: var(--mono); font-size: 12px; font-weight: 500; text-anchor: middle; }
.d-chip { font-family: var(--mono); font-size: 10.5px; fill: var(--dim); text-anchor: middle; }
.d-t { font-size: 13.5px; font-weight: 600; text-anchor: middle; }
.d-s { font-size: 11px; fill: var(--dim); text-anchor: middle; }
.d-rail { font-family: var(--mono); font-size: 10px; font-weight: 500; letter-spacing: .14em; fill: var(--faint); text-anchor: middle; }
.d-note { font-family: var(--mono); font-size: 10px; letter-spacing: .04em; fill: var(--faint); }
.d-line { fill: none; stroke: var(--diag-line); stroke-width: 1.4; }
.d-line.d-soft { stroke-dasharray: 5 4; }
.d-line.d-return { stroke-dasharray: 5 4; }
.d-life { fill: none; stroke: var(--line); stroke-width: 1; stroke-dasharray: 3 5; }
.d-end { fill: none; stroke: var(--line); stroke-width: 2.5; stroke-linecap: round; }
.d-act { fill: var(--bg-3); stroke: var(--line); stroke-width: 1.2; }
.d-act.d-accent { stroke: var(--cyan); }
.d-phase-bar { fill: none; stroke: var(--cyan); stroke-width: 2.5; stroke-linecap: round; opacity: .4; }
.d-phase { font-family: var(--mono); font-size: 9.5px; font-weight: 500; letter-spacing: .16em; fill: var(--faint); text-anchor: middle; }
.d-head { fill: none; stroke: var(--diag-line); stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
.d-lbl { font-family: var(--mono); font-size: 10.5px; fill: var(--dim); text-anchor: middle; }
.d-msg { font-size: 11.5px; fill: var(--muted); text-anchor: middle; paint-order: stroke; stroke: var(--bg-3); stroke-width: 5px; stroke-linejoin: round; }
.d-msg.d-mono { font-family: var(--mono); font-size: 11px; fill: var(--tint); }
.d-left { text-anchor: start; }
@media (max-width: 720px) {
  .diagram-figure { padding: 12px 10px; margin-inline: -6px; }
  .d-s, .d-note, .d-lbl { display: none; }
  .d-msg { font-size: 13px; }
  .d-t { font-size: 15px; }
}

/* ---- prev / next, footer ---- */
.prev-next { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; max-width: 76ch; margin-top: 48px; }
.pn { display: flex; flex-direction: column; gap: 2px; padding: 12px 16px; border: 1px solid var(--line-soft); border-radius: var(--r); background: var(--bg-2); }
.pn:hover { border-color: var(--cyan); }
.pn small { color: var(--dim); font-size: .74rem; text-transform: uppercase; letter-spacing: .08em; font-family: var(--mono); }
.pn b { color: var(--text); font-weight: 600; }
.pn.next { text-align: right; align-items: flex-end; }
.page-foot { display: flex; justify-content: space-between; gap: 12px; max-width: 76ch; margin-top: 36px; padding-top: 16px; border-top: 1px solid var(--line-soft); color: var(--dim); font-size: .82rem; }
.page-foot a { color: var(--cyan); }

/* ---- responsive ---- */
@media (max-width: 1180px) {
  .layout { grid-template-columns: var(--sb-w) minmax(0, 1fr); }
  .right { display: none; }
}
@media (max-width: 860px) {
  .layout { grid-template-columns: minmax(0, 1fr); padding: 0 16px; }
  .menu-btn { display: grid; }
  .sidebar { position: fixed; left: 0; top: var(--top-h); z-index: 25; width: min(300px, 86vw); height: calc(100vh - var(--top-h)); padding: 20px 16px; background: var(--bg); border-right: 1px solid var(--line); transform: translateX(-100%); transition: transform .2s ease; }
  .sidebar.open { transform: none; box-shadow: 0 0 0 100vw rgba(0,0,0,.45); }
  .top-links a { display: none; }
  .search { max-width: none; }
  .search kbd { display: none; }
  .brand-docs { display: none; }
  .prev-next { grid-template-columns: 1fr; }
  .pn.next { text-align: left; align-items: flex-start; }
}

/* pygments */
pre { line-height: 125%; }
td.linenos .normal { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
span.linenos { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #6e7681 }
.highlight { background: #0d1117; color: #E6EDF3 }
.highlight .c { color: #8B949E; font-style: italic } /* Comment */
.highlight .err { color: #F85149 } /* Error */
.highlight .esc { color: #E6EDF3 } /* Escape */
.highlight .g { color: #E6EDF3 } /* Generic */
.highlight .k { color: #FF7B72 } /* Keyword */
.highlight .l { color: #A5D6FF } /* Literal */
.highlight .n { color: #E6EDF3 } /* Name */
.highlight .o { color: #FF7B72; font-weight: bold } /* Operator */
.highlight .x { color: #E6EDF3 } /* Other */
.highlight .p { color: #E6EDF3 } /* Punctuation */
.highlight .ch { color: #8B949E; font-style: italic } /* Comment.Hashbang */
.highlight .cm { color: #8B949E; font-style: italic } /* Comment.Multiline */
.highlight .cp { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Preproc */
.highlight .cpf { color: #8B949E; font-style: italic } /* Comment.PreprocFile */
.highlight .c1 { color: #8B949E; font-style: italic } /* Comment.Single */
.highlight .cs { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Special */
.highlight .gd { color: #FFA198; background-color: #490202 } /* Generic.Deleted */
.highlight .ge { color: #E6EDF3; font-style: italic } /* Generic.Emph */
.highlight .ges { color: #E6EDF3; font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #FFA198 } /* Generic.Error */
.highlight .gh { color: #79C0FF; font-weight: bold } /* Generic.Heading */
.highlight .gi { color: #56D364; background-color: #0F5323 } /* Generic.Inserted */
.highlight .go { color: #8B949E } /* Generic.Output */
.highlight .gp { color: #8B949E } /* Generic.Prompt */
.highlight .gs { color: #E6EDF3; font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #79C0FF } /* Generic.Subheading */
.highlight .gt { color: #FF7B72 } /* Generic.Traceback */
.highlight .g-Underline { color: #E6EDF3; text-decoration: underline } /* Generic.Underline */
.highlight .kc { color: #79C0FF } /* Keyword.Constant */
.highlight .kd { color: #FF7B72 } /* Keyword.Declaration */
.highlight .kn { color: #FF7B72 } /* Keyword.Namespace */
.highlight .kp { color: #79C0FF } /* Keyword.Pseudo */
.highlight .kr { color: #FF7B72 } /* Keyword.Reserved */
.highlight .kt { color: #FF7B72 } /* Keyword.Type */
.highlight .ld { color: #79C0FF } /* Literal.Date */
.highlight .m { color: #A5D6FF } /* Literal.Number */
.highlight .s { color: #A5D6FF } /* Literal.String */
.highlight .na { color: #E6EDF3 } /* Name.Attribute */
.highlight .nb { color: #E6EDF3 } /* Name.Builtin */
.highlight .nc { color: #F0883E; font-weight: bold } /* Name.Class */
.highlight .no { color: #79C0FF; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #D2A8FF; font-weight: bold } /* Name.Decorator */
.highlight .ni { color: #FFA657 } /* Name.Entity */
.highlight .ne { color: #F0883E; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #D2A8FF; font-weight: bold } /* Name.Function */
.highlight .nl { color: #79C0FF; font-weight: bold } /* Name.Label */
.highlight .nn { color: #FF7B72 } /* Name.Namespace */
.highlight .nx { color: #E6EDF3 } /* Name.Other */
.highlight .py { color: #79C0FF } /* Name.Property */
.highlight .nt { color: #7EE787 } /* Name.Tag */
.highlight .nv { color: #79C0FF } /* Name.Variable */
.highlight .ow { color: #FF7B72; font-weight: bold } /* Operator.Word */
.highlight .pm { color: #E6EDF3 } /* Punctuation.Marker */
.highlight .w { color: #6E7681 } /* Text.Whitespace */
.highlight .mb { color: #A5D6FF } /* Literal.Number.Bin */
.highlight .mf { color: #A5D6FF } /* Literal.Number.Float */
.highlight .mh { color: #A5D6FF } /* Literal.Number.Hex */
.highlight .mi { color: #A5D6FF } /* Literal.Number.Integer */
.highlight .mo { color: #A5D6FF } /* Literal.Number.Oct */
.highlight .sa { color: #79C0FF } /* Literal.String.Affix */
.highlight .sb { color: #A5D6FF } /* Literal.String.Backtick */
.highlight .sc { color: #A5D6FF } /* Literal.String.Char */
.highlight .dl { color: #79C0FF } /* Literal.String.Delimiter */
.highlight .sd { color: #A5D6FF } /* Literal.String.Doc */
.highlight .s2 { color: #A5D6FF } /* Literal.String.Double */
.highlight .se { color: #79C0FF } /* Literal.String.Escape */
.highlight .sh { color: #79C0FF } /* Literal.String.Heredoc */
.highlight .si { color: #A5D6FF } /* Literal.String.Interpol */
.highlight .sx { color: #A5D6FF } /* Literal.String.Other */
.highlight .sr { color: #79C0FF } /* Literal.String.Regex */
.highlight .s1 { color: #A5D6FF } /* Literal.String.Single */
.highlight .ss { color: #A5D6FF } /* Literal.String.Symbol */
.highlight .bp { color: #E6EDF3 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #D2A8FF; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #79C0FF } /* Name.Variable.Class */
.highlight .vg { color: #79C0FF } /* Name.Variable.Global */
.highlight .vi { color: #79C0FF } /* Name.Variable.Instance */
.highlight .vm { color: #79C0FF } /* Name.Variable.Magic */
.highlight .il { color: #A5D6FF } /* Literal.Number.Integer.Long */
pre { line-height: 125%; }
td.linenos .normal { color: #666666; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: #666666; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
:root[data-theme=light] .highlight .hll { background-color: #ffffcc }
:root[data-theme=light] .highlight { background: #f0f0f0; }
:root[data-theme=light] .highlight .c { color: #60A0B0; font-style: italic } /* Comment */
:root[data-theme=light] .highlight .err { border: 1px solid #F00 } /* Error */
:root[data-theme=light] .highlight .k { color: #007020; font-weight: bold } /* Keyword */
:root[data-theme=light] .highlight .o { color: #666 } /* Operator */
:root[data-theme=light] .highlight .ch { color: #60A0B0; font-style: italic } /* Comment.Hashbang */
:root[data-theme=light] .highlight .cm { color: #60A0B0; font-style: italic } /* Comment.Multiline */
:root[data-theme=light] .highlight .cp { color: #007020 } /* Comment.Preproc */
:root[data-theme=light] .highlight .cpf { color: #60A0B0; font-style: italic } /* Comment.PreprocFile */
:root[data-theme=light] .highlight .c1 { color: #60A0B0; font-style: italic } /* Comment.Single */
:root[data-theme=light] .highlight .cs { color: #60A0B0; background-color: #FFF0F0 } /* Comment.Special */
:root[data-theme=light] .highlight .gd { color: #A00000 } /* Generic.Deleted */
:root[data-theme=light] .highlight .ge { font-style: italic } /* Generic.Emph */
:root[data-theme=light] .highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
:root[data-theme=light] .highlight .gr { color: #F00 } /* Generic.Error */
:root[data-theme=light] .highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
:root[data-theme=light] .highlight .gi { color: #00A000 } /* Generic.Inserted */
:root[data-theme=light] .highlight .go { color: #888 } /* Generic.Output */
:root[data-theme=light] .highlight .gp { color: #C65D09; font-weight: bold } /* Generic.Prompt */
:root[data-theme=light] .highlight .gs { font-weight: bold } /* Generic.Strong */
:root[data-theme=light] .highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
:root[data-theme=light] .highlight .gt { color: #04D } /* Generic.Traceback */
:root[data-theme=light] .highlight .kc { color: #007020; font-weight: bold } /* Keyword.Constant */
:root[data-theme=light] .highlight .kd { color: #007020; font-weight: bold } /* Keyword.Declaration */
:root[data-theme=light] .highlight .kn { color: #007020; font-weight: bold } /* Keyword.Namespace */
:root[data-theme=light] .highlight .kp { color: #007020 } /* Keyword.Pseudo */
:root[data-theme=light] .highlight .kr { color: #007020; font-weight: bold } /* Keyword.Reserved */
:root[data-theme=light] .highlight .kt { color: #902000 } /* Keyword.Type */
:root[data-theme=light] .highlight .m { color: #40A070 } /* Literal.Number */
:root[data-theme=light] .highlight .s { color: #4070A0 } /* Literal.String */
:root[data-theme=light] .highlight .na { color: #4070A0 } /* Name.Attribute */
:root[data-theme=light] .highlight .nb { color: #007020 } /* Name.Builtin */
:root[data-theme=light] .highlight .nc { color: #0E84B5; font-weight: bold } /* Name.Class */
:root[data-theme=light] .highlight .no { color: #60ADD5 } /* Name.Constant */
:root[data-theme=light] .highlight .nd { color: #555; font-weight: bold } /* Name.Decorator */
:root[data-theme=light] .highlight .ni { color: #D55537; font-weight: bold } /* Name.Entity */
:root[data-theme=light] .highlight .ne { color: #007020 } /* Name.Exception */
:root[data-theme=light] .highlight .nf { color: #06287E } /* Name.Function */
:root[data-theme=light] .highlight .nl { color: #002070; font-weight: bold } /* Name.Label */
:root[data-theme=light] .highlight .nn { color: #0E84B5; font-weight: bold } /* Name.Namespace */
:root[data-theme=light] .highlight .nt { color: #062873; font-weight: bold } /* Name.Tag */
:root[data-theme=light] .highlight .nv { color: #BB60D5 } /* Name.Variable */
:root[data-theme=light] .highlight .ow { color: #007020; font-weight: bold } /* Operator.Word */
:root[data-theme=light] .highlight .w { color: #BBB } /* Text.Whitespace */
:root[data-theme=light] .highlight .mb { color: #40A070 } /* Literal.Number.Bin */
:root[data-theme=light] .highlight .mf { color: #40A070 } /* Literal.Number.Float */
:root[data-theme=light] .highlight .mh { color: #40A070 } /* Literal.Number.Hex */
:root[data-theme=light] .highlight .mi { color: #40A070 } /* Literal.Number.Integer */
:root[data-theme=light] .highlight .mo { color: #40A070 } /* Literal.Number.Oct */
:root[data-theme=light] .highlight .sa { color: #4070A0 } /* Literal.String.Affix */
:root[data-theme=light] .highlight .sb { color: #4070A0 } /* Literal.String.Backtick */
:root[data-theme=light] .highlight .sc { color: #4070A0 } /* Literal.String.Char */
:root[data-theme=light] .highlight .dl { color: #4070A0 } /* Literal.String.Delimiter */
:root[data-theme=light] .highlight .sd { color: #4070A0; font-style: italic } /* Literal.String.Doc */
:root[data-theme=light] .highlight .s2 { color: #4070A0 } /* Literal.String.Double */
:root[data-theme=light] .highlight .se { color: #4070A0; font-weight: bold } /* Literal.String.Escape */
:root[data-theme=light] .highlight .sh { color: #4070A0 } /* Literal.String.Heredoc */
:root[data-theme=light] .highlight .si { color: #70A0D0; font-style: italic } /* Literal.String.Interpol */
:root[data-theme=light] .highlight .sx { color: #C65D09 } /* Literal.String.Other */
:root[data-theme=light] .highlight .sr { color: #235388 } /* Literal.String.Regex */
:root[data-theme=light] .highlight .s1 { color: #4070A0 } /* Literal.String.Single */
:root[data-theme=light] .highlight .ss { color: #517918 } /* Literal.String.Symbol */
:root[data-theme=light] .highlight .bp { color: #007020 } /* Name.Builtin.Pseudo */
:root[data-theme=light] .highlight .fm { color: #06287E } /* Name.Function.Magic */
:root[data-theme=light] .highlight .vc { color: #BB60D5 } /* Name.Variable.Class */
:root[data-theme=light] .highlight .vg { color: #BB60D5 } /* Name.Variable.Global */
:root[data-theme=light] .highlight .vi { color: #BB60D5 } /* Name.Variable.Instance */
:root[data-theme=light] .highlight .vm { color: #BB60D5 } /* Name.Variable.Magic */
:root[data-theme=light] .highlight .il { color: #40A070 } /* Literal.Number.Integer.Long */
@media (prefers-color-scheme: light) {
pre { line-height: 125%; }
td.linenos .normal { color: #666666; background-color: transparent; padding-left: 5px; padding-right: 5px; }
span.linenos { color: #666666; background-color: transparent; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
:root:not([data-theme=dark]) .highlight .hll { background-color: #ffffcc }
:root:not([data-theme=dark]) .highlight { background: #f0f0f0; }
:root:not([data-theme=dark]) .highlight .c { color: #60A0B0; font-style: italic } /* Comment */
:root:not([data-theme=dark]) .highlight .err { border: 1px solid #F00 } /* Error */
:root:not([data-theme=dark]) .highlight .k { color: #007020; font-weight: bold } /* Keyword */
:root:not([data-theme=dark]) .highlight .o { color: #666 } /* Operator */
:root:not([data-theme=dark]) .highlight .ch { color: #60A0B0; font-style: italic } /* Comment.Hashbang */
:root:not([data-theme=dark]) .highlight .cm { color: #60A0B0; font-style: italic } /* Comment.Multiline */
:root:not([data-theme=dark]) .highlight .cp { color: #007020 } /* Comment.Preproc */
:root:not([data-theme=dark]) .highlight .cpf { color: #60A0B0; font-style: italic } /* Comment.PreprocFile */
:root:not([data-theme=dark]) .highlight .c1 { color: #60A0B0; font-style: italic } /* Comment.Single */
:root:not([data-theme=dark]) .highlight .cs { color: #60A0B0; background-color: #FFF0F0 } /* Comment.Special */
:root:not([data-theme=dark]) .highlight .gd { color: #A00000 } /* Generic.Deleted */
:root:not([data-theme=dark]) .highlight .ge { font-style: italic } /* Generic.Emph */
:root:not([data-theme=dark]) .highlight .ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
:root:not([data-theme=dark]) .highlight .gr { color: #F00 } /* Generic.Error */
:root:not([data-theme=dark]) .highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
:root:not([data-theme=dark]) .highlight .gi { color: #00A000 } /* Generic.Inserted */
:root:not([data-theme=dark]) .highlight .go { color: #888 } /* Generic.Output */
:root:not([data-theme=dark]) .highlight .gp { color: #C65D09; font-weight: bold } /* Generic.Prompt */
:root:not([data-theme=dark]) .highlight .gs { font-weight: bold } /* Generic.Strong */
:root:not([data-theme=dark]) .highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
:root:not([data-theme=dark]) .highlight .gt { color: #04D } /* Generic.Traceback */
:root:not([data-theme=dark]) .highlight .kc { color: #007020; font-weight: bold } /* Keyword.Constant */
:root:not([data-theme=dark]) .highlight .kd { color: #007020; font-weight: bold } /* Keyword.Declaration */
:root:not([data-theme=dark]) .highlight .kn { color: #007020; font-weight: bold } /* Keyword.Namespace */
:root:not([data-theme=dark]) .highlight .kp { color: #007020 } /* Keyword.Pseudo */
:root:not([data-theme=dark]) .highlight .kr { color: #007020; font-weight: bold } /* Keyword.Reserved */
:root:not([data-theme=dark]) .highlight .kt { color: #902000 } /* Keyword.Type */
:root:not([data-theme=dark]) .highlight .m { color: #40A070 } /* Literal.Number */
:root:not([data-theme=dark]) .highlight .s { color: #4070A0 } /* Literal.String */
:root:not([data-theme=dark]) .highlight .na { color: #4070A0 } /* Name.Attribute */
:root:not([data-theme=dark]) .highlight .nb { color: #007020 } /* Name.Builtin */
:root:not([data-theme=dark]) .highlight .nc { color: #0E84B5; font-weight: bold } /* Name.Class */
:root:not([data-theme=dark]) .highlight .no { color: #60ADD5 } /* Name.Constant */
:root:not([data-theme=dark]) .highlight .nd { color: #555; font-weight: bold } /* Name.Decorator */
:root:not([data-theme=dark]) .highlight .ni { color: #D55537; font-weight: bold } /* Name.Entity */
:root:not([data-theme=dark]) .highlight .ne { color: #007020 } /* Name.Exception */
:root:not([data-theme=dark]) .highlight .nf { color: #06287E } /* Name.Function */
:root:not([data-theme=dark]) .highlight .nl { color: #002070; font-weight: bold } /* Name.Label */
:root:not([data-theme=dark]) .highlight .nn { color: #0E84B5; font-weight: bold } /* Name.Namespace */
:root:not([data-theme=dark]) .highlight .nt { color: #062873; font-weight: bold } /* Name.Tag */
:root:not([data-theme=dark]) .highlight .nv { color: #BB60D5 } /* Name.Variable */
:root:not([data-theme=dark]) .highlight .ow { color: #007020; font-weight: bold } /* Operator.Word */
:root:not([data-theme=dark]) .highlight .w { color: #BBB } /* Text.Whitespace */
:root:not([data-theme=dark]) .highlight .mb { color: #40A070 } /* Literal.Number.Bin */
:root:not([data-theme=dark]) .highlight .mf { color: #40A070 } /* Literal.Number.Float */
:root:not([data-theme=dark]) .highlight .mh { color: #40A070 } /* Literal.Number.Hex */
:root:not([data-theme=dark]) .highlight .mi { color: #40A070 } /* Literal.Number.Integer */
:root:not([data-theme=dark]) .highlight .mo { color: #40A070 } /* Literal.Number.Oct */
:root:not([data-theme=dark]) .highlight .sa { color: #4070A0 } /* Literal.String.Affix */
:root:not([data-theme=dark]) .highlight .sb { color: #4070A0 } /* Literal.String.Backtick */
:root:not([data-theme=dark]) .highlight .sc { color: #4070A0 } /* Literal.String.Char */
:root:not([data-theme=dark]) .highlight .dl { color: #4070A0 } /* Literal.String.Delimiter */
:root:not([data-theme=dark]) .highlight .sd { color: #4070A0; font-style: italic } /* Literal.String.Doc */
:root:not([data-theme=dark]) .highlight .s2 { color: #4070A0 } /* Literal.String.Double */
:root:not([data-theme=dark]) .highlight .se { color: #4070A0; font-weight: bold } /* Literal.String.Escape */
:root:not([data-theme=dark]) .highlight .sh { color: #4070A0 } /* Literal.String.Heredoc */
:root:not([data-theme=dark]) .highlight .si { color: #70A0D0; font-style: italic } /* Literal.String.Interpol */
:root:not([data-theme=dark]) .highlight .sx { color: #C65D09 } /* Literal.String.Other */
:root:not([data-theme=dark]) .highlight .sr { color: #235388 } /* Literal.String.Regex */
:root:not([data-theme=dark]) .highlight .s1 { color: #4070A0 } /* Literal.String.Single */
:root:not([data-theme=dark]) .highlight .ss { color: #517918 } /* Literal.String.Symbol */
:root:not([data-theme=dark]) .highlight .bp { color: #007020 } /* Name.Builtin.Pseudo */
:root:not([data-theme=dark]) .highlight .fm { color: #06287E } /* Name.Function.Magic */
:root:not([data-theme=dark]) .highlight .vc { color: #BB60D5 } /* Name.Variable.Class */
:root:not([data-theme=dark]) .highlight .vg { color: #BB60D5 } /* Name.Variable.Global */
:root:not([data-theme=dark]) .highlight .vi { color: #BB60D5 } /* Name.Variable.Instance */
:root:not([data-theme=dark]) .highlight .vm { color: #BB60D5 } /* Name.Variable.Magic */
:root:not([data-theme=dark]) .highlight .il { color: #40A070 } /* Literal.Number.Integer.Long */
}