gecko/toolkit/themes/gnomestripe/global/webConsole.css

/* ***** BEGIN LICENSE BLOCK *****
 * Version: MPL 1.1/GPL 2.0/LGPL 2.1
 *
 * The contents of this file are subject to the Mozilla Public License Version
 * 1.1 (the "License"); you may not use this file except in compliance with
 * the License. You may obtain a copy of the License at
 * http://www.mozilla.org/MPL/
 *
 * Software distributed under the License is distributed on an "AS IS" basis,
 * WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
 * for the specific language governing rights and limitations under the
 * License.
 *
 * The Original Code is DevTools code
 *
 * The Initial Developer of the Original Code is
 *   Mozilla Corporation
 * Portions created by the Initial Developer are Copyright (C) 2010
 * the Initial Developer. All Rights Reserved.
 *
 * Contributor(s):
 *   David Dahl <ddahl@mozilla.com>
 *   Patrick Walton <pcwalton@mozilla.com>
 *   Mihai Șucan <mihai.sucan@gmail.com>
 *
 * Alternatively, the contents of this file may be used under the terms of
 * either the GNU General Public License Version 2 or later (the "GPL"), or
 * the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
 * in which case the provisions of the GPL or the LGPL are applicable instead
 * of those above. If you wish to allow use of your version of this file only
 * under the terms of either the GPL or the LGPL, and not to allow others to
 * use your version of this file under the terms of the MPL, indicate your
 * decision by deleting the provisions above and replace them with the notice
 * and other provisions required by the GPL or the LGPL. If you do not delete
 * the provisions above, a recipient may use your version of this file under
 * the terms of any one of the MPL, the GPL or the LGPL.
 *
 * ***** END LICENSE BLOCK ***** */

.hud-box {
  border-bottom: 1px solid #aaa;
  text-shadow: none;
}

.hud-box.animated {
  -moz-transition: height 350ms;
}

.hud-outer-wrapper {
  width: 100%;
  height: 100%;
}

.hud-console-wrapper {
  width: 100%;
  overflow: auto;
}

.hud-main-label {
  font-size: 1em;
  padding-top: 0.33em;
  font-weight: bold;
}

.hud-clickable {
  cursor: pointer;
  text-decoration: underline;
}

.hud-network {
  color: blue;
}

.hud-error {
  color: red;
}

.hud-log {
  color: black;
}

.hud-warn {
  color: orange;
}

.hud-info {
  color: green;
}

.hud-exception {
  color: red;
  font-weight: bold;
}

.hud-msg-node {
  width: 100%;
  margin-top: 0.3em;
  margin-bottom: 0.3em;
  padding-left: 1em;
  -moz-user-select: text;
  white-space: pre-wrap;
  -moz-user-focus: normal;
}

.hud-output-node {
  border-bottom: 1px solid #ddd;
  border-top: 1px solid #ddd;
  overflow-x: auto;
  overflow: auto;
  font: 1em monospace;
  background-color: white;
  width: 100%;
}

.hud-filtered-by-type,
.hud-filtered-by-string {
  display: none;
}

.hud-filter-cat:-moz-system-metric(windows-default-theme) {
  color: GrayText;
}

.hud-group:first-child > .hud-divider {
  display: none;
}

/* JSTerm Styles */

.jsterm-wrapper-node {
  font-family: monospace;
  font-size: 1em;
  background-color: #000;
  border: 1px solid #333;
  padding: 0.1em;
  width: 100%;
  height: 400px;
}

.jsterm-output-node {
  width: 100%;
  height: 400px;
  color: white;
  background-color: black;
  overflow: auto;
  overflow-x: auto;
  position: absolute;
  -moz-box-direction: reverse;
}

.jsterm-scroll-to-node {
  height: 1px;
  width: 1px;
  position: relative;
  top: 92%;
  display: block;
}

.jsterm-input-node {
  width: 98%;
  font-family: monospace;
  font-size: 9pt;
  background: url("chrome://global/skin/icons/commandline.png") 4px 3px
    no-repeat;
  border: none;
  padding: 0px 0px 0px 16px;
  -moz-appearance: none;
}

.jsterm-input-node > .textbox-input-box > .textbox-textarea {
  overflow-x: hidden;
}

.jsterm-output-line {
  font-size: 1em;
}

.hud-console-filter-toolbar {
  padding: 1px 0px;
  -moz-box-align: center;
}

.jsterm-close-button {
  background: none;
  border: none;
  list-style-image: url("chrome://global/skin/icons/close.png");
  margin: 0px;
  min-width: 0px;
  padding: 1px 3px 1px 7px;
  -moz-appearance: none;
  -moz-image-region: rect(0, 16px, 16px, 0);
  -moz-user-focus: ignore;
}

.jsterm-close-button:hover {
  -moz-image-region: rect(0, 32px, 16px, 16px);
}

.jsterm-close-button:hover:active {
  -moz-image-region: rect(0, 48px, 16px, 32px);
}