error-message-index/message-index/css/highlight.css at d2cf854444698c36baf15248b919ccec205d72cb · haskellfoundation/error-message-index · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
/* This is based on the output of running Pandoc with the `--standalone` flag and
 * `--highlight-style pygments`, with hardcoded colors replaced with CSS
 * variables.
 *
 * The names referred to in the comments are from: https://docs.kde.org/trunk5/en/kate/katepart/highlight.html
 * (See header "Available Default Styles".)
 */
div.sourceCode {
  color: var(--code-color);
  background: var(--code-bg-color);
}

code span.al { color: var(); font-weight: bold; } /* Alert */
code span.an { color: var(--code-comment-color); font-weight: bold; font-style: italic; } /* Annotation */
code span.at { color: var(--code-pragma-color); } /* Attribute */
code span.bn { color: var(--code-literal-color); } /* BaseN */
code span.bu { color: var(--code-name-color); } /* BuiltIn */
code span.cf { color: var(--code-kw-color); font-weight: bold; } /* ControlFlow */
code span.ch { color: var(--code-literal-color); } /* Char */
code span.cn { color: var(--code-symbol-color); } /* Constant */
code span.co { color: var(--code-comment-color); font-style: italic; } /* Comment */
code span.cv { color: var(--code-comment-color); font-weight: bold; font-style: italic; } /* CommentVar */
code span.do { color: var(--code-comment-color); font-style: italic; } /* Documentation */
code span.dt { color: var(--code-constructor-color); } /* DataType */
code span.dv { color: var(--code-literal-color); } /* DecVal */
code span.er { color: var(); font-weight: bold; } /* Error */
code span.ex { } /* Extension */
code span.fl { color: var(--code-literal-color); } /* Float */
code span.fu { color: var(--code-color); } /* Function */
code span.im { color: var(--code-kw-color); font-weight: bold; } /* Import */
code span.in { color: var(); font-weight: bold; font-style: italic; } /* Information */
code span.kw { color: var(--code-kw-color); font-weight: bold; } /* Keyword */
code span.op { color: var(--code-symbol-color); } /* Operator */
code span.ot { color: var(--code-color); } /* Other */
code span.pp { color: var(--code-comment-color); } /* Preprocessor */
code span.sc { color: var(--code-literal-color); } /* SpecialChar */
code span.ss { color: var(--code-string-color); } /* SpecialString */
code span.st { color: var(--code-string-color); } /* String */
code span.va { color: var(--code-attr-color); } /* Variable */
code span.vs { color: var(--code-string-color); } /* VerbatimString */
code span.wa { color: var(); font-weight: bold; font-style: italic; } /* Warning */