update global in both themes to withstand a manual diff check
[themes.git] / EarlyBlue / global / webConsole.css
1 /* ***** BEGIN LICENSE BLOCK *****
2  * Version: MPL 1.1/GPL 2.0/LGPL 2.1
3  *
4  * The contents of this file are subject to the Mozilla Public License Version
5  * 1.1 (the "License"); you may not use this file except in compliance with
6  * the License. You may obtain a copy of the License at
7  * http://www.mozilla.org/MPL/
8  *
9  * Software distributed under the License is distributed on an "AS IS" basis,
10  * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
11  * for the specific language governing rights and limitations under the
12  * License.
13  *
14  * The Original Code is DevTools code
15  *
16  * The Initial Developer of the Original Code is
17  *   Mozilla Corporation
18  * Portions created by the Initial Developer are Copyright (C) 2010
19  * the Initial Developer. All Rights Reserved.
20  *
21  * Contributor(s):
22  *   David Dahl <ddahl@mozilla.com>
23
24  * Alternatively, the contents of this file may be used under the terms of
25  * either the GNU General Public License Version 2 or later (the "GPL"), or
26  * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
27  * in which case the provisions of the GPL or the LGPL are applicable instead
28  * of those above. If you wish to allow use of your version of this file only
29  * under the terms of either the GPL or the LGPL, and not to allow others to
30  * use your version of this file under the terms of the MPL, indicate your
31  * decision by deleting the provisions above and replace them with the notice
32  * and other provisions required by the GPL or the LGPL. If you do not delete
33  * the provisions above, a recipient may use your version of this file under
34  * the terms of any one of the MPL, the GPL or the LGPL.
35  *
36  * ***** END LICENSE BLOCK ***** */
37
38 .hud-box {
39   border-bottom: 1px solid #CCD0DD;
40 }
41
42 .hud-group label {
43   padding-left: 1em;
44 }
45
46 .hud-outer-wrapper {
47   width: 100%; 
48   height: 100%;
49 }
50
51 .hud-console-wrapper {
52   width: 100%; 
53   overflow: auto; 
54 }
55
56 .hud-main-label {
57   font-size: 1em;
58   padding-top: 0.33em;
59   font-weight: bold;
60 }
61
62 .hud-output-node div {
63   -moz-user-select: text;
64   white-space: pre-wrap;
65   -moz-user-focus: normal;
66 }
67
68 .hud-clickable {
69   cursor: pointer !important;
70   text-decoration: underline;
71 }
72
73 .hud-output-node .hud-network {
74   color: blue;
75 }
76
77 .hud-output-node .hud-error {
78   color: red;
79 }
80
81 .hud-output-node .hud-log {
82   color: black;
83 }
84
85 .hud-output-node .hud-warn {
86   color: orange;
87 }
88
89 .hud-output-node .hud-info {
90   color: green;
91 }
92
93 .hud-output-node .hud-exception {
94   color: red; font-weight: bold;
95 }
96
97 .hud-msg-node {    
98   width: 100%;
99   margin-top: 0.3em; 
100   margin-bottom: 0.3em; 
101   padding-left: 0.3em;
102   /* border-bottom: 1px solid #eee; */
103 }
104
105 .hud-output-node {
106   border-bottom: 1px solid #ddd; 
107   border-top: 1px solid #ddd; 
108   overflow-x: auto; overflow: auto;
109   font: 1em monospace; background-color: white;
110   width: 100%;
111 }
112
113 .hud-filtered-by-type, .hud-filtered-by-string {
114   display: none;
115 }
116
117 .hud-group:first-child .hud-divider {
118   display: none;
119 }
120
121 /* JSTerm Styles */
122
123 .jsterm-wrapper-node {
124   font-family: monospace; 
125   font-size: 1em;
126   background-color: #000; 
127   border: 1px solid #333; 
128   padding: 0.1em;
129   width: 100%;
130   height: 400px;
131 }
132
133 .jsterm-output-node {
134   width: 100%; 
135   height: 400px; 
136   color: white; 
137   background-color: black; 
138   overflow: auto; 
139   overflow-x: auto; 
140   position: absolute; 
141   -moz-box-direction: reverse;
142 }
143
144 .jsterm-output-node div {
145   -moz-user-select: text;
146 }
147
148 .jsterm-scroll-to-node {
149   height: 1px; width: 1px; position: relative; top: 92%; display: block;
150 }
151
152 .jsterm-input-node {
153   font-family: monospace;
154   font-size: 9pt;
155   background: url("chrome://global/skin/icons/commandline.png") 4px 3px no-repeat !important;
156   border: none !important;
157   padding: 0px 0px 0px 16px !important;
158 }
159
160 .jsterm-input-node textarea {
161   overflow-x: hidden;
162 }
163
164 .jsterm-output-line {
165   font-size: 1em;
166 }
167
168 .hud-console-filter-toolbar {
169   padding: 1px 0px;
170   -moz-box-align: center;
171 }
172
173 .jsterm-close-button {
174   background: none !important;
175   border: none !important;
176   list-style-image: url("chrome://global/skin/icons/close-button.gif");
177   margin: 0px !important;
178   min-width: 0px !important;
179   padding: 1px 3px 1px 7px !important;
180   -moz-user-focus: ignore;
181 }