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