Web Inspector: highlight occurences of word in DefaultTextEditor
[WebKit-https.git] / Source / WebCore / inspector / front-end / textEditor.css
1 .text-editor {
2     position: absolute;
3     top:0;
4     left:0;
5     right:0;
6     bottom:0;
7     white-space: pre;
8     overflow: auto;
9 }
10
11 .text-editor-lines {
12     position: absolute;
13     top: 0;
14     left: 0;
15     bottom: 0;
16     overflow: hidden;
17     -webkit-user-select: none;
18     background-color: rgb(240, 240, 240);
19     border-right: 1px solid rgb(187, 187, 187);
20     min-width: 19px;
21 }
22
23 .text-editor-contents {
24     position: absolute;
25     top: 0;
26     left: 0;
27     right: 0;
28     bottom: 0;
29     overflow: auto;
30     -webkit-user-select: text;
31 }
32
33 .text-editor-overlay-highlight {
34     position: absolute;
35     pointer-events: none;
36     -webkit-user-select: none;
37     z-index: -1;
38 }
39
40 .text-editor-token-highlight {
41     -webkit-border-radius: 3px;
42     border: 1px solid gray;
43 }
44
45 .text-editor-contents .inner-container {
46     position: absolute;
47     top: 0;
48     left: 0;
49     right: auto;
50     bottom: auto;
51     min-width: 100%;
52 }
53
54 .text-editor-editable {
55     -webkit-user-modify: read-write-plaintext-only;
56 }
57
58 .text-editor-read-only {
59     -webkit-user-modify: read-only;
60     background-color: rgb(240, 240, 240);
61 }
62
63 .webkit-line-decorations {
64     pointer-events: none;
65     -webkit-user-select: none;
66     -webkit-user-modify: read-only;
67 }
68
69 .webkit-html-message-bubble {
70     -webkit-box-shadow: black 0px 2px 5px;
71     -webkit-border-radius: 9px;
72     -webkit-border-fit: lines;
73     font-size: 10px;
74     font-family: Lucida Grande, sans-serif;
75     font-weight: bold;
76     margin: 6px 25px;
77     padding: 0 7px 1px;
78     z-index:20;
79 }
80
81 .webkit-html-warning-message {
82     background-color: rgb(100%, 62%, 42%);
83     border: 2px solid rgb(100%, 52%, 21%);
84 }
85
86 .webkit-html-error-message {
87     background-color: rgb(100%, 42%, 42%);
88     border: 2px solid rgb(100%, 31%, 31%);
89 }
90
91 .webkit-html-message-line {
92     padding-left: 23px;
93     text-indent: -20px;
94 }
95
96 .webkit-html-message-line-hover {
97     padding-left: 23px;
98     text-indent: -20px;
99     white-space: auto;
100     text-overflow: auto;
101     overflow: auto;
102 }
103
104 .webkit-html-message-icon {
105     position: relative;
106     top: 2px;
107     margin: 0 4px;
108 }
109
110 .webkit-line-number {
111     color: rgb(128, 128, 128);
112     text-align: right;
113     vertical-align: top;
114     word-break: normal;
115     padding-right: 4px;
116     padding-left: 6px;
117 }
118
119 .webkit-line-number-outer {
120     margin-right: -4px;
121     margin-left: -4px;
122     border-color: transparent;
123     border-style: solid;
124     border-width: 0 0 0px 2px;
125     vertical-align: top;
126 }
127
128 .webkit-line-number-inner {
129     margin-right: 4px;
130 }
131
132 .webkit-breakpoint .webkit-line-number-inner, .webkit-breakpoint-conditional .webkit-line-number-inner, .webkit-execution-line .webkit-line-number-inner {
133     margin-right: -10px;
134 }
135
136 .webkit-breakpoint .webkit-line-number-outer {
137     color: white;
138     border-width: 0 14px 0px 2px;
139     -webkit-border-image: url(Images/breakpointBorder.png) 0 14 0 2;
140 }
141
142 .webkit-breakpoint-conditional .webkit-line-number-outer {
143     color: white;
144     border-width: 0 14px 0px 2px;
145     -webkit-border-image: url(Images/breakpointConditionalBorder.png) 0 14 0 2;
146 }
147
148 .webkit-execution-line .webkit-line-number-outer {
149     color: transparent;
150     border-width: 0 14px 0px 2px;
151     -webkit-border-image: url(Images/programCounterBorder.png) 0 14 0 2;
152 }
153
154 .webkit-breakpoint.webkit-execution-line .webkit-line-number-outer {
155     color: white;
156     -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 14 0 2;
157 }
158
159 .webkit-breakpoint.webkit-execution-line .webkit-line-number-outer {
160     color: transparent;
161     -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 14 0 2;
162 }
163
164 .webkit-breakpoint-conditional.webkit-execution-line .webkit-line-number-outer {
165     color: transparent;
166     -webkit-border-image: url(Images/breakpointConditionalCounterBorder.png) 0 14 0 2;
167 }
168
169 .webkit-breakpoint-disabled .webkit-line-number-outer {
170     opacity: 0.5;
171 }
172
173 .breakpoints-deactivated .webkit-breakpoint .webkit-line-number-outer {
174     opacity: 0.5;
175 }
176
177 .breakpoints-deactivated .webkit-breakpoint-disabled .webkit-line-number-outer {
178     opacity: 0.3;
179 }
180
181 .webkit-execution-line.webkit-line-content {
182     background-color: rgb(171, 191, 254);
183     outline: 1px solid rgb(64, 115, 244);
184 }
185
186 .webkit-highlighted-line.webkit-line-content {
187     -webkit-animation: "fadeout" 2s 0s;
188 }
189
190 @-webkit-keyframes fadeout {
191     from {background-color: rgb(255, 255, 120); }
192     to { background-color: white; }
193 }
194
195 .debug-fadeout {
196     -webkit-animation: "debug-fadeout" 1s 0s;
197     border: 1px solid white;
198     margin: -1px;
199 }
200
201 @-webkit-keyframes debug-fadeout {
202     from {
203         border-color: black;
204         background-color: rgb(255, 255, 120);
205     }
206     to {
207         background-color: white;
208         border-color: white
209     }
210 }