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
let css = {|
pre span.fg-black { color: rgb(0, 0, 0) }
pre span.fg-red { color: rgb(205, 0, 0) }
pre span.fg-green { color: rgb(0, 205, 0) }
pre span.fg-yellow { color: rgb(205, 205, 0) }
pre span.fg-blue { color: rgb(0, 0, 238) }
pre span.fg-magenta { color: rgb(205, 0, 205) }
pre span.fg-cyan { color: rgb(0, 205, 205) }
pre span.fg-white { color: rgb(229, 229, 229) }
pre span.fg-bright-black { color: rgb(127, 127, 127) }
pre span.fg-bright-red { color: rgb(255, 0, 0) }
pre span.fg-bright-green { color: rgb(0, 255, 0) }
pre span.fg-bright-yellow { color: rgb(255, 255, 0) }
pre span.fg-bright-blue { color: rgb(92, 92, 255) }
pre span.fg-bright-magenta { color: rgb(255, 0, 255) }
pre span.fg-bright-cyan { color: rgb(0, 255, 255) }
pre span.fg-bright-white { color: rgb(255, 255, 255) }
pre span.bg-black { background: rgb(0, 0, 0) }
pre span.bg-red { background: rgb(205, 0, 0) }
pre span.bg-green { background: rgb(0, 205, 0) }
pre span.bg-yellow { background: rgb(205, 205, 0) }
pre span.bg-blue { background: rgb(0, 0, 238) }
pre span.bg-magenta { background: rgb(205, 0, 205) }
pre span.bg-cyan { background: rgb(0, 205, 205) }
pre span.bg-white { background: rgb(229, 229, 229) }
pre span.bg-bright-black { background: rgb(127, 127, 127) }
pre span.bg-bright-red { background: rgb(255, 0, 0) }
pre span.bg-bright-green { background: rgb(0, 255, 0) }
pre span.bg-bright-yellow { background: rgb(255, 255, 0) }
pre span.bg-bright-blue { background: rgb(92, 92, 255) }
pre span.bg-bright-magenta { background: rgb(255, 0, 255) }
pre span.bg-bright-cyan { background: rgb(0, 255, 255) }
pre span.bg-bright-white { background: rgb(255, 255, 255) }
|}