aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/html/css/highlight.css
diff options
context:
space:
mode:
Diffstat (limited to 'doc/html/css/highlight.css')
-rw-r--r--doc/html/css/highlight.css124
1 files changed, 124 insertions, 0 deletions
diff --git a/doc/html/css/highlight.css b/doc/html/css/highlight.css
new file mode 100644
index 00000000..0ae40a72
--- /dev/null
+++ b/doc/html/css/highlight.css
@@ -0,0 +1,124 @@
1/*
2This is the GitHub theme for highlight.js
3
4github.com style (c) Vasily Polovnyov <vast@whiteants.net>
5
6*/
7
8.hljs {
9 display: block;
10 overflow-x: auto;
11 color: #333;
12 -webkit-text-size-adjust: none;
13}
14
15.hljs-comment,
16.diff .hljs-header,
17.hljs-javadoc {
18 color: #998;
19 font-style: italic;
20}
21
22.hljs-keyword,
23.css .rule .hljs-keyword,
24.hljs-winutils,
25.nginx .hljs-title,
26.hljs-subst,
27.hljs-request,
28.hljs-status {
29 color: #333;
30 font-weight: bold;
31}
32
33.hljs-number,
34.hljs-hexcolor,
35.ruby .hljs-constant {
36 color: #008080;
37}
38
39.hljs-string,
40.hljs-tag .hljs-value,
41.hljs-phpdoc,
42.hljs-dartdoc,
43.tex .hljs-formula {
44 color: #d14;
45}
46
47.hljs-title,
48.hljs-id,
49.scss .hljs-preprocessor {
50 color: #900;
51 font-weight: bold;
52}
53
54.hljs-list .hljs-keyword,
55.hljs-subst {
56 font-weight: normal;
57}
58
59.hljs-class .hljs-title,
60.hljs-type,
61.vhdl .hljs-literal,
62.tex .hljs-command {
63 color: #458;
64 font-weight: bold;
65}
66
67.hljs-tag,
68.hljs-tag .hljs-title,
69.hljs-rule .hljs-property,
70.django .hljs-tag .hljs-keyword {
71 color: #000080;
72 font-weight: normal;
73}
74
75.hljs-attribute,
76.hljs-variable,
77.lisp .hljs-body,
78.hljs-name {
79 color: #008080;
80}
81
82.hljs-regexp {
83 color: #009926;
84}
85
86.hljs-symbol,
87.ruby .hljs-symbol .hljs-string,
88.lisp .hljs-keyword,
89.clojure .hljs-keyword,
90.scheme .hljs-keyword,
91.tex .hljs-special,
92.hljs-prompt {
93 color: #990073;
94}
95
96.hljs-built_in {
97 color: #0086b3;
98}
99
100.hljs-preprocessor,
101.hljs-pragma,
102.hljs-pi,
103.hljs-doctype,
104.hljs-shebang,
105.hljs-cdata {
106 color: #999;
107 font-weight: bold;
108}
109
110.hljs-deletion {
111 background: #fdd;
112}
113
114.hljs-addition {
115 background: #dfd;
116}
117
118.diff .hljs-change {
119 background: #0086b3;
120}
121
122.hljs-chunk {
123 color: #aaa;
124}