gecko/toolkit/themes/gnomestripe/global/headsUpDisplay.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>

 * 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;
}

.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-output-node div {
    -moz-user-select: text;
    white-space: pre-wrap;
    -moz-user-focus: normal;
}

.hud-output-node .hud-network {
    color: blue;
}

.hud-output-node .hud-error {
    color: red;
}

.hud-output-node .hud-log {
    color: black;
}

.hud-output-node .hud-warn {
    color: orange;
}

.hud-output-node .hud-info {
    color: green;
}

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

.hud-msg-node {    
    width: 100%;
    margin-top: 0.3em; 
    margin-bottom: 0.3em; 
    padding-left: 0.3em;
    border-bottom: 1px solid #eee;   
}

.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-output-node div {
    -moz-user-select: text;
}

.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 !important;
    border: none !important;
    padding: 0px 0px 0px 16px !important;
    -moz-appearance: none !important;
}

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

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

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