update both themes for global winstripe changes up to 2010-12-30

[themes.git] / EarlyBlue / global / webConsole.css

diff --git a/EarlyBlue/global/webConsole.css b/EarlyBlue/global/webConsole.css
index 8ef278f1f06ec7fecf33f5c20a4397cb1201e1f6..440c91afe89d5211ef0278f24fbb7eb577fd0e36 100644 (file)
--- a/EarlyBlue/global/webConsole.css
+++ b/EarlyBlue/global/webConsole.css
@@ -189,18 +189,27 @@
   height: 1px; width: 1px; position: relative; top: 92%; display: block;
 }
 
   height: 1px; width: 1px; position: relative; top: 92%; display: block;
 }
 

-.jsterm-input-node {
+.jsterm-input-node,
+.jsterm-complete-node {

   font-family: monospace;
   font-size: 9pt;
   font-family: monospace;
   font-size: 9pt;

-  background: url("chrome://global/skin/icons/commandline.png") 4px 3px no-repeat;

   border: none;
   border: none;

-  padding: 0px 0px 0px 16px;
+  padding: 0 0 0 16px;
+}
+
+.jsterm-input-node {
+  background: url("chrome://global/skin/icons/commandline.png") 4px 3px no-repeat;

 }
 
 }
 

-.jsterm-input-node > .textbox-input-box > .textbox-textarea {
+:-moz-any(.jsterm-input-node,
+          .jsterm-complete-node) > .textbox-input-box > .textbox-textarea {

   overflow-x: hidden;
 }
 
   overflow-x: hidden;
 }
 

+.jsterm-complete-node > .textbox-input-box > .textbox-textarea {
+  color: #808080;
+}
+

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