X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=EarlyBlue%2Fglobal%2FwebConsole.css;fp=EarlyBlue%2Fglobal%2FwebConsole.css;h=0953184fb44347e683624d25b5f368b5fbd9ca2e;hp=0000000000000000000000000000000000000000;hb=706c344c03f7c434b9407c67e1bd904eab88778d;hpb=d3d79c39d7623f7ac09394360a039b579085c2cd diff --git a/EarlyBlue/global/webConsole.css b/EarlyBlue/global/webConsole.css new file mode 100644 index 00000000..0953184f --- /dev/null +++ b/EarlyBlue/global/webConsole.css @@ -0,0 +1,163 @@ +/* ***** 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 + + * 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 #CCD0DD; +} + +.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-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; +} + +.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; +}