/* Syntax highlighting for helia (generated by helia-highlight::theme_css; do not edit).
 * light: GitHub; dark: OneHalfDark. Override in [theme] css. */

/* light */
@media not all and (prefers-color-scheme: dark) {
  :root:not([data-theme="dark"]) .hl-code { color: #333333; background-color: #ffffff; }
  :root:not([data-theme="dark"]) .hl-comment { color: #969896; }
  :root:not([data-theme="dark"]) .hl-keyword.hl-operator, :root:not([data-theme="dark"]) .hl-support.hl-constant { color: #a71d5d; }
  :root:not([data-theme="dark"]) .hl-constant.hl-language { color: #0086b3; }
  :root:not([data-theme="dark"]) .hl-keyword, :root:not([data-theme="dark"]) .hl-storage { color: #a71d5d; }
  :root:not([data-theme="dark"]) .hl-storage.hl-type { color: #a71d5d; }
  :root:not([data-theme="dark"]) .hl-support.hl-type { color: #0086b3; }
  :root:not([data-theme="dark"]) .hl-variable { color: #0086b3; }
  :root:not([data-theme="dark"]) .hl-variable.hl-language { color: #df5000; }
  :root:not([data-theme="dark"]) .hl-variable.hl-parameter.hl-function { color: #030303; }
  :root:not([data-theme="dark"]) .hl-entity.hl-name.hl-function, :root:not([data-theme="dark"]) .hl-entity { color: #795da3; }
  :root:not([data-theme="dark"]) .hl-support.hl-function { color: #0086b3; }
  :root:not([data-theme="dark"]) .hl-entity.hl-name.hl-type, :root:not([data-theme="dark"]) .hl-entity.hl-other.hl-inherited-class { color: #000000; }
  :root:not([data-theme="dark"]) .hl-support.hl-class { color: #0086b3; }
  :root:not([data-theme="dark"]) .hl-entity.hl-name.hl-exception { color: #f93232; }
  :root:not([data-theme="dark"]) .hl-constant.hl-numeric, :root:not([data-theme="dark"]) .hl-constant { color: #0086b3; }
  :root:not([data-theme="dark"]) .hl-constant.hl-character, :root:not([data-theme="dark"]) .hl-string, :root:not([data-theme="dark"]) .hl-string .hl-punctuation { color: #183691; }
  :root:not([data-theme="dark"]) .hl-string.hl-regexp, :root:not([data-theme="dark"]) .hl-string.hl-regexp .hl-constant.hl-character, :root:not([data-theme="dark"]) .hl-string.hl-regexp .hl-punctuation { color: #009926; }
  :root:not([data-theme="dark"]) .hl-constant.hl-other.hl-symbol { color: #990073; }
  :root:not([data-theme="dark"]) .hl-string .hl-source, :root:not([data-theme="dark"]) .hl-text .hl-source { color: #333333; }
  :root:not([data-theme="dark"]) .hl-variable.hl-other.hl-property { color: #030303; }
  :root:not([data-theme="dark"]) .hl-entity.hl-name { color: #333333; }
  :root:not([data-theme="dark"]) .hl-invalid { color: #0f0000; }
  :root:not([data-theme="dark"]) .hl-entity.hl-name.hl-tag { color: #63a35c; }
  :root:not([data-theme="dark"]) .hl-punctuation.hl-definition.hl-tag { color: #030303; }
  :root:not([data-theme="dark"]) .hl-meta.hl-tag .hl-string .hl-punctuation { color: #183691; }
  :root:not([data-theme="dark"]) .hl-constant.hl-character.hl-entity { color: #000000; }
  :root:not([data-theme="dark"]) .hl-entity.hl-other.hl-attribute-name { color: #795da3; }
  :root:not([data-theme="dark"]) .hl-meta.hl-tag .hl-string.hl-quoted, :root:not([data-theme="dark"]) .hl-meta.hl-tag .hl-string.hl-quoted .hl-constant.hl-character.hl-entity { color: #183691; }
  :root:not([data-theme="dark"]) .hl-meta.hl-selector, :root:not([data-theme="dark"]) .hl-meta.hl-selector .hl-entity, :root:not([data-theme="dark"]) .hl-meta.hl-selector .hl-entity .hl-punctuation, :root:not([data-theme="dark"]) .hl-entity.hl-name.hl-tag.hl-css, :root:not([data-theme="dark"]) .hl-entity.hl-other.hl-attribute-name.hl-class, :root:not([data-theme="dark"]) .hl-keyword.hl-control.hl-html.hl-sass { color: #63a35c; }
  :root:not([data-theme="dark"]) .hl-entity.hl-other.hl-attribute-name.hl-class, :root:not([data-theme="dark"]) .hl-constant.hl-other.hl-unit { color: #795da3; }
  :root:not([data-theme="dark"]) .hl-support.hl-type.hl-property-name, :root:not([data-theme="dark"]) .hl-support.hl-constant.hl-property-value { color: #0086b3; }
  :root:not([data-theme="dark"]) .hl-keyword.hl-other.hl-special-method.hl-ruby.hl-gem { color: #0086b3; }
  :root:not([data-theme="dark"]) .hl-variable.hl-other.hl-block.hl-ruby { color: #000000; }
  :root:not([data-theme="dark"]) .hl-support.hl-function.hl-prelude, :root:not([data-theme="dark"]) .hl-variable.hl-other.hl-generic-type.hl-haskell { color: #000000; }
  :root:not([data-theme="dark"]) .hl-constant.hl-other.hl-haskell, :root:not([data-theme="dark"]) .hl-support.hl-constant.hl-haskell { color: #445588; }
  :root:not([data-theme="dark"]) .hl-meta.hl-diff, :root:not([data-theme="dark"]) .hl-meta.hl-diff.hl-header { color: #75715e; }
  :root:not([data-theme="dark"]) .hl-markup.hl-deleted { color: #770000; background-color: #ffdddd; }
  :root:not([data-theme="dark"]) .hl-markup.hl-inserted { color: #003300; background-color: #ddffdd; }
  :root:not([data-theme="dark"]) .hl-markup.hl-changed { color: #ececec; }
}
:root[data-theme="light"] .hl-code { color: #333333; background-color: #ffffff; }
:root[data-theme="light"] .hl-comment { color: #969896; }
:root[data-theme="light"] .hl-keyword.hl-operator, :root[data-theme="light"] .hl-support.hl-constant { color: #a71d5d; }
:root[data-theme="light"] .hl-constant.hl-language { color: #0086b3; }
:root[data-theme="light"] .hl-keyword, :root[data-theme="light"] .hl-storage { color: #a71d5d; }
:root[data-theme="light"] .hl-storage.hl-type { color: #a71d5d; }
:root[data-theme="light"] .hl-support.hl-type { color: #0086b3; }
:root[data-theme="light"] .hl-variable { color: #0086b3; }
:root[data-theme="light"] .hl-variable.hl-language { color: #df5000; }
:root[data-theme="light"] .hl-variable.hl-parameter.hl-function { color: #030303; }
:root[data-theme="light"] .hl-entity.hl-name.hl-function, :root[data-theme="light"] .hl-entity { color: #795da3; }
:root[data-theme="light"] .hl-support.hl-function { color: #0086b3; }
:root[data-theme="light"] .hl-entity.hl-name.hl-type, :root[data-theme="light"] .hl-entity.hl-other.hl-inherited-class { color: #000000; }
:root[data-theme="light"] .hl-support.hl-class { color: #0086b3; }
:root[data-theme="light"] .hl-entity.hl-name.hl-exception { color: #f93232; }
:root[data-theme="light"] .hl-constant.hl-numeric, :root[data-theme="light"] .hl-constant { color: #0086b3; }
:root[data-theme="light"] .hl-constant.hl-character, :root[data-theme="light"] .hl-string, :root[data-theme="light"] .hl-string .hl-punctuation { color: #183691; }
:root[data-theme="light"] .hl-string.hl-regexp, :root[data-theme="light"] .hl-string.hl-regexp .hl-constant.hl-character, :root[data-theme="light"] .hl-string.hl-regexp .hl-punctuation { color: #009926; }
:root[data-theme="light"] .hl-constant.hl-other.hl-symbol { color: #990073; }
:root[data-theme="light"] .hl-string .hl-source, :root[data-theme="light"] .hl-text .hl-source { color: #333333; }
:root[data-theme="light"] .hl-variable.hl-other.hl-property { color: #030303; }
:root[data-theme="light"] .hl-entity.hl-name { color: #333333; }
:root[data-theme="light"] .hl-invalid { color: #0f0000; }
:root[data-theme="light"] .hl-entity.hl-name.hl-tag { color: #63a35c; }
:root[data-theme="light"] .hl-punctuation.hl-definition.hl-tag { color: #030303; }
:root[data-theme="light"] .hl-meta.hl-tag .hl-string .hl-punctuation { color: #183691; }
:root[data-theme="light"] .hl-constant.hl-character.hl-entity { color: #000000; }
:root[data-theme="light"] .hl-entity.hl-other.hl-attribute-name { color: #795da3; }
:root[data-theme="light"] .hl-meta.hl-tag .hl-string.hl-quoted, :root[data-theme="light"] .hl-meta.hl-tag .hl-string.hl-quoted .hl-constant.hl-character.hl-entity { color: #183691; }
:root[data-theme="light"] .hl-meta.hl-selector, :root[data-theme="light"] .hl-meta.hl-selector .hl-entity, :root[data-theme="light"] .hl-meta.hl-selector .hl-entity .hl-punctuation, :root[data-theme="light"] .hl-entity.hl-name.hl-tag.hl-css, :root[data-theme="light"] .hl-entity.hl-other.hl-attribute-name.hl-class, :root[data-theme="light"] .hl-keyword.hl-control.hl-html.hl-sass { color: #63a35c; }
:root[data-theme="light"] .hl-entity.hl-other.hl-attribute-name.hl-class, :root[data-theme="light"] .hl-constant.hl-other.hl-unit { color: #795da3; }
:root[data-theme="light"] .hl-support.hl-type.hl-property-name, :root[data-theme="light"] .hl-support.hl-constant.hl-property-value { color: #0086b3; }
:root[data-theme="light"] .hl-keyword.hl-other.hl-special-method.hl-ruby.hl-gem { color: #0086b3; }
:root[data-theme="light"] .hl-variable.hl-other.hl-block.hl-ruby { color: #000000; }
:root[data-theme="light"] .hl-support.hl-function.hl-prelude, :root[data-theme="light"] .hl-variable.hl-other.hl-generic-type.hl-haskell { color: #000000; }
:root[data-theme="light"] .hl-constant.hl-other.hl-haskell, :root[data-theme="light"] .hl-support.hl-constant.hl-haskell { color: #445588; }
:root[data-theme="light"] .hl-meta.hl-diff, :root[data-theme="light"] .hl-meta.hl-diff.hl-header { color: #75715e; }
:root[data-theme="light"] .hl-markup.hl-deleted { color: #770000; background-color: #ffdddd; }
:root[data-theme="light"] .hl-markup.hl-inserted { color: #003300; background-color: #ddffdd; }
:root[data-theme="light"] .hl-markup.hl-changed { color: #ececec; }

/* dark */
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) .hl-code { color: #dcdfe4; background-color: #282c34; }
  :root:not([data-theme="light"]) .hl-comment { color: #5c6370; }
  :root:not([data-theme="light"]) .hl-variable.hl-parameter.hl-function { color: #dcdfe4; }
  :root:not([data-theme="light"]) .hl-keyword { color: #c678dd; }
  :root:not([data-theme="light"]) .hl-variable { color: #e06c75; }
  :root:not([data-theme="light"]) .hl-entity.hl-name.hl-function, :root:not([data-theme="light"]) .hl-meta.hl-require, :root:not([data-theme="light"]) .hl-support.hl-function.hl-any-method { color: #61afef; }
  :root:not([data-theme="light"]) .hl-support.hl-class, :root:not([data-theme="light"]) .hl-entity.hl-name.hl-class, :root:not([data-theme="light"]) .hl-entity.hl-name.hl-type.hl-class, :root:not([data-theme="light"]) .hl-entity.hl-name { color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-meta.hl-class { color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-keyword.hl-other.hl-special-method { color: #61afef; }
  :root:not([data-theme="light"]) .hl-storage, :root:not([data-theme="light"]) .hl-meta.hl-mapping.hl-key .hl-string { color: #c678dd; }
  :root:not([data-theme="light"]) .hl-support.hl-function { color: #61afef; }
  :root:not([data-theme="light"]) .hl-string { color: #98c379; }
  :root:not([data-theme="light"]) .hl-constant.hl-numeric { color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-none { color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-none { color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-constant { color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-entity.hl-name.hl-tag { color: #e06c75; }
  :root:not([data-theme="light"]) .hl-entity.hl-other.hl-attribute-name { color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-entity.hl-other.hl-attribute-name.hl-id, :root:not([data-theme="light"]) .hl-punctuation.hl-definition.hl-entity { color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-meta.hl-selector { color: #c678dd; }
  :root:not([data-theme="light"]) .hl-markup.hl-heading .hl-punctuation.hl-definition.hl-heading, :root:not([data-theme="light"]) .hl-entity.hl-name.hl-section, :root:not([data-theme="light"]) .hl-markup.hl-heading { color: #61afef; }
  :root:not([data-theme="light"]) .hl-markup.hl-bold, :root:not([data-theme="light"]) .hl-punctuation.hl-definition.hl-bold { color: #c678dd; }
  :root:not([data-theme="light"]) .hl-markup.hl-italic, :root:not([data-theme="light"]) .hl-punctuation.hl-definition.hl-italic { color: #c678dd; }
  :root:not([data-theme="light"]) .hl-markup.hl-raw.hl-inline { color: #98c379; }
  :root:not([data-theme="light"]) .hl-meta.hl-link { color: #98c379; }
  :root:not([data-theme="light"]) .hl-markup.hl-quote { color: #98c379; }
  :root:not([data-theme="light"]) .hl-source.hl-java .hl-meta.hl-class.hl-java .hl-meta.hl-method.hl-java { color: #dcdfe4; }
  :root:not([data-theme="light"]) .hl-source.hl-java .hl-meta.hl-class.hl-java .hl-meta.hl-class.hl-body.hl-java { color: #dcdfe4; }
  :root:not([data-theme="light"]) .hl-source.hl-js .hl-meta.hl-function.hl-js .hl-variable.hl-parameter.hl-function.hl-js { color: #e06c75; }
  :root:not([data-theme="light"]) .hl-source.hl-js .hl-variable.hl-other.hl-readwrite.hl-js { color: #e06c75; }
  :root:not([data-theme="light"]) .hl-source.hl-js .hl-variable.hl-other.hl-object.hl-js { color: #dcdfe4; }
  :root:not([data-theme="light"]) .hl-source.hl-js .hl-meta.hl-function-call.hl-method.hl-js .hl-variable.hl-other.hl-readwrite.hl-js { color: #e06c75; }
  :root:not([data-theme="light"]) .hl-source.hl-js .hl-meta.hl-block.hl-js .hl-variable.hl-other.hl-readwrite.hl-js { color: #e06c75; }
  :root:not([data-theme="light"]) .hl-source.hl-js .hl-meta.hl-block.hl-js .hl-variable.hl-other.hl-object.hl-js { color: #dcdfe4; }
  :root:not([data-theme="light"]) .hl-source.hl-js .hl-meta.hl-block.hl-js .hl-meta.hl-function-call.hl-method.hl-js .hl-variable.hl-other.hl-readwrite.hl-js { color: #dcdfe4; }
  :root:not([data-theme="light"]) .hl-source.hl-js .hl-meta.hl-function-call.hl-method.hl-js .hl-variable.hl-function.hl-js { color: #dcdfe4; }
  :root:not([data-theme="light"]) .hl-source.hl-js .hl-meta.hl-property.hl-object.hl-js .hl-entity.hl-name.hl-function.hl-js { color: #61afef; }
  :root:not([data-theme="light"]) .hl-source.hl-js .hl-support.hl-constant.hl-prototype.hl-js { color: #dcdfe4; }
  :root:not([data-theme="light"]) .hl-markup.hl-inserted { color: #98c379; }
  :root:not([data-theme="light"]) .hl-markup.hl-deleted { color: #e06c75; }
  :root:not([data-theme="light"]) .hl-markup.hl-changed { color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-string.hl-regexp { color: #98c379; }
  :root:not([data-theme="light"]) .hl-constant.hl-character.hl-escape { color: #56b6c2; }
  :root:not([data-theme="light"]) .hl-invalid.hl-illegal { color: #dcdfe4; background-color: #e06c75; }
  :root:not([data-theme="light"]) .hl-invalid.hl-broken { color: #dcdfe4; background-color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-invalid.hl-deprecated { color: #dcdfe4; background-color: #e5c07b; }
  :root:not([data-theme="light"]) .hl-invalid.hl-unimplemented { color: #dcdfe4; background-color: #c678dd; }
}
:root[data-theme="dark"] .hl-code { color: #dcdfe4; background-color: #282c34; }
:root[data-theme="dark"] .hl-comment { color: #5c6370; }
:root[data-theme="dark"] .hl-variable.hl-parameter.hl-function { color: #dcdfe4; }
:root[data-theme="dark"] .hl-keyword { color: #c678dd; }
:root[data-theme="dark"] .hl-variable { color: #e06c75; }
:root[data-theme="dark"] .hl-entity.hl-name.hl-function, :root[data-theme="dark"] .hl-meta.hl-require, :root[data-theme="dark"] .hl-support.hl-function.hl-any-method { color: #61afef; }
:root[data-theme="dark"] .hl-support.hl-class, :root[data-theme="dark"] .hl-entity.hl-name.hl-class, :root[data-theme="dark"] .hl-entity.hl-name.hl-type.hl-class, :root[data-theme="dark"] .hl-entity.hl-name { color: #e5c07b; }
:root[data-theme="dark"] .hl-meta.hl-class { color: #e5c07b; }
:root[data-theme="dark"] .hl-keyword.hl-other.hl-special-method { color: #61afef; }
:root[data-theme="dark"] .hl-storage, :root[data-theme="dark"] .hl-meta.hl-mapping.hl-key .hl-string { color: #c678dd; }
:root[data-theme="dark"] .hl-support.hl-function { color: #61afef; }
:root[data-theme="dark"] .hl-string { color: #98c379; }
:root[data-theme="dark"] .hl-constant.hl-numeric { color: #e5c07b; }
:root[data-theme="dark"] .hl-none { color: #e5c07b; }
:root[data-theme="dark"] .hl-none { color: #e5c07b; }
:root[data-theme="dark"] .hl-constant { color: #e5c07b; }
:root[data-theme="dark"] .hl-entity.hl-name.hl-tag { color: #e06c75; }
:root[data-theme="dark"] .hl-entity.hl-other.hl-attribute-name { color: #e5c07b; }
:root[data-theme="dark"] .hl-entity.hl-other.hl-attribute-name.hl-id, :root[data-theme="dark"] .hl-punctuation.hl-definition.hl-entity { color: #e5c07b; }
:root[data-theme="dark"] .hl-meta.hl-selector { color: #c678dd; }
:root[data-theme="dark"] .hl-markup.hl-heading .hl-punctuation.hl-definition.hl-heading, :root[data-theme="dark"] .hl-entity.hl-name.hl-section, :root[data-theme="dark"] .hl-markup.hl-heading { color: #61afef; }
:root[data-theme="dark"] .hl-markup.hl-bold, :root[data-theme="dark"] .hl-punctuation.hl-definition.hl-bold { color: #c678dd; }
:root[data-theme="dark"] .hl-markup.hl-italic, :root[data-theme="dark"] .hl-punctuation.hl-definition.hl-italic { color: #c678dd; }
:root[data-theme="dark"] .hl-markup.hl-raw.hl-inline { color: #98c379; }
:root[data-theme="dark"] .hl-meta.hl-link { color: #98c379; }
:root[data-theme="dark"] .hl-markup.hl-quote { color: #98c379; }
:root[data-theme="dark"] .hl-source.hl-java .hl-meta.hl-class.hl-java .hl-meta.hl-method.hl-java { color: #dcdfe4; }
:root[data-theme="dark"] .hl-source.hl-java .hl-meta.hl-class.hl-java .hl-meta.hl-class.hl-body.hl-java { color: #dcdfe4; }
:root[data-theme="dark"] .hl-source.hl-js .hl-meta.hl-function.hl-js .hl-variable.hl-parameter.hl-function.hl-js { color: #e06c75; }
:root[data-theme="dark"] .hl-source.hl-js .hl-variable.hl-other.hl-readwrite.hl-js { color: #e06c75; }
:root[data-theme="dark"] .hl-source.hl-js .hl-variable.hl-other.hl-object.hl-js { color: #dcdfe4; }
:root[data-theme="dark"] .hl-source.hl-js .hl-meta.hl-function-call.hl-method.hl-js .hl-variable.hl-other.hl-readwrite.hl-js { color: #e06c75; }
:root[data-theme="dark"] .hl-source.hl-js .hl-meta.hl-block.hl-js .hl-variable.hl-other.hl-readwrite.hl-js { color: #e06c75; }
:root[data-theme="dark"] .hl-source.hl-js .hl-meta.hl-block.hl-js .hl-variable.hl-other.hl-object.hl-js { color: #dcdfe4; }
:root[data-theme="dark"] .hl-source.hl-js .hl-meta.hl-block.hl-js .hl-meta.hl-function-call.hl-method.hl-js .hl-variable.hl-other.hl-readwrite.hl-js { color: #dcdfe4; }
:root[data-theme="dark"] .hl-source.hl-js .hl-meta.hl-function-call.hl-method.hl-js .hl-variable.hl-function.hl-js { color: #dcdfe4; }
:root[data-theme="dark"] .hl-source.hl-js .hl-meta.hl-property.hl-object.hl-js .hl-entity.hl-name.hl-function.hl-js { color: #61afef; }
:root[data-theme="dark"] .hl-source.hl-js .hl-support.hl-constant.hl-prototype.hl-js { color: #dcdfe4; }
:root[data-theme="dark"] .hl-markup.hl-inserted { color: #98c379; }
:root[data-theme="dark"] .hl-markup.hl-deleted { color: #e06c75; }
:root[data-theme="dark"] .hl-markup.hl-changed { color: #e5c07b; }
:root[data-theme="dark"] .hl-string.hl-regexp { color: #98c379; }
:root[data-theme="dark"] .hl-constant.hl-character.hl-escape { color: #56b6c2; }
:root[data-theme="dark"] .hl-invalid.hl-illegal { color: #dcdfe4; background-color: #e06c75; }
:root[data-theme="dark"] .hl-invalid.hl-broken { color: #dcdfe4; background-color: #e5c07b; }
:root[data-theme="dark"] .hl-invalid.hl-deprecated { color: #dcdfe4; background-color: #e5c07b; }
:root[data-theme="dark"] .hl-invalid.hl-unimplemented { color: #dcdfe4; background-color: #c678dd; }

/* holes (Agda {! !} and ?) */
.hl-hole { background-color: rgba(128, 128, 255, 0.18); border-radius: 2px; }