LCARStrek/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: 3px solid #000000;
  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   white-space: pre-wrap;
  61   -moz-user-focus: normal;
  62 }
  63
  64 .hud-output-node .hud-network {
  65   color: blue;
  66 }
  67
  68 .hud-output-node .hud-error {
  69   color: red;
  70 }
  71
  72 .hud-output-node .hud-log {
  73   color: black;
  74 }
  75
  76 .hud-output-node .hud-warn {
  77   color: orange;
  78 }
  79
  80 .hud-output-node .hud-info {
  81   color: green;
  82 }
  83
  84 .hud-output-node .hud-exception {
  85   color: red; font-weight: bold;
  86 }
  87
  88 .hud-msg-node {
  89   width: 100%;
  90   margin-top: 0.3em;
  91   margin-bottom: 0.3em;
  92   padding-left: 0.3em;
  93   border-bottom: 1px solid #eee;
  94 }
  95
  96 .hud-output-node {
  97   border-bottom: 1px solid #ddd;
  98   border-top: 1px solid #ddd;
  99   overflow-x: auto; overflow: auto;
 100   font: 1em monospace; background-color: white;
 101   width: 100%;
 102 }
 103
 104 .hud-filtered-by-type, .hud-filtered-by-string {
 105   display: none;
 106 }
 107
 108 .hud-group:first-child .hud-divider {
 109   display: none;
 110 }
 111
 112 /* JSTerm Styles */
 113
 114 .jsterm-wrapper-node {
 115   font-family: monospace;
 116   font-size: 1em;
 117   background-color: #000;
 118   border: 1px solid #333;
 119   padding: 0.1em;
 120   width: 100%;
 121   height: 400px;
 122 }
 123
 124 .jsterm-output-node {
 125   width: 100%;
 126   height: 400px;
 127   color: white;
 128   background-color: black;
 129   overflow: auto;
 130   overflow-x: auto;
 131   position: absolute;
 132   -moz-box-direction: reverse;
 133 }
 134
 135 .jsterm-output-node div {
 136   -moz-user-select: text;
 137 }
 138
 139 .jsterm-scroll-to-node {
 140   height: 1px; width: 1px; position: relative; top: 92%; display: block;
 141 }
 142
 143 .jsterm-input-node {
 144   width: 98%;
 145   font-family: monospace;
 146   font-size: 9pt;
 147   background: url("chrome://global/skin/icons/commandline.png") 4px 3px no-repeat !important;
 148   border: none !important;
 149   padding: 0px 0px 0px 16px !important;
 150 }
 151
 152 .jsterm-input-node textarea {
 153   overflow-x: hidden;
 154 }
 155
 156 .jsterm-output-line {
 157   font-size: 1.2em;
 158 }
 159
 160 .hud-console-filter-toolbar {
 161   padding: 1px 0px;
 162   -moz-box-align: center;
 163 }