src/glibext/tokenstyle.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


.token-generic {

    font-family: Cousine;

}


.token-raw-printable,
.token-chr-printable {

    color: white;

}

.token-raw-not-printable,
.token-chr-not-printable {

    color: #bbbbbb;

}

.token-raw-full {

    color: white;

    font-weight: bold;

}

.token-raw-null {

    color: #666666;

}