/* Code colours: gruvbox, light and dark. Statac writes this file; to change the
   style, set `code_style` in statac.yaml. To change one colour, set its property,
   `--code-comment` for a comment's, in a stylesheet of your own, on `.code`
   or on 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(#3c3836, #ebdbb2));
  background-color: var(--code-background, light-dark(#fbf1c7, #282828));
}

.hl-comment { color: var(--code-comment, light-dark(#786c60, #9a8c7f)); font-style: italic; }
.hl-keyword { color: var(--code-keyword, light-dark(#9d0006, #fb5340)); }
.hl-string { color: var(--code-string, light-dark(#75700e, #b8bb26)); }
.hl-number { color: var(--code-number, light-dark(#8f3f71, #d3869b)); }
.hl-constant { color: var(--code-constant, light-dark(#8f3f71, #d3869b)); }
.hl-function { color: var(--code-function, light-dark(#976211, #fabd2f)); }
.hl-type { color: var(--code-type, light-dark(#976211, #fabd2f)); }
.hl-variable { color: var(--code-variable, light-dark(#076678, #83a598)); }
.hl-property { color: var(--code-property, light-dark(#076678, #83a598)); }
.hl-tag { color: var(--code-tag, light-dark(#417957, #8ec07c)); }
.hl-attribute { color: var(--code-attribute, light-dark(#976211, #fabd2f)); }
.hl-operator { color: var(--code-operator, light-dark(#417957, #8ec07c)); }
.hl-punctuation { color: var(--code-punctuation, light-dark(#786b60, #a89984)); }
.hl-heading { color: var(--code-heading, light-dark(#9d0006, #fb5340)); font-weight: bold; }
.hl-emphasis { color: var(--code-emphasis, light-dark(#3c3836, #ebdbb2)); font-style: italic; }
.hl-strong { color: var(--code-strong, light-dark(#af3a03, #fe8019)); font-weight: bold; }
.hl-link { color: var(--code-link, light-dark(#8f3f71, #d3869b)); text-decoration: underline; }
.hl-inserted { color: var(--code-inserted, light-dark(#75700e, #b8bb26)); }
.hl-deleted { color: var(--code-deleted, light-dark(#b44f0c, #db722d)); }