← Back to branch summary

~ubuntu-branches/ubuntu/raring/qtwebkit-source/raring-proposed

« back to all changes in this revision

Viewing changes to Source/WebCore/inspector/front-end/textEditor.css

  • Committer: Package Import Robot
  • Author(s): Jonathan Riddell
  • Date: 2013-02-18 14:24:18 UTC
  • Revision ID: package-import@ubuntu.com-20130218142418-eon0jmjg3nj438uy
Tags: upstream-2.3
Import upstream version 2.3

Show diffs side-by-side

added added

removed removed

Lines of Context:
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-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-breakpoint .webkit-line-number-outer {
 
125
    color: white;
 
126
    border-width: 0 14px 0px 2px;
 
127
    -webkit-border-image: url(Images/breakpointBorder.png) 0 14 0 2;
 
128
}
 
129
 
 
130
.webkit-breakpoint-conditional .webkit-line-number-outer {
 
131
    color: white;
 
132
    border-width: 0 14px 0px 2px;
 
133
    -webkit-border-image: url(Images/breakpointConditionalBorder.png) 0 14 0 2;
 
134
}
 
135
 
 
136
.webkit-execution-line .webkit-line-number-outer {
 
137
    color: transparent;
 
138
    border-width: 0 14px 0px 2px;
 
139
    -webkit-border-image: url(Images/programCounterBorder.png) 0 14 0 2;
 
140
}
 
141
 
 
142
.webkit-breakpoint.webkit-execution-line .webkit-line-number-outer {
 
143
    color: white;
 
144
    -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 14 0 2;
 
145
}
 
146
 
 
147
.webkit-breakpoint.webkit-execution-line .webkit-line-number-outer {
 
148
    color: transparent;
 
149
    -webkit-border-image: url(Images/breakpointCounterBorder.png) 0 14 0 2;
 
150
}
 
151
 
 
152
.webkit-breakpoint-conditional.webkit-execution-line .webkit-line-number-outer {
 
153
    color: transparent;
 
154
    -webkit-border-image: url(Images/breakpointConditionalCounterBorder.png) 0 14 0 2;
 
155
}
 
156
 
 
157
.webkit-breakpoint-disabled .webkit-line-number-outer {
 
158
    opacity: 0.5;
 
159
}
 
160
 
 
161
.breakpoints-deactivated .webkit-breakpoint .webkit-line-number-outer {
 
162
    opacity: 0.5;
 
163
}
 
164
 
 
165
.breakpoints-deactivated .webkit-breakpoint-disabled .webkit-line-number-outer {
 
166
    opacity: 0.3;
 
167
}
 
168
 
 
169
.webkit-execution-line.webkit-line-content {
 
170
    background-color: rgb(171, 191, 254);
 
171
    outline: 1px solid rgb(64, 115, 244);
 
172
}
 
173
 
 
174
.webkit-highlighted-line.webkit-line-content {
 
175
    -webkit-animation: "fadeout" 2s 0s;
 
176
}
 
177
 
 
178
@-webkit-keyframes fadeout {
 
179
    from {background-color: rgb(255, 255, 120); }
 
180
    to { background-color: white; }
 
181
}
 
182
 
 
183
.debug-fadeout {
 
184
    -webkit-animation: "debug-fadeout" 1s 0s;
 
185
    border: 1px solid white;
 
186
}
 
187
 
 
188
@-webkit-keyframes debug-fadeout {
 
189
    from {
 
190
        border-color: black;
 
191
        background-color: rgb(255, 255, 120);
 
192
    }
 
193
    to {
 
194
        background-color: white;
 
195
        border-color: white
 
196
    }
 
197
}