:root {
  --verso-background-color: #ffffff;
  --verso-code-background-color: #ffffff;
  --verso-text-color: #000000;
  --verso-code-color: #000000;
  --verso-structure-color: #000000;
  --verso-selected-color: #ddeeff;
  --verso-info-color: #000000;
  --verso-info-indicator-color: #4777ff;
  --verso-warning-color: #000000;
  --verso-warning-indicator-color: #d97706;
  --verso-error-color: #cc0000;
  --verso-error-indicator-color: #ff0000;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #000000;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #000000;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #000000;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #000000;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #000000;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #000000;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #000000;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #000000;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #000000;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #000000;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #000000;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #000000;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #000000;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #000000;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #000000;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #000000;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #000000;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #000000;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #000000;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #e5e5e5;
  --verso-hover-border-color: #000000;
  --verso-hover-text-color: #000000;
  --verso-hover-separator-color: #cccccc;
  --verso-token-highlight-background-color: #eeeeee;
  --verso-tactic-state-background-color: #ffffff;
  --verso-tactic-state-border-color: #888888;
  --verso-highlight-on-code-color: #fff3b0;
  --verso-highlight-on-text-color: #fff3b0;
  --verso-ui-on-code-color: #888888;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #f8f9fa;
  --verso-header-background: #ffffff;
  --verso-toc-background-color: #fafafa;
  --verso-border-color: #878787;
  --verso-muted-color: #777777;
  --verso-highlight-color: #ddeeff;
  --verso-link-color: #0066cc;
  --verso-visited-link-color: #0066cc;
  --verso-toc-text-color: #000000;
  --verso-burger-toc-visible-color: #000000;
  --verso-burger-toc-visible-shadow-color: #ffffff;
  --verso-burger-toc-hidden-color: #0e2431;
  --verso-burger-toc-hidden-shadow-color: #ffffff;
}
@media (prefers-color-scheme: dark) {
  :root {
  --verso-background-color: #16181c;
  --verso-code-background-color: #1e2026;
  --verso-text-color: #e8e8e8;
  --verso-code-color: #e8e8e8;
  --verso-structure-color: #e8e8e8;
  --verso-selected-color: #2a3f55;
  --verso-info-color: #e8e8e8;
  --verso-info-indicator-color: #4777ff;
  --verso-warning-color: #e8e8e8;
  --verso-warning-indicator-color: #d97706;
  --verso-error-color: #ff8b8b;
  --verso-error-indicator-color: #ff0000;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #e8e8e8;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #e8e8e8;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #e8e8e8;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #e8e8e8;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #e8e8e8;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #e8e8e8;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #e8e8e8;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #e8e8e8;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #e8e8e8;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #e8e8e8;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #e8e8e8;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #e8e8e8;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #e8e8e8;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #e8e8e8;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #e8e8e8;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #e8e8e8;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #e8e8e8;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #e8e8e8;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #e8e8e8;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #2a2d33;
  --verso-hover-border-color: #aaaaaa;
  --verso-hover-text-color: #e8e8e8;
  --verso-hover-separator-color: #3a3d44;
  --verso-token-highlight-background-color: #33363d;
  --verso-tactic-state-background-color: #1e2026;
  --verso-tactic-state-border-color: #aaaaaa;
  --verso-highlight-on-code-color: #3a2f00;
  --verso-highlight-on-text-color: #3a2f00;
  --verso-ui-on-code-color: #aaaaaa;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #1f2229;
  --verso-header-background: #16181c;
  --verso-toc-background-color: #1a1c22;
  --verso-border-color: #a0a3ab;
  --verso-muted-color: #a8acb5;
  --verso-highlight-color: #2a3f55;
  --verso-link-color: #6cb6ff;
  --verso-visited-link-color: #a98aff;
  --verso-toc-text-color: #e8e8e8;
  --verso-burger-toc-visible-color: #e8e8e8;
  --verso-burger-toc-visible-shadow-color: #16181c;
  --verso-burger-toc-hidden-color: #e8e8e8;
  --verso-burger-toc-hidden-shadow-color: #16181c;
  }
}
:root[data-verso-theme="Verso.Theme.ManualTheme.solarizedDark"] {
  --verso-background-color: #002b36;
  --verso-code-background-color: #073642;
  --verso-text-color: #839496;
  --verso-code-color: #839496;
  --verso-structure-color: #93a1a1;
  --verso-selected-color: #073642;
  --verso-info-color: #839496;
  --verso-info-indicator-color: #268bd2;
  --verso-warning-color: #839496;
  --verso-warning-indicator-color: #b58900;
  --verso-error-color: #dc322f;
  --verso-error-indicator-color: #dc322f;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #268bd2;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #859900;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #6c71c4;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #839496;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #2aa198;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #2aa198;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #2aa198;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #586e75;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #586e75;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: italic;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #586e75;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: italic;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #b58900;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #6c71c4;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #2aa198;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #859900;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #d33682;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #839496;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #859900;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #839496;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #839496;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #073642;
  --verso-hover-border-color: #586e75;
  --verso-hover-text-color: #839496;
  --verso-hover-separator-color: #586e75;
  --verso-token-highlight-background-color: #073642;
  --verso-tactic-state-background-color: #1e2026;
  --verso-tactic-state-border-color: #586e75;
  --verso-highlight-on-code-color: #3a2f00;
  --verso-highlight-on-text-color: #3a2f00;
  --verso-ui-on-code-color: #586e75;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #073642;
  --verso-header-background: #002b36;
  --verso-toc-background-color: #073642;
  --verso-border-color: #586e75;
  --verso-muted-color: #586e75;
  --verso-highlight-color: #073642;
  --verso-link-color: #268bd2;
  --verso-visited-link-color: #6c71c4;
  --verso-toc-text-color: #839496;
  --verso-burger-toc-visible-color: #839496;
  --verso-burger-toc-visible-shadow-color: #002b36;
  --verso-burger-toc-hidden-color: #839496;
  --verso-burger-toc-hidden-shadow-color: #002b36;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.chromaticDark"] {
  --verso-background-color: #16181c;
  --verso-code-background-color: #1e2026;
  --verso-text-color: #e8e8e8;
  --verso-code-color: #e8e8e8;
  --verso-structure-color: #e8e8e8;
  --verso-selected-color: #2a3f55;
  --verso-info-color: #e8e8e8;
  --verso-info-indicator-color: #4777ff;
  --verso-warning-color: #e8e8e8;
  --verso-warning-indicator-color: #d97706;
  --verso-error-color: #ff8b8b;
  --verso-error-indicator-color: #ff0000;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #6cb6ff;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #ff8b8b;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #c4c4c4;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #e8e8e8;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #e8e8e8;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #e8e8e8;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #e8e8e8;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #e8e8e8;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #e8e8e8;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #e8e8e8;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #e8e8e8;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #e8e8e8;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #e8e8e8;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #e8e8e8;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #e8e8e8;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #e8e8e8;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #e8e8e8;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #e8e8e8;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #e8e8e8;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #2a2d33;
  --verso-hover-border-color: #aaaaaa;
  --verso-hover-text-color: #e8e8e8;
  --verso-hover-separator-color: #3a3d44;
  --verso-token-highlight-background-color: #33363d;
  --verso-tactic-state-background-color: #1e2026;
  --verso-tactic-state-border-color: #aaaaaa;
  --verso-highlight-on-code-color: #3a2f00;
  --verso-highlight-on-text-color: #3a2f00;
  --verso-ui-on-code-color: #aaaaaa;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #1f2229;
  --verso-header-background: #16181c;
  --verso-toc-background-color: #1a1c22;
  --verso-border-color: #a0a3ab;
  --verso-muted-color: #a8acb5;
  --verso-highlight-color: #2a3f55;
  --verso-link-color: #6cb6ff;
  --verso-visited-link-color: #a98aff;
  --verso-toc-text-color: #e8e8e8;
  --verso-burger-toc-visible-color: #e8e8e8;
  --verso-burger-toc-visible-shadow-color: #16181c;
  --verso-burger-toc-hidden-color: #e8e8e8;
  --verso-burger-toc-hidden-shadow-color: #16181c;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.beaconLight"] {
  --verso-background-color: #ffffff;
  --verso-code-background-color: #ffffff;
  --verso-text-color: #000000;
  --verso-code-color: #000000;
  --verso-structure-color: #000000;
  --verso-selected-color: #ddeeff;
  --verso-info-color: #000000;
  --verso-info-indicator-color: #4777ff;
  --verso-warning-color: #000000;
  --verso-warning-indicator-color: #d97706;
  --verso-error-color: #cc0000;
  --verso-error-indicator-color: #ff0000;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #009e73;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #0072b2;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #d55e00;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #000000;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #cc79a7;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #e69f00;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #cc79a7;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #000000;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #000000;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #000000;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #d55e00;
  --verso-code-sort-weight: 700;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #d55e00;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #e69f00;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #0072b2;
  --verso-code-level-op-weight: 700;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #009e73;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #000000;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #000000;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #000000;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #000000;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #e5e5e5;
  --verso-hover-border-color: #000000;
  --verso-hover-text-color: #000000;
  --verso-hover-separator-color: #cccccc;
  --verso-token-highlight-background-color: #eeeeee;
  --verso-tactic-state-background-color: #ffffff;
  --verso-tactic-state-border-color: #888888;
  --verso-highlight-on-code-color: #fff3b0;
  --verso-highlight-on-text-color: #fff3b0;
  --verso-ui-on-code-color: #888888;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #f8f9fa;
  --verso-header-background: #ffffff;
  --verso-toc-background-color: #fafafa;
  --verso-border-color: #878787;
  --verso-muted-color: #777777;
  --verso-highlight-color: #ddeeff;
  --verso-link-color: #0066cc;
  --verso-visited-link-color: #0066cc;
  --verso-toc-text-color: #000000;
  --verso-burger-toc-visible-color: #000000;
  --verso-burger-toc-visible-shadow-color: #ffffff;
  --verso-burger-toc-hidden-color: #0e2431;
  --verso-burger-toc-hidden-shadow-color: #ffffff;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.sandstoneDark"] {
  --verso-background-color: #2d1810;
  --verso-code-background-color: #3a2118;
  --verso-text-color: #f3d5a3;
  --verso-code-color: #f3d5a3;
  --verso-structure-color: #f3d5a3;
  --verso-selected-color: #553626;
  --verso-info-color: #f3d5a3;
  --verso-info-indicator-color: #ffae5a;
  --verso-warning-color: #f3d5a3;
  --verso-warning-indicator-color: #e0a060;
  --verso-error-color: #ff8b8b;
  --verso-error-indicator-color: #ff6f6f;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #ffc266;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #ff8c4a;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #f3d5a3;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #e8e8e8;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #e8e8e8;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #f3d5a3;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #f3d5a3;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #e8e8e8;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #f3d5a3;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #f3d5a3;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #e8e8e8;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #e8e8e8;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #e8e8e8;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #e8e8e8;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #e8e8e8;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #f3d5a3;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #f3d5a3;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #f3d5a3;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #f3d5a3;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #4a2c20;
  --verso-hover-border-color: #a87c52;
  --verso-hover-text-color: #f3d5a3;
  --verso-hover-separator-color: #5e3925;
  --verso-token-highlight-background-color: #4a2c20;
  --verso-tactic-state-background-color: #3a2118;
  --verso-tactic-state-border-color: #a87c52;
  --verso-highlight-on-code-color: #6b4500;
  --verso-highlight-on-text-color: #6b4500;
  --verso-ui-on-code-color: #a87c52;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #3a2118;
  --verso-header-background: #2d1810;
  --verso-toc-background-color: #2d1810;
  --verso-border-color: #a87c52;
  --verso-muted-color: #c89866;
  --verso-highlight-color: #553626;
  --verso-link-color: #ffae5a;
  --verso-visited-link-color: #d49a8a;
  --verso-toc-text-color: #f3d5a3;
  --verso-burger-toc-visible-color: #f3d5a3;
  --verso-burger-toc-visible-shadow-color: #2d1810;
  --verso-burger-toc-hidden-color: #f3d5a3;
  --verso-burger-toc-hidden-shadow-color: #2d1810;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.nord"] {
  --verso-background-color: #2e3440;
  --verso-code-background-color: #3b4252;
  --verso-text-color: #d8dee9;
  --verso-code-color: #d8dee9;
  --verso-structure-color: #d8dee9;
  --verso-selected-color: #434c5e;
  --verso-info-color: #d8dee9;
  --verso-info-indicator-color: #88c0d0;
  --verso-warning-color: #d8dee9;
  --verso-warning-indicator-color: #ebcb8b;
  --verso-error-color: #bf616a;
  --verso-error-indicator-color: #bf616a;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #88c0d0;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #81a1c1;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #d8dee9;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #d8dee9;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #a3be8c;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #b48ead;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #a3be8c;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #4c566a;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #4c566a;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #4c566a;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #8fbcbb;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #d8dee9;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #b48ead;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #5e81ac;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #8fbcbb;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #d8dee9;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #81a1c1;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #d8dee9;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #d8dee9;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #434c5e;
  --verso-hover-border-color: #4c566a;
  --verso-hover-text-color: #d8dee9;
  --verso-hover-separator-color: #4c566a;
  --verso-token-highlight-background-color: #434c5e;
  --verso-tactic-state-background-color: #ffffff;
  --verso-tactic-state-border-color: #4c566a;
  --verso-highlight-on-code-color: #4c566a;
  --verso-highlight-on-text-color: #4c566a;
  --verso-ui-on-code-color: #4c566a;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #3b4252;
  --verso-header-background: #2e3440;
  --verso-toc-background-color: #2e3440;
  --verso-border-color: #4c566a;
  --verso-muted-color: #d8dee9;
  --verso-highlight-color: #434c5e;
  --verso-link-color: #88c0d0;
  --verso-visited-link-color: #b48ead;
  --verso-toc-text-color: #d8dee9;
  --verso-burger-toc-visible-color: #d8dee9;
  --verso-burger-toc-visible-shadow-color: #2e3440;
  --verso-burger-toc-hidden-color: #d8dee9;
  --verso-burger-toc-hidden-shadow-color: #2e3440;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.beaconDark"] {
  --verso-background-color: #16181c;
  --verso-code-background-color: #1e2026;
  --verso-text-color: #e8e8e8;
  --verso-code-color: #e8e8e8;
  --verso-structure-color: #e8e8e8;
  --verso-selected-color: #2a3f55;
  --verso-info-color: #e8e8e8;
  --verso-info-indicator-color: #4777ff;
  --verso-warning-color: #e8e8e8;
  --verso-warning-indicator-color: #d97706;
  --verso-error-color: #ff8b8b;
  --verso-error-indicator-color: #ff0000;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #009e73;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #56b4e9;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #e69f00;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #e8e8e8;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #f0e442;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #f0e442;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #f0e442;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #e8e8e8;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #e8e8e8;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #e8e8e8;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #cc79a7;
  --verso-code-sort-weight: 700;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #e69f00;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #f0e442;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #56b4e9;
  --verso-code-level-op-weight: 700;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #009e73;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #e8e8e8;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #e8e8e8;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #e8e8e8;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #e8e8e8;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #2a2d33;
  --verso-hover-border-color: #aaaaaa;
  --verso-hover-text-color: #e8e8e8;
  --verso-hover-separator-color: #3a3d44;
  --verso-token-highlight-background-color: #33363d;
  --verso-tactic-state-background-color: #1e2026;
  --verso-tactic-state-border-color: #aaaaaa;
  --verso-highlight-on-code-color: #3a2f00;
  --verso-highlight-on-text-color: #3a2f00;
  --verso-ui-on-code-color: #aaaaaa;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #1f2229;
  --verso-header-background: #16181c;
  --verso-toc-background-color: #1a1c22;
  --verso-border-color: #a0a3ab;
  --verso-muted-color: #a8acb5;
  --verso-highlight-color: #2a3f55;
  --verso-link-color: #6cb6ff;
  --verso-visited-link-color: #a98aff;
  --verso-toc-text-color: #e8e8e8;
  --verso-burger-toc-visible-color: #e8e8e8;
  --verso-burger-toc-visible-shadow-color: #16181c;
  --verso-burger-toc-hidden-color: #e8e8e8;
  --verso-burger-toc-hidden-shadow-color: #16181c;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.hearthDark"] {
  --verso-background-color: #1e1e14;
  --verso-code-background-color: #262619;
  --verso-text-color: #f1e7d2;
  --verso-code-color: #f1e7d2;
  --verso-structure-color: #f1e7d2;
  --verso-selected-color: #33321f;
  --verso-info-color: #f1e7d2;
  --verso-info-indicator-color: #80c8a8;
  --verso-warning-color: #f1e7d2;
  --verso-warning-indicator-color: #e6a85a;
  --verso-error-color: #ff8b8b;
  --verso-error-indicator-color: #ff7a90;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #f5a8b8;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #9adcb0;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #f1e7d2;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #e8e8e8;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #e8e8e8;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #f1e7d2;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #f1e7d2;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #e8e8e8;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #f1e7d2;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #f1e7d2;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #e8e8e8;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #e8e8e8;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #e8e8e8;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #e8e8e8;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #e8e8e8;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #f1e7d2;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #f1e7d2;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #f1e7d2;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #f1e7d2;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #33321f;
  --verso-hover-border-color: #a08a64;
  --verso-hover-text-color: #f1e7d2;
  --verso-hover-separator-color: #4a4628;
  --verso-token-highlight-background-color: #33321f;
  --verso-tactic-state-background-color: #262619;
  --verso-tactic-state-border-color: #a08a64;
  --verso-highlight-on-code-color: #5c4a00;
  --verso-highlight-on-text-color: #3a2f00;
  --verso-ui-on-code-color: #a08a64;
  --verso-text-font-family: ui-serif, Georgia, Cambria, serif;
  --verso-structure-font-family: ui-serif, Georgia, Cambria, serif;
  --verso-surface-color: #1f2229;
  --verso-header-background: #1e1e14;
  --verso-toc-background-color: #1a1c22;
  --verso-border-color: #a0a3ab;
  --verso-muted-color: #a8acb5;
  --verso-highlight-color: #33321f;
  --verso-link-color: #6cb6ff;
  --verso-visited-link-color: #a98aff;
  --verso-toc-text-color: #f1e7d2;
  --verso-burger-toc-visible-color: #f1e7d2;
  --verso-burger-toc-visible-shadow-color: #1e1e14;
  --verso-burger-toc-hidden-color: #f1e7d2;
  --verso-burger-toc-hidden-shadow-color: #1e1e14;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.alucard"] {
  --verso-background-color: #fffbeb;
  --verso-code-background-color: #fffbeb;
  --verso-text-color: #1f1f1f;
  --verso-code-color: #1f1f1f;
  --verso-structure-color: #1f1f1f;
  --verso-selected-color: #cfcfde;
  --verso-info-color: #1f1f1f;
  --verso-info-indicator-color: #036a96;
  --verso-warning-color: #1f1f1f;
  --verso-warning-indicator-color: #a34d14;
  --verso-error-color: #cb3a2a;
  --verso-error-indicator-color: #cb3a2a;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #14710a;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #a3144d;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #1f1f1f;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #000000;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #846e15;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #a34d14;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #846e15;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #6c664b;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #6c664b;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #6c664b;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #036a96;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #1f1f1f;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #a34d14;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #a3144d;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #036a96;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #1f1f1f;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #a3144d;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #1f1f1f;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #1f1f1f;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #cfcfde;
  --verso-hover-border-color: #6c664b;
  --verso-hover-text-color: #1f1f1f;
  --verso-hover-separator-color: #6c664b;
  --verso-token-highlight-background-color: #cfcfde;
  --verso-tactic-state-background-color: #ffffff;
  --verso-tactic-state-border-color: #6c664b;
  --verso-highlight-on-code-color: #cfcfde;
  --verso-highlight-on-text-color: #fff3b0;
  --verso-ui-on-code-color: #6c664b;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #cfcfde;
  --verso-header-background: #fffbeb;
  --verso-toc-background-color: #fffbeb;
  --verso-border-color: #6c664b;
  --verso-muted-color: #6c664b;
  --verso-highlight-color: #cfcfde;
  --verso-link-color: #036a96;
  --verso-visited-link-color: #644ac9;
  --verso-toc-text-color: #1f1f1f;
  --verso-burger-toc-visible-color: #1f1f1f;
  --verso-burger-toc-visible-shadow-color: #fffbeb;
  --verso-burger-toc-hidden-color: #1f1f1f;
  --verso-burger-toc-hidden-shadow-color: #fffbeb;
}
:where(:root[data-verso-theme="Verso.Theme.ManualTheme.alucard"]) {
.hl.lean .const[data-binding="const-Bool.true"],
.hl.lean .const[data-binding="const-Bool.false"] { color: #a34d14; }
}
:root[data-verso-theme="Verso.Theme.ManualTheme.solarizedLight"] {
  --verso-background-color: #fdf6e3;
  --verso-code-background-color: #eee8d5;
  --verso-text-color: #657b83;
  --verso-code-color: #657b83;
  --verso-structure-color: #586e75;
  --verso-selected-color: #eee8d5;
  --verso-info-color: #657b83;
  --verso-info-indicator-color: #268bd2;
  --verso-warning-color: #657b83;
  --verso-warning-indicator-color: #b58900;
  --verso-error-color: #dc322f;
  --verso-error-indicator-color: #dc322f;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #268bd2;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #859900;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #6c71c4;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #657b83;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #2aa198;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #2aa198;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #2aa198;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #93a1a1;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #93a1a1;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: italic;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #93a1a1;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: italic;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #b58900;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #6c71c4;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #2aa198;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #859900;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #d33682;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #657b83;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #859900;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #657b83;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #657b83;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #eee8d5;
  --verso-hover-border-color: #93a1a1;
  --verso-hover-text-color: #657b83;
  --verso-hover-separator-color: #93a1a1;
  --verso-token-highlight-background-color: #eee8d5;
  --verso-tactic-state-background-color: #ffffff;
  --verso-tactic-state-border-color: #93a1a1;
  --verso-highlight-on-code-color: #f7e7a3;
  --verso-highlight-on-text-color: #fff3b0;
  --verso-ui-on-code-color: #93a1a1;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #eee8d5;
  --verso-header-background: #fdf6e3;
  --verso-toc-background-color: #eee8d5;
  --verso-border-color: #586e75;
  --verso-muted-color: #93a1a1;
  --verso-highlight-color: #eee8d5;
  --verso-link-color: #268bd2;
  --verso-visited-link-color: #6c71c4;
  --verso-toc-text-color: #657b83;
  --verso-burger-toc-visible-color: #657b83;
  --verso-burger-toc-visible-shadow-color: #fdf6e3;
  --verso-burger-toc-hidden-color: #586e75;
  --verso-burger-toc-hidden-shadow-color: #fdf6e3;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.hearthLight"] {
  --verso-background-color: #f7f1e3;
  --verso-code-background-color: #ede4cf;
  --verso-text-color: #3d2f1f;
  --verso-code-color: #3d2f1f;
  --verso-structure-color: #3d2f1f;
  --verso-selected-color: #e3cfae;
  --verso-info-color: #3d2f1f;
  --verso-info-indicator-color: #2f6e58;
  --verso-warning-color: #3d2f1f;
  --verso-warning-indicator-color: #a07020;
  --verso-error-color: #a04050;
  --verso-error-indicator-color: #a04050;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #a04050;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #2f6e58;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #3d2f1f;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #000000;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #000000;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #3d2f1f;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #3d2f1f;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #000000;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #3d2f1f;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #3d2f1f;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #000000;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #000000;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #000000;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #000000;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #000000;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #3d2f1f;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #3d2f1f;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #3d2f1f;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #3d2f1f;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #ede4cf;
  --verso-hover-border-color: #7a6952;
  --verso-hover-text-color: #3d2f1f;
  --verso-hover-separator-color: #7a6952;
  --verso-token-highlight-background-color: #ede4cf;
  --verso-tactic-state-background-color: #ede4cf;
  --verso-tactic-state-border-color: #7a6952;
  --verso-highlight-on-code-color: #e3cfae;
  --verso-highlight-on-text-color: #fff3b0;
  --verso-ui-on-code-color: #7a6952;
  --verso-text-font-family: ui-serif, Georgia, Cambria, serif;
  --verso-structure-font-family: ui-serif, Georgia, Cambria, serif;
  --verso-surface-color: #ede4cf;
  --verso-header-background: #f7f1e3;
  --verso-toc-background-color: #ede4cf;
  --verso-border-color: #7a6952;
  --verso-muted-color: #6b5640;
  --verso-highlight-color: #e3cfae;
  --verso-link-color: #2f6e58;
  --verso-visited-link-color: #7a3a91;
  --verso-toc-text-color: #3d2f1f;
  --verso-burger-toc-visible-color: #3d2f1f;
  --verso-burger-toc-visible-shadow-color: #f7f1de;
  --verso-burger-toc-hidden-color: #3d2f1f;
  --verso-burger-toc-hidden-shadow-color: #f7f1de;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.ink"] {
  --verso-background-color: #ffffff;
  --verso-code-background-color: #ffffff;
  --verso-text-color: #000000;
  --verso-code-color: #000000;
  --verso-structure-color: #000000;
  --verso-selected-color: #ddeeff;
  --verso-info-color: #000000;
  --verso-info-indicator-color: #4777ff;
  --verso-warning-color: #000000;
  --verso-warning-indicator-color: #d97706;
  --verso-error-color: #cc0000;
  --verso-error-indicator-color: #ff0000;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #000000;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #000000;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #000000;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #000000;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #000000;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #000000;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #000000;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #000000;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #000000;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #000000;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #000000;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #000000;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #000000;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #000000;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #000000;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #000000;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #000000;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #000000;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #000000;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #e5e5e5;
  --verso-hover-border-color: #000000;
  --verso-hover-text-color: #000000;
  --verso-hover-separator-color: #cccccc;
  --verso-token-highlight-background-color: #eeeeee;
  --verso-tactic-state-background-color: #ffffff;
  --verso-tactic-state-border-color: #888888;
  --verso-highlight-on-code-color: #fff3b0;
  --verso-highlight-on-text-color: #fff3b0;
  --verso-ui-on-code-color: #888888;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #f8f9fa;
  --verso-header-background: #ffffff;
  --verso-toc-background-color: #fafafa;
  --verso-border-color: #878787;
  --verso-muted-color: #777777;
  --verso-highlight-color: #ddeeff;
  --verso-link-color: #0066cc;
  --verso-visited-link-color: #0066cc;
  --verso-toc-text-color: #000000;
  --verso-burger-toc-visible-color: #000000;
  --verso-burger-toc-visible-shadow-color: #ffffff;
  --verso-burger-toc-hidden-color: #0e2431;
  --verso-burger-toc-hidden-shadow-color: #ffffff;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.sandstoneLight"] {
  --verso-background-color: #faf5ee;
  --verso-code-background-color: #f3e9d6;
  --verso-text-color: #3b2a17;
  --verso-code-color: #3b2a17;
  --verso-structure-color: #3b2a17;
  --verso-selected-color: #f4d5a8;
  --verso-info-color: #3b2a17;
  --verso-info-indicator-color: #1f6f8b;
  --verso-warning-color: #3b2a17;
  --verso-warning-indicator-color: #a05a00;
  --verso-error-color: #a83232;
  --verso-error-indicator-color: #c0392b;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #1f6f8b;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #a04a00;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #3b2a17;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #000000;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #000000;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #3b2a17;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #3b2a17;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #000000;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #3b2a17;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #3b2a17;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #000000;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #000000;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #000000;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #000000;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #000000;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #3b2a17;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #3b2a17;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #3b2a17;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #3b2a17;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #f3e9d6;
  --verso-hover-border-color: #8c7257;
  --verso-hover-text-color: #3b2a17;
  --verso-hover-separator-color: #8c7257;
  --verso-token-highlight-background-color: #f3e9d6;
  --verso-tactic-state-background-color: #f3e9d6;
  --verso-tactic-state-border-color: #8c7257;
  --verso-highlight-on-code-color: #f4d5a8;
  --verso-highlight-on-text-color: #fff3b0;
  --verso-ui-on-code-color: #8c7257;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #f3e9d6;
  --verso-header-background: #faf5ee;
  --verso-toc-background-color: #f3e9d6;
  --verso-border-color: #8c7257;
  --verso-muted-color: #7a5a40;
  --verso-highlight-color: #f4d5a8;
  --verso-link-color: #a04a00;
  --verso-visited-link-color: #7a3a91;
  --verso-toc-text-color: #3b2a17;
  --verso-burger-toc-visible-color: #3b2a17;
  --verso-burger-toc-visible-shadow-color: #faf5ee;
  --verso-burger-toc-hidden-color: #3b2a17;
  --verso-burger-toc-hidden-shadow-color: #faf5ee;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.argent"] {
  --verso-background-color: #16181c;
  --verso-code-background-color: #1e2026;
  --verso-text-color: #e8e8e8;
  --verso-code-color: #e8e8e8;
  --verso-structure-color: #e8e8e8;
  --verso-selected-color: #2a3f55;
  --verso-info-color: #e8e8e8;
  --verso-info-indicator-color: #4777ff;
  --verso-warning-color: #e8e8e8;
  --verso-warning-indicator-color: #d97706;
  --verso-error-color: #ff8b8b;
  --verso-error-indicator-color: #ff0000;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #e8e8e8;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #e8e8e8;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #e8e8e8;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #e8e8e8;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #e8e8e8;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #e8e8e8;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #e8e8e8;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #e8e8e8;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #e8e8e8;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #e8e8e8;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #e8e8e8;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #e8e8e8;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #e8e8e8;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #e8e8e8;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #e8e8e8;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #e8e8e8;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #e8e8e8;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #e8e8e8;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #e8e8e8;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #2a2d33;
  --verso-hover-border-color: #aaaaaa;
  --verso-hover-text-color: #e8e8e8;
  --verso-hover-separator-color: #3a3d44;
  --verso-token-highlight-background-color: #33363d;
  --verso-tactic-state-background-color: #1e2026;
  --verso-tactic-state-border-color: #aaaaaa;
  --verso-highlight-on-code-color: #3a2f00;
  --verso-highlight-on-text-color: #3a2f00;
  --verso-ui-on-code-color: #aaaaaa;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #1f2229;
  --verso-header-background: #16181c;
  --verso-toc-background-color: #1a1c22;
  --verso-border-color: #a0a3ab;
  --verso-muted-color: #a8acb5;
  --verso-highlight-color: #2a3f55;
  --verso-link-color: #6cb6ff;
  --verso-visited-link-color: #a98aff;
  --verso-toc-text-color: #e8e8e8;
  --verso-burger-toc-visible-color: #e8e8e8;
  --verso-burger-toc-visible-shadow-color: #16181c;
  --verso-burger-toc-hidden-color: #e8e8e8;
  --verso-burger-toc-hidden-shadow-color: #16181c;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.steel"] {
  --verso-background-color: #f4f6f8;
  --verso-code-background-color: #e3e8ee;
  --verso-text-color: #0e2431;
  --verso-code-color: #0e2431;
  --verso-structure-color: #0e2431;
  --verso-selected-color: #c5d4e3;
  --verso-info-color: #0e2431;
  --verso-info-indicator-color: #1a5ea8;
  --verso-warning-color: #0e2431;
  --verso-warning-indicator-color: #9c6500;
  --verso-error-color: #a92020;
  --verso-error-indicator-color: #c0392b;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #2a6f4f;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #1a5ea8;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #0e2431;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #000000;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #000000;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #0e2431;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #0e2431;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #000000;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #0e2431;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #0e2431;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #000000;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #000000;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #000000;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #000000;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #000000;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #0e2431;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #0e2431;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #0e2431;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #0e2431;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #e3e8ee;
  --verso-hover-border-color: #46566a;
  --verso-hover-text-color: #0e2431;
  --verso-hover-separator-color: #46566a;
  --verso-token-highlight-background-color: #e3e8ee;
  --verso-tactic-state-background-color: #e3e8ee;
  --verso-tactic-state-border-color: #46566a;
  --verso-highlight-on-code-color: #fff3b0;
  --verso-highlight-on-text-color: #fff3b0;
  --verso-ui-on-code-color: #46566a;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #e3e8ee;
  --verso-header-background: #f4f6f8;
  --verso-toc-background-color: #e3e8ee;
  --verso-border-color: #46566a;
  --verso-muted-color: #465a70;
  --verso-highlight-color: #c5d4e3;
  --verso-link-color: #1a5ea8;
  --verso-visited-link-color: #6c4ea8;
  --verso-toc-text-color: #0e2431;
  --verso-burger-toc-visible-color: #0e2431;
  --verso-burger-toc-visible-shadow-color: #f4f6f8;
  --verso-burger-toc-hidden-color: #0e2431;
  --verso-burger-toc-hidden-shadow-color: #f4f6f8;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.slate"] {
  --verso-background-color: #0e1822;
  --verso-code-background-color: #172533;
  --verso-text-color: #dfe6ee;
  --verso-code-color: #dfe6ee;
  --verso-structure-color: #dfe6ee;
  --verso-selected-color: #284a6a;
  --verso-info-color: #dfe6ee;
  --verso-info-indicator-color: #6cb6ff;
  --verso-warning-color: #dfe6ee;
  --verso-warning-indicator-color: #e6b04a;
  --verso-error-color: #ff8b8b;
  --verso-error-indicator-color: #ff6f6f;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #7ad9a0;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #6cb6ff;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #dfe6ee;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #e8e8e8;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #e8e8e8;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #dfe6ee;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #dfe6ee;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #e8e8e8;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #dfe6ee;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #dfe6ee;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #e8e8e8;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #e8e8e8;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #e8e8e8;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #e8e8e8;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #e8e8e8;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #dfe6ee;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #dfe6ee;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #dfe6ee;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #dfe6ee;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #1f3142;
  --verso-hover-border-color: #7a8aa0;
  --verso-hover-text-color: #dfe6ee;
  --verso-hover-separator-color: #3a4a5e;
  --verso-token-highlight-background-color: #1f3142;
  --verso-tactic-state-background-color: #172533;
  --verso-tactic-state-border-color: #7a8aa0;
  --verso-highlight-on-code-color: #3a2f00;
  --verso-highlight-on-text-color: #3a2f00;
  --verso-ui-on-code-color: #7a8aa0;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #1f2229;
  --verso-header-background: #0e1822;
  --verso-toc-background-color: #1a1c22;
  --verso-border-color: #a0a3ab;
  --verso-muted-color: #a8acb5;
  --verso-highlight-color: #284a6a;
  --verso-link-color: #6cb6ff;
  --verso-visited-link-color: #a98aff;
  --verso-toc-text-color: #dfe6ee;
  --verso-burger-toc-visible-color: #dfe6ee;
  --verso-burger-toc-visible-shadow-color: #0e1822;
  --verso-burger-toc-hidden-color: #dfe6ee;
  --verso-burger-toc-hidden-shadow-color: #0e1822;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.chromaticLight"] {
  --verso-background-color: #ffffff;
  --verso-code-background-color: #ffffff;
  --verso-text-color: #000000;
  --verso-code-color: #000000;
  --verso-structure-color: #000000;
  --verso-selected-color: #ddeeff;
  --verso-info-color: #000000;
  --verso-info-indicator-color: #4777ff;
  --verso-warning-color: #000000;
  --verso-warning-indicator-color: #d97706;
  --verso-error-color: #cc0000;
  --verso-error-indicator-color: #ff0000;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #0b6b4f;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #a02828;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #404040;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #000000;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #000000;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #000000;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #000000;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #000000;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #000000;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #000000;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #000000;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #000000;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #000000;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #000000;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #000000;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #000000;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #000000;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #000000;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #000000;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #e5e5e5;
  --verso-hover-border-color: #000000;
  --verso-hover-text-color: #000000;
  --verso-hover-separator-color: #cccccc;
  --verso-token-highlight-background-color: #eeeeee;
  --verso-tactic-state-background-color: #ffffff;
  --verso-tactic-state-border-color: #888888;
  --verso-highlight-on-code-color: #fff3b0;
  --verso-highlight-on-text-color: #fff3b0;
  --verso-ui-on-code-color: #888888;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #f8f9fa;
  --verso-header-background: #ffffff;
  --verso-toc-background-color: #fafafa;
  --verso-border-color: #878787;
  --verso-muted-color: #777777;
  --verso-highlight-color: #ddeeff;
  --verso-link-color: #0066cc;
  --verso-visited-link-color: #0066cc;
  --verso-toc-text-color: #000000;
  --verso-burger-toc-visible-color: #000000;
  --verso-burger-toc-visible-shadow-color: #ffffff;
  --verso-burger-toc-hidden-color: #0e2431;
  --verso-burger-toc-hidden-shadow-color: #ffffff;
}
:root[data-verso-theme="Verso.Theme.ManualTheme.dracula"] {
  --verso-background-color: #282a36;
  --verso-code-background-color: #282a36;
  --verso-text-color: #f8f8f2;
  --verso-code-color: #f8f8f2;
  --verso-structure-color: #f8f8f2;
  --verso-selected-color: #44475a;
  --verso-info-color: #f8f8f2;
  --verso-info-indicator-color: #8be9fd;
  --verso-warning-color: #f8f8f2;
  --verso-warning-indicator-color: #ffb86c;
  --verso-error-color: #ff5555;
  --verso-error-indicator-color: #ff5555;
  --verso-code-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-const-color: #50fa7b;
  --verso-code-const-weight: 400;
  --verso-code-const-style: normal;
  --verso-code-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-keyword-color: #ff79c6;
  --verso-code-keyword-weight: 700;
  --verso-code-keyword-style: normal;
  --verso-code-keyword-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-var-color: #f8f8f2;
  --verso-code-var-weight: 400;
  --verso-code-var-style: italic;
  --verso-code-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-color: #e8e8e8;
  --verso-code-literal-weight: 400;
  --verso-code-literal-style: normal;
  --verso-code-literal-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-string-color: #f1fa8c;
  --verso-code-literal-string-weight: 400;
  --verso-code-literal-string-style: normal;
  --verso-code-literal-string-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-number-color: #ffb86c;
  --verso-code-literal-number-weight: 400;
  --verso-code-literal-number-style: normal;
  --verso-code-literal-number-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-literal-char-color: #f1fa8c;
  --verso-code-literal-char-weight: 400;
  --verso-code-literal-char-style: normal;
  --verso-code-literal-char-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-doc-comment-color: #6272a4;
  --verso-code-doc-comment-weight: 400;
  --verso-code-doc-comment-style: italic;
  --verso-code-doc-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-color: #6272a4;
  --verso-code-comment-weight: 400;
  --verso-code-comment-style: normal;
  --verso-code-comment-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-comment-delim-color: #6272a4;
  --verso-code-comment-delim-weight: 400;
  --verso-code-comment-delim-style: normal;
  --verso-code-comment-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-sort-color: #8be9fd;
  --verso-code-sort-weight: 400;
  --verso-code-sort-style: normal;
  --verso-code-sort-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-var-color: #f8f8f2;
  --verso-code-level-var-weight: 400;
  --verso-code-level-var-style: italic;
  --verso-code-level-var-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-const-color: #ffb86c;
  --verso-code-level-const-weight: 400;
  --verso-code-level-const-style: normal;
  --verso-code-level-const-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-level-op-color: #ff79c6;
  --verso-code-level-op-weight: 400;
  --verso-code-level-op-style: normal;
  --verso-code-level-op-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-module-name-color: #8be9fd;
  --verso-code-module-name-weight: 400;
  --verso-code-module-name-style: normal;
  --verso-code-module-name-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-delim-color: #e8e8e8;
  --verso-code-delim-weight: 400;
  --verso-code-delim-style: normal;
  --verso-code-delim-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-operator-color: #ff79c6;
  --verso-code-operator-weight: 400;
  --verso-code-operator-style: normal;
  --verso-code-operator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-bracket-color: #e8e8e8;
  --verso-code-bracket-weight: 400;
  --verso-code-bracket-style: normal;
  --verso-code-bracket-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-code-separator-color: #e8e8e8;
  --verso-code-separator-weight: 400;
  --verso-code-separator-style: normal;
  --verso-code-separator-font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  --verso-hover-background-color: #44475a;
  --verso-hover-border-color: #6272a4;
  --verso-hover-text-color: #f8f8f2;
  --verso-hover-separator-color: #6272a4;
  --verso-token-highlight-background-color: #44475a;
  --verso-tactic-state-background-color: #282a36;
  --verso-tactic-state-border-color: #6272a4;
  --verso-highlight-on-code-color: #44475a;
  --verso-highlight-on-text-color: #44475a;
  --verso-ui-on-code-color: #6272a4;
  --verso-text-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-structure-font-family: ui-sans-serif, system-ui, sans-serif;
  --verso-surface-color: #44475a;
  --verso-header-background: #282a36;
  --verso-toc-background-color: #282a36;
  --verso-border-color: #6272a4;
  --verso-muted-color: #6272a4;
  --verso-highlight-color: #44475a;
  --verso-link-color: #8be9fd;
  --verso-visited-link-color: #bd93f9;
  --verso-toc-text-color: #f8f8f2;
  --verso-burger-toc-visible-color: #f8f8f2;
  --verso-burger-toc-visible-shadow-color: #282a36;
  --verso-burger-toc-hidden-color: #f8f8f2;
  --verso-burger-toc-hidden-shadow-color: #282a36;
}
:where(:root[data-verso-theme="Verso.Theme.ManualTheme.dracula"]) {
.hl.lean .const[data-binding="const-Bool.true"],
.hl.lean .const[data-binding="const-Bool.false"] { color: #ffb86c; }
}