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