JavaScriptCore:
[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 #toolbar { background-image: url(toolbarBackground.png); background-repeat: repeat-x; background-position: bottom; height: 32px; padding: 2px 5px 2px 5px; border-bottom: 1px solid #939393 }
33 #toolbar * { vertical-align: middle }
34
35 #main { position: absolute; top: 37px; bottom: 0; left: 0; right: 0; }
36 #info { position: absolute; top: 0; height: 150px; left: 0; right: 0; }
37 #divider { cursor: move; position: absolute; bottom: 0; left: 0; right: 0; background: url(splitterDimple.tif) 50% no-repeat, url(splitterBar.tif) repeat-x; height: 10px }
38 #body { position: absolute; top: 150px; left: 0; right: 0; bottom: 0; }
39 #sourcesContainer { position: absolute; top: 16px; left: 0; right: 0; bottom: 21px; background-color: white; }
40 #sources { width: 100%; height: 100% }
41 #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; }
42 #header > * { vertical-align: top; }
43 #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; }
44
45 #files {
46     opacity: 0;
47     position: absolute;
48     top: -2px;
49     left: -3px;
50     right: 0;
51     z-index: 10;
52     margin: 0;
53     padding: 0;
54 }
55
56 button.popup {
57     background: url(popUpArrows.png) right no-repeat;
58     border: none;
59     height: 15px;
60     font-size: 10px;
61     line-height: 10px;
62     padding: 0 20px 0 5px;
63     margin: 0;
64     overflow: hidden;
65     text-overflow: ellipsis;
66     white-space: nowrap;
67     position: relative;
68     min-width: 100px;
69     max-width: 350px;
70 }
71
72 #filesPopupButtonContent {
73     overflow: hidden;
74     text-overflow: ellipsis;
75     white-space: nowrap;
76     width: 100%;
77     height: 100%;
78     line-height: 12px;
79     text-align: left;
80 }
81
82 .placeholder { color: rgba(0, 0, 0, 0.6) }
83
84 button.nav {
85     position: relative;
86     width: 32px;
87     height: 15px;
88     border: none;
89     margin: 0;
90     padding: 0;
91     border-left: 1px solid transparent;
92     border-right: 1px solid #aaa;
93 }
94
95 button.nav.right {
96     background: url(navRightNormal.png) no-repeat;
97 }
98
99 button.nav.right:disabled, button.nav.right:disabled:active {
100     border-left: 1px solid transparent;
101     background: url(navRightDisabled.png) no-repeat;
102 }
103
104 button.nav.right:active {
105     border-left: 1px solid rgba(0, 0, 0, 0.3);
106     background: url(navRightPressed.png) no-repeat;
107 }
108
109 button.nav.left {
110     background: url(navLeftNormal.png) no-repeat;
111 }
112
113 button.nav.left:disabled, button.nav.left:disabled:active {
114     border-left: 1px solid transparent;
115     background: url(navLeftDisabled.png) no-repeat;
116 }
117
118 button.nav.left:active {
119     margin-left: 0;
120     border-left: 1px solid rgba(0, 0, 0, 0.3);
121     background: url(navLeftPressed.png) no-repeat;
122 }