-
Notifications
You must be signed in to change notification settings - Fork 0
/
highlight.css
121 lines (104 loc) · 2.3 KB
/
highlight.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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
/* Base16 Atelier Dune Light - Theme */
/* by Bram de Haan (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/dune) */
/* Original Base16 color scheme by Chris Kempson (https://github.com/chriskempson/base16) */
/* Atelier-Dune Comment */
.hljs-comment,
.hljs-quote {
color: #AAA;
}
/* Atelier-Dune Red */
.hljs-variable,
.hljs-template-variable,
.hljs-attribute,
.hljs-tag,
.hljs-name,
.hljs-regexp,
.hljs-link,
.hljs-name,
.hljs-selector-id,
.hljs-selector-class {
color: #d73737;
}
/* Atelier-Dune Orange */
.hljs-number,
.hljs-meta,
.hljs-built_in,
.hljs-builtin-name,
.hljs-literal,
.hljs-type,
.hljs-params {
color: #b65611;
}
/* Atelier-Dune Green */
.hljs-string,
.hljs-symbol,
.hljs-bullet {
color: #60ac39;
}
/* Atelier-Dune Blue */
.hljs-title,
.hljs-section {
color: #6684e1;
}
/* Atelier-Dune Purple */
.hljs-keyword,
.hljs-selector-tag {
color: #b854d4;
}
.hljs {
display: block;
overflow-x: auto;
background: #f1f1f1;
color: #6e6b5e;
padding: 0.5em;
}
.hljs-emphasis {
font-style: italic;
}
.hljs-strong {
font-weight: bold;
}
.hljs-addition {
color: #22863a;
background-color: #f0fff4;
}
.hljs-deletion {
color: #b31d28;
background-color: #ffeef0;
}
/* HIGHLIGHTS COLORS */
.red {
box-shadow: rgb(255, 128, 128) 0px 0px 0.35em;
background-color: rgba(255, 128, 128, 0.8) !important;
color: rgb(0, 0, 0) !important;
}
.orange {
box-shadow: rgb(255, 210, 170) 0px 0px 0.35em;
background-color: rgba(255, 210, 170, 0.8) !important;
color: rgb(0, 0, 0) !important;
}
.yellow {
box-shadow: rgb(255, 255, 170) 0px 0px 0.35em;
background-color: rgba(255, 255, 170, 0.8) !important;
color: rgb(0, 0, 0) !important;
}
.green {
box-shadow: rgb(170, 255, 170) 0px 0px 0.35em;
background-color: rgba(170, 255, 170, 0.8) !important;
color: rgb(0, 0, 0) !important;
}
.cyan {
box-shadow: rgb(170, 255, 255) 0px 0px 0.35em;
background-color: rgba(170, 255, 255, 0.8) !important;
color: rgb(0, 0, 0) !important;
}
.purple {
box-shadow: rgb(255, 170, 255) 0px 0px 0.35em;
background-color: rgba(255, 170, 255, 0.8) !important;
color: rgb(0, 0, 0) !important;
}
.grey {
box-shadow: rgb(119, 119, 119) 0px 0px 0.35em;
background-color: rgba(119, 119, 119, 0.8) !important;
color: rgb(255, 255, 255) !important;
}