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