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