Web Inspector: show whitespace characters in DTE
[WebKit-https.git] / Source / WebCore / inspector / front-end / inspectorSyntaxHighlight.css
1 /*
2  * Copyright (C) 2009 Apple Inc.  All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  *
8  * 1.  Redistributions of source code must retain the above copyright
9  *     notice, this list of conditions and the following disclaimer.
10  * 2.  Redistributions in binary form must reproduce the above copyright
11  *     notice, this list of conditions and the following disclaimer in the
12  *     documentation and/or other materials provided with the distribution.
13  * 3.  Neither the name of Apple Computer, Inc. ("Apple") nor the names of
14  *     its contributors may be used to endorse or promote products derived
15  *     from this software without specific prior written permission.
16  *
17  * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
18  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
19  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
20  * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
21  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
22  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
23  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
24  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27  */
28
29 .webkit-css-comment {
30     color: rgb(0, 116, 0);
31 }
32
33 .webkit-css-url, .webkit-css-color, .webkit-css-string, .webkit-css-keyword {
34     color: rgb(7, 144, 154);
35  }
36
37 .webkit-css-number {
38     color: rgb(50, 0, 255);
39 }
40
41 .webkit-css-property, .webkit-css-at-rule {
42     color: rgb(200, 0, 0);
43 }
44
45 .webkit-css-selector {
46     color: black;
47 }
48
49 .webkit-css-bang-keyword {
50     color: rgb(200, 0, 180);
51 }
52
53 .webkit-javascript-comment {
54     color: rgb(0, 116, 0);
55 }
56
57 .webkit-javascript-keyword {
58     color: rgb(170, 13, 145);
59 }
60
61 .webkit-javascript-number {
62     color: rgb(28, 0, 207);
63 }
64
65 .webkit-javascript-string, .webkit-javascript-regexp {
66     color: rgb(196, 26, 22);
67 }
68
69 .webkit-javascript-ident {
70     color: black;
71 }
72
73 .webkit-whitespace-1::before {
74     content: "·";
75 }
76
77 .webkit-whitespace-2::before {
78     content: "··";
79 }
80
81 .webkit-whitespace-4::before {
82     content: "····";
83 }
84
85 .webkit-whitespace-8::before {
86     content: "········";
87 }
88
89 .webkit-whitespace-16::before {
90     content: "················";
91 }
92
93 .webkit-whitespace::before {
94     position: absolute;
95     color: rgb(175, 175, 175);
96 }
97
98 .webkit-html-comment {
99     /* Keep this in sync with view-source.css (.webkit-html-comment) */
100     color: rgb(35, 110, 37);
101 }
102
103 .webkit-html-tag {
104     /* Keep this in sync with view-source.css (.webkit-html-tag) */
105     color: rgb(136, 18, 128);
106 }
107
108 .webkit-html-doctype {
109     /* Keep this in sync with view-source.css (.webkit-html-doctype) */
110     color: rgb(192, 192, 192);
111 }
112
113 .webkit-html-attribute-name {
114     /* Keep this in sync with view-source.css (.webkit-html-attribute-name) */
115     color: rgb(153, 69, 0);
116 }
117
118 .webkit-html-attribute-value {
119     /* Keep this in sync with view-source.css (.webkit-html-attribute-value) */
120     color: rgb(26, 26, 166);
121 }
122
123 .webkit-html-external-link, .webkit-html-resource-link {
124     /* Keep this in sync with view-source.css (.webkit-html-external-link, .webkit-html-resource-link) */
125     color: #00e;
126 }
127
128 .webkit-html-external-link {
129     /* Keep this in sync with view-source.css (.webkit-html-external-link) */
130     text-decoration: none;
131 }
132
133 .webkit-html-external-link:hover {
134     /* Keep this in sync with view-source.css (.webkit-html-external-link:hover) */
135     text-decoration: underline;
136 }