.tok-keyword { color:var(--tok-keyword); }
.tok-function-call, .tok-function-method-call { color:var(--tok-function); }
.tok-function-builtin { color:var(--tok-builtin); }
.tok-property { color:var(--tok-property); }
.tok-constant-builtin { color:var(--tok-constant-builtin); }
.tok-constant { color:var(--tok-constant); }
.tok-type-builtin { color:var(--tok-type); }
.tok-number, .tok-number-float { color:var(--tok-number); }
.tok-string { color:var(--tok-string); }
.tok-comment { color:var(--tok-comment); font-style:italic; }
.tok-error { text-decoration:underline wavy var(--tok-error); }
a.ref { color:inherit; text-decoration:underline dotted; text-underline-offset:2px; }
a.ref:hover { text-decoration:underline solid; }