docs/code.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

code, pre {
	tab-size: 4;
}

.pp {
	color: #ff64bd;
}

.definition {
	color: #13dbee;
}

.comment {
	color: #999999;
}

.type {
	color: #ffa120;
}

.abstraction {
	color: #6b82ff;
}

.application {
	color: #ff8750;
}

.index {
	color: #ff5050;
}

.number, .float, .complex {
	color: #b1ee13;
}

.string, .char {
	color: #bb73f0;
}

.code-highlight {
  filter: saturate(5) brightness(3);
  -webkit-text-stroke-width: 0.1ex;
}

.code-clickable {
  cursor: pointer;
}