/* Code colours for Statac's code_colours: true: Ocean, light and dark.
   From base16-vscode's Ocean Light and Ocean Dark, Copyright (c) 2016
   Andrés Del Carpio, under the MIT License: github.com/jryans/base16-vscode.
   To change one colour, set its property, --code-comment for a comment's,
   on .code or anything around it. */

[data-theme="light"] { --statac-code-scheme: light; }
[data-theme="dark"] { --statac-code-scheme: dark; }

.code {
  color-scheme: var(--statac-code-scheme, light dark);
  color: var(--code-text, light-dark(#4f5b66, #c0c5ce));
  background-color: var(--code-background, light-dark(#eff1f5, #2b303b));
}

.hl-comment { color: var(--code-comment, light-dark(#6a6d76, #8e98a0)); }
.hl-keyword { color: var(--code-keyword, light-dark(#80657b, #b48ead)); }
.hl-string { color: var(--code-string, light-dark(#627254, #a3be8c)); }
.hl-number { color: var(--code-number, light-dark(#946050, #d08770)); }
.hl-constant { color: var(--code-constant, light-dark(#946050, #d08770)); }
.hl-function { color: var(--code-function, light-dark(#626e7a, #8fa1b3)); }
.hl-type { color: var(--code-type, light-dark(#946050, #ebcb8b)); }
.hl-variable { color: var(--code-variable, light-dark(#a7555d, #cd838a)); }
.hl-property { color: var(--code-property, light-dark(#a7555d, #cd838a)); }
.hl-tag { color: var(--code-tag, light-dark(#a7555d, #cd838a)); }
.hl-attribute { color: var(--code-attribute, light-dark(#946050, #d08770)); }
.hl-operator { color: var(--code-operator, light-dark(#4f5b66, #c0c5ce)); }
.hl-punctuation { color: var(--code-punctuation, light-dark(#4f5b66, #c0c5ce)); }
.hl-heading { color: var(--code-heading, light-dark(#626e7a, #8fa1b3)); }
.hl-emphasis { color: var(--code-emphasis, light-dark(#80657b, #b48ead)); font-style: italic; }
.hl-strong { color: var(--code-strong, light-dark(#946050, #ebcb8b)); font-weight: bold; }
.hl-link { color: var(--code-link, light-dark(#946050, #d08770)); }
.hl-inserted { color: var(--code-inserted, light-dark(#627254, #a3be8c)); }
.hl-deleted { color: var(--code-deleted, light-dark(#a7555d, #cd838a)); }