many small updates
[pharext/pharext.org] / public / highlight / styles / idea.css
1 /*
2
3 Intellij Idea-like styling (c) Vasily Polovnyov <vast@whiteants.net>
4
5 */
6
7 .hljs {
8 display: block;
9 overflow-x: auto;
10 padding: 0.5em;
11 color: #000;
12 background: #fff;
13 -webkit-text-size-adjust: none;
14 }
15
16 .hljs-subst,
17 .hljs-title,
18 .json .hljs-value {
19 font-weight: normal;
20 color: #000;
21 }
22
23 .hljs-comment,
24 .hljs-javadoc,
25 .diff .hljs-header {
26 color: #808080;
27 font-style: italic;
28 }
29
30 .hljs-annotation,
31 .hljs-decorator,
32 .hljs-preprocessor,
33 .hljs-pragma,
34 .hljs-doctype,
35 .hljs-pi,
36 .hljs-chunk,
37 .hljs-shebang,
38 .apache .hljs-cbracket,
39 .hljs-prompt,
40 .http .hljs-title {
41 color: #808000;
42 }
43
44 .hljs-tag,
45 .hljs-pi {
46 background: #efefef;
47 }
48
49 .hljs-tag .hljs-title,
50 .hljs-id,
51 .hljs-attr_selector,
52 .hljs-pseudo,
53 .hljs-literal,
54 .hljs-keyword,
55 .hljs-hexcolor,
56 .css .hljs-function,
57 .ini .hljs-title,
58 .css .hljs-class,
59 .hljs-list .hljs-keyword,
60 .nginx .hljs-title,
61 .tex .hljs-command,
62 .hljs-request,
63 .hljs-status {
64 font-weight: bold;
65 color: #000080;
66 }
67
68 .hljs-attribute,
69 .hljs-rule .hljs-keyword,
70 .hljs-number,
71 .hljs-date,
72 .hljs-regexp,
73 .tex .hljs-special {
74 font-weight: bold;
75 color: #0000ff;
76 }
77
78 .hljs-number,
79 .hljs-regexp {
80 font-weight: normal;
81 }
82
83 .hljs-string,
84 .hljs-value,
85 .hljs-filter .hljs-argument,
86 .css .hljs-function .hljs-params,
87 .apache .hljs-tag {
88 color: #008000;
89 font-weight: bold;
90 }
91
92 .hljs-symbol,
93 .ruby .hljs-symbol .hljs-string,
94 .hljs-char,
95 .tex .hljs-formula {
96 color: #000;
97 background: #d0eded;
98 font-style: italic;
99 }
100
101 .hljs-phpdoc,
102 .hljs-dartdoc,
103 .hljs-yardoctag,
104 .hljs-javadoctag {
105 text-decoration: underline;
106 }
107
108 .hljs-variable,
109 .hljs-envvar,
110 .apache .hljs-sqbracket,
111 .nginx .hljs-built_in,
112 .hljs-name {
113 color: #660e7a;
114 }
115
116 .hljs-addition {
117 background: #baeeba;
118 }
119
120 .hljs-deletion {
121 background: #ffc8bd;
122 }
123
124 .diff .hljs-change {
125 background: #bccff9;
126 }