/* Syntax highlighting token colours. Values live in base.css so both themes
   share one set of names. */

.tok-comment  { color: var(--tok-comment); font-style: italic; }
.tok-string   { color: var(--tok-string); }
.tok-number   { color: var(--tok-number); }
.tok-keyword  { color: var(--tok-keyword); font-weight: 600; }
.tok-type     { color: var(--tok-type); }
.tok-function { color: var(--tok-function); }
.tok-property { color: var(--tok-property); }
.tok-operator { color: var(--tok-operator); }
.tok-punct    { color: var(--tok-punct); }
.tok-literal  { color: var(--tok-literal); }
.tok-regexp   { color: var(--tok-regexp); }
.tok-meta     { color: var(--tok-meta); }
.tok-tag      { color: var(--tok-tag); }
.tok-attr     { color: var(--tok-attr); }
.tok-variable { color: var(--tok-property); }
.tok-entity   { color: var(--tok-literal); }
.tok-heading  { color: var(--tok-keyword); font-weight: 600; }
.tok-link     { color: var(--tok-type); text-decoration: underline; }

.tok-insert   { color: var(--tok-insert); background: var(--tok-insert-bg); display: inline-block; width: 100%; }
.tok-delete   { color: var(--tok-delete); background: var(--tok-delete-bg); display: inline-block; width: 100%; }