docs/content.css


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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

@font-face {
	font-family: "Iosevka";
	src: url("iosevka.woff2") format("woff2");
}

body {
	font-family: "Iosevka", monospace;
	background-color: #222222;
	color: #cccccc;
	font-size: 1.3em;
}

a {
	color: #cccccc;
}

pre {
	margin: 0 0 1em;
	padding: .5em 1em;
}

pre .line {
	display: block;
	float: left;
	margin: 0 1em 0 -1em;
	border-right: 1px solid;
	text-align: right;
}

pre .line span {
	display: block;
	padding: 0 .5em 0 1em;
}

pre .cl {
	display: block;
	clear: both;
}

.com {
	color: #ff64bd;
}

.def {
	color: #13dbee;
}

.comment {
	color: #999999;
}

.type {
	color: #ffa120;
}

.left-abs, .right-abs {
	color: #6b82ff;
}

.left-app, .right-app {
	color: #ff8750;
}

.index {
	color: #ff5050;
}

.number {
	color: #b1ee13;
}