update both themes for winstripe changes up to 2010-07-02
[themes.git] / EarlyBlue / global / headsUpDisplay.css
CommitLineData
f0c3317f
RK
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-outer-wrapper {
43 width: 100%;
44 height: 100%;
45}
46
47.hud-console-wrapper {
48 width: 100%;
49 overflow: auto;
50}
51
52.hud-main-label {
53 font-size: 1em;
54 padding-top: 0.33em;
55 font-weight: bold;
56}
57
58.hud-output-node div {
59 -moz-user-select: text;
60}
61
62.hud-output-node .hud-network {
63 color: blue;
64}
65
66.hud-output-node .hud-error {
67 color: red;
68}
69
70.hud-output-node .hud-log {
71 color: black;
72}
73
74.hud-output-node .hud-warn {
75 color: orange;
76}
77
78.hud-output-node .hud-info {
79 color: green;
80}
81
82.hud-output-node .hud-exception {
83 color: red; font-weight: bold;
84}
85
86.hud-hidden {
87 display: none;
88}
89
90.hud-msg-node {
91 width: 100%;
92 margin-top: 0.3em;
93 margin-bottom: 0.3em;
94 padding-left: 0.3em;
95 border-bottom: 1px solid #eee;
96}
97
98.hud-output-node {
99 border-bottom: 1px solid #ddd;
100 border-top: 1px solid #ddd;
101 overflow-x: auto; overflow: auto;
102 font: 1em monospace; background-color: white;
103 width: 100%;
104}
105
106/* JSTerm Styles */
107
108.jsterm-wrapper-node {
109 font-family: monospace;
110 font-size: 1em;
111 background-color: #000;
112 border: 1px solid #333;
113 padding: 0.1em;
114 width: 100%;
115 height: 400px;
116}
117
118.jsterm-output-node {
119 width: 100%;
120 height: 400px;
121 color: white;
122 background-color: black;
123 overflow: auto;
124 overflow-x: auto;
125 position: absolute;
126 -moz-box-direction: reverse;
127}
128
129.jsterm-output-node div {
130 -moz-user-select: text;
131}
132
133.jsterm-scroll-to-node {
134 height: 1px; width: 1px; position: relative; top: 92%; display: block;
135}
136
137.jsterm-input-node {
138 width: 98%;
139 font-family: monospace;
140 font-size: 1.2em;
141 line-height: 1.6em;
142 background-color: black;
143 color: white;
144}
145
146.jsterm-output-line {
147 font-size: 1.2em;
148}
149
150.hud-filter-btn {
151 margin: 2px !important;
152}
153
154.hud-console-filter-toolbar {
155 padding: 1px 0px;
156 -moz-box-align: center;
157}