-
Notifications
You must be signed in to change notification settings - Fork 24
/
error-highlighting.less
64 lines (59 loc) · 1.05 KB
/
error-highlighting.less
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
// Based on `Ubuntu` colors.
.elmjutsu-problem {
background-color: rgb(1, 1, 1);
color: rgb(203, 204, 205);
padding: 4px;
border-radius: 4px;
font-family: monospace;
white-space: pre;
}
// Dull colors
.elmjutsu-color-red {
color: rgb(222, 56, 43);
}
.elmjutsu-color-magenta {
color: rgb(118, 38, 113);
}
.elmjutsu-color-yellow {
color: rgb(255, 199, 6);
}
.elmjutsu-color-green {
color: rgb(57, 181, 74);
}
.elmjutsu-color-cyan {
color: rgb(44, 181, 233);
}
.elmjutsu-color-blue {
color: rgb(0, 111, 184);
}
.elmjutsu-color-white {
color: rgb(204, 204, 204);
}
.elmjutsu-color-black {
color: rgb(1, 1, 1);
}
// Vivid colors
.elmjutsu-color-RED {
color: rgb(255, 0, 0);
}
.elmjutsu-color-MAGENTA {
color: rgb(255, 0, 255);
}
.elmjutsu-color-YELLOW {
color: rgb(255, 255, 0);
}
.elmjutsu-color-GREEN {
color: rgb(0, 255, 0);
}
.elmjutsu-color-CYAN {
color: rgb(0, 255, 255);
}
.elmjutsu-color-BLUE {
color: rgb(0, 0, 255);
}
.elmjutsu-color-WHITE {
color: rgb(255, 255, 255);
}
.elmjutsu-color-BLACK {
color: rgb(128, 128, 128);
}