9d0e3135070c89babefb83608b658fefeb871086
[WebKit-https.git] / WebKitTools / Drosera / debugger.css
1 /*
2  * Copyright (C) 2006 Apple Computer, Inc.  All rights reserved.
3  *
4  * Redistribution and use in source and binary forms, with or without
5  * modification, are permitted provided that the following conditions
6  * are met:
7  *
8  * 1.  Redistributions of source code must retain the above copyright
9  *     notice, this list of conditions and the following disclaimer. 
10  * 2.  Redistributions in binary form must reproduce the above copyright
11  *     notice, this list of conditions and the following disclaimer in the
12  *     documentation and/or other materials provided with the distribution. 
13  * 3.  Neither the name of Apple Computer, Inc. ("Apple") nor the names of
14  *     its contributors may be used to endorse or promote products derived
15  *     from this software without specific prior written permission. 
16  *
17  * THIS SOFTWARE IS PROVIDED BY APPLE AND ITS CONTRIBUTORS "AS IS" AND ANY
18  * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
19  * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
20  * DISCLAIMED. IN NO EVENT SHALL APPLE OR ITS CONTRIBUTORS BE LIABLE FOR ANY
21  * DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
22  * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
23  * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
24  * ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27  */
28
29 img { padding: 0; margin: 0; }
30 body { margin: 0; padding: 0; }
31
32 #main { position: absolute; top: 0; bottom: 0; left: 0; right: 0; }
33 #info { position: absolute; top: 0; height: 175px; left: 0; right: 0; }
34 #divider { cursor: row-resize; position: absolute; bottom: 0; left: 0; right: 0; background: url(splitterDimple.tif) 50% no-repeat, url(splitterBar.tif) repeat-x; height: 10px }
35 #body { position: absolute; top: 175px; left: 0; right: 0; bottom: 0; }
36 #sourcesContainer { position: absolute; top: 16px; left: 0; right: 0; bottom: 21px; background-color: white; }
37 #sources { width: 100%; height: 100% }
38 #header { vertical-align: top; height: 16px; box-sizing: border-box; border-bottom: 1px solid #aaa; background: url(glossyHeader.png) repeat-x; position: absolute; top: 0; left: 0; right: 0; }
39 #header > * { vertical-align: top; }
40 #footer { height: 21px; box-sizing: border-box; border-top: 1px solid #aaa; background: url(glossyFooterFill.tif) repeat-x; position: absolute; bottom: 0; left: 0; right: 0; }
41 #infoDivider { position: absolute; z-index: 10; right: 0; left: 0; top: 0; bottom: 9px; width: 10px; cursor: col-resize; background: url(verticalSplitterDimple.tiff) 50% no-repeat, url(verticalSplitterBar.tiff) repeat-y; width: 10px; }
42
43 #files {
44     opacity: 0;
45     position: absolute;
46     top: -2px;
47     left: -3px;
48     right: 0;
49     z-index: 10;
50     margin: 0;
51     padding: 0;
52 }
53
54 button.popup {
55     background: url(popUpArrows.png) right no-repeat;
56     border: none;
57     height: 15px;
58     font-size: 10px;
59     line-height: 10px;
60     padding: 0 20px 0 5px;
61     margin: 0;
62     overflow: hidden;
63     text-overflow: ellipsis;
64     white-space: nowrap;
65     position: relative;
66     min-width: 100px;
67     max-width: 350px;
68 }
69
70 #filesPopupButtonContent {
71     overflow: hidden;
72     text-overflow: ellipsis;
73     white-space: nowrap;
74     width: 100%;
75     height: 100%;
76     line-height: 12px;
77     text-align: left;
78 }
79
80 .placeholder { color: rgba(0, 0, 0, 0.6) }
81
82 button.nav {
83     position: relative;
84     width: 32px;
85     height: 15px;
86     border: none;
87     margin: 0;
88     padding: 0;
89     border-left: 1px solid transparent;
90     border-right: 1px solid #aaa;
91 }
92
93 button.nav.right {
94     background: url(navRightNormal.png) no-repeat;
95 }
96
97 button.nav.right:disabled, button.nav.right:disabled:active {
98     border-left: 1px solid transparent;
99     background: url(navRightDisabled.png) no-repeat;
100 }
101
102 button.nav.right:active {
103     border-left: 1px solid rgba(0, 0, 0, 0.3);
104     background: url(navRightPressed.png) no-repeat;
105 }
106
107 button.nav.left {
108     background: url(navLeftNormal.png) no-repeat;
109 }
110
111 button.nav.left:disabled, button.nav.left:disabled:active {
112     border-left: 1px solid transparent;
113     background: url(navLeftDisabled.png) no-repeat;
114 }
115
116 button.nav.left:active {
117     margin-left: 0;
118     border-left: 1px solid rgba(0, 0, 0, 0.3);
119     background: url(navLeftPressed.png) no-repeat;
120 }
121
122 #leftPane {
123     position: absolute;
124     top: 0;
125     bottom: 10px;
126     left: 0;
127     width: 253px;
128     padding: 0;
129     margin: 0;
130 }
131
132 #rightPane {
133     position: absolute;
134     top: 0;
135     bottom: 0;
136     right: 0;
137     left: 253px;
138     padding: 0;
139     margin: 0;
140 }
141
142 #stackframe {
143     position: absolute;
144     top: 0;
145     bottom: 0;
146     right: 0;
147     left: 0;
148 }
149
150 #stackframeBody {
151     overflow-y: scroll;
152     overflow-x: hidden;
153     position: absolute;
154     top: 16px;
155     bottom: 0;
156     right: 0;
157     left: 0;
158 }
159
160 #variables {
161     position: absolute;
162     top: 0;
163     bottom: 10px;
164     right: 0;
165     left: 10px;
166 }
167
168 #variablesBody {
169     overflow-y: scroll;
170     overflow-x: hidden;
171     position: absolute;
172     top: 16px;
173     bottom: 0;
174     right: 0;
175     left: 0;
176 }
177
178 .infoBackground {
179     background: url(background_stripe.png) repeat;
180     position: absolute;
181     top: 0;
182     bottom: 0;
183     right: 0;
184     left: 0;
185     z-index: -1;
186 }
187
188 table {
189     font-family: "Lucida Grande", sans-serif;
190     font-size: 11px;
191     border-collapse: collapse;
192     border-spacing: 0;
193     width: 100%;
194     padding: 0;
195     margin: 0;
196     border: 0;
197 }
198
199 td { padding: 3px 7px 3px 9px; height: 15px; box-sizing: border-box; }
200
201 .stackNumber {
202     width: 2em;
203     padding: 3px 0;
204     text-align: center;
205 }
206
207 .variable {
208     width: 170px;
209 }
210
211 .column th.scrollCorner {
212     width: 15px;
213     padding: 0;
214     border-right: none;
215 }
216
217 #variableColumnResizer { 
218     position: absolute;
219     top: 0;
220     left: 168px;
221     width: 4px;
222     height: 16px;
223     cursor: col-resize;
224 }
225
226 .column th {
227     background: url(glossyHeader.png) repeat-x;
228     border-right: 1px solid #d9d9d9;
229     height: 15px;
230     box-sizing: border-box; 
231     border-bottom: 1px solid #aaa;
232     font-weight: normal;
233     vertical-align: middle;
234     padding: 0 8px;
235     text-align: left;
236     -webkit-user-select: none;
237 }