1 /* ***** BEGIN LICENSE BLOCK *****
2 * Version: MPL 1.1/GPL 2.0/LGPL 2.1
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/
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
14 * The Original Code is DevTools code
16 * The Initial Developer of the Original Code is
18 * Portions created by the Initial Developer are Copyright (C) 2010
19 * the Initial Developer. All Rights Reserved.
22 * David Dahl <ddahl@mozilla.com>
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.
36 * ***** END LICENSE BLOCK ***** */
39 border-bottom: 3px solid #000000;
43 -moz-transition: height 100ms;
51 .hud-console-wrapper {
62 .hud-output-node div {
63 -moz-user-select: text;
64 white-space: pre-wrap;
65 -moz-user-focus: normal;
70 text-decoration: underline;
94 color: red; font-weight: bold;
100 margin-bottom: 0.3em;
102 -moz-user-select: text;
103 white-space: pre-wrap;
104 -moz-user-focus: normal;
108 border-bottom: 1px solid #ddd;
109 border-top: 1px solid #ddd;
110 overflow-x: auto; overflow: auto;
111 font: 1em monospace; background-color: white;
115 .hud-filtered-by-type,
116 .hud-filtered-by-string {
120 .webconsole-clear-console-button > .toolbarbutton-icon {
124 -moz-box-orient: horizontal;
125 list-style-image: url("chrome://global/skin/icons/webconsole.png");
129 .webconsole-filter-button[category="net"] {
130 -moz-image-region: rect(0, 40px, 10px, 30px);
134 .webconsole-filter-button[category="css"] {
135 -moz-image-region: rect(10px, 40px, 20px, 30px);
139 .webconsole-filter-button[category="js"] {
140 -moz-image-region: rect(20px, 40px, 30px, 30px);
143 /* Web Developer button */
144 .webconsole-filter-button[category="webdev"] {
145 -moz-image-region: rect(30px, 40px, 40px, 30px);
148 .webconsole-close-button {
151 list-style-image: url("chrome://global/skin/icons/close.png");
152 -moz-image-region: rect(0, 16px, 16px, 0);
153 -moz-appearance: none;
156 .webconsole-close-button:hover {
157 -moz-image-region: rect(0, 32px, 16px, 16px);
160 .webconsole-close-button:hover:active {
161 -moz-image-region: rect(0, 48px, 16px, 32px);
166 .jsterm-wrapper-node {
167 font-family: monospace;
169 background-color: #000;
170 border: 1px solid #333;
176 .jsterm-output-node {
180 background-color: black;
184 -moz-box-direction: reverse;
187 .jsterm-scroll-to-node {
188 height: 1px; width: 1px; position: relative; top: 92%; display: block;
192 .jsterm-complete-node {
193 font-family: monospace;
200 background: url("chrome://global/skin/icons/commandline.png") 4px 3px no-repeat;
203 :-moz-any(.jsterm-input-node,
204 .jsterm-complete-node) > .textbox-input-box > .textbox-textarea {
208 .jsterm-complete-node > .textbox-input-box > .textbox-textarea {
212 .jsterm-output-line {
216 .hud-console-filter-toolbar {
218 -moz-box-align: center;