update both themes to toolkit winstripe changes up to 2010-09-24

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

diff --git a/EarlyBlue/global/webConsole.css b/EarlyBlue/global/webConsole.css
index 0953184fb44347e683624d25b5f368b5fbd9ca2e..55670e38325bc41e705e949c7727ee997b6a6336 100644 (file)
--- a/EarlyBlue/global/webConsole.css
+++ b/EarlyBlue/global/webConsole.css
@@ -39,6 +39,10 @@
   border-bottom: 1px solid #CCD0DD;
 }
 
+.hud-group label {
+  padding-left: 1em;
+}
+
 .hud-outer-wrapper {
   width: 100%; 
   height: 100%;
@@ -61,6 +65,11 @@
   -moz-user-focus: normal;
 }
 
+.hud-clickable {
+  cursor: pointer !important;
+  text-decoration: underline;
+}
+
 .hud-output-node .hud-network {
   color: blue;
 }
@@ -90,7 +99,7 @@
   margin-top: 0.3em; 
   margin-bottom: 0.3em; 
   padding-left: 0.3em;
-  border-bottom: 1px solid #eee;   
+  /* border-bottom: 1px solid #eee; */
 }
 
 .hud-output-node {
@@ -141,7 +150,6 @@
 }
 
 .jsterm-input-node {
-  width: 98%;
   font-family: monospace;
   font-size: 9pt;
   background: url("chrome://global/skin/icons/commandline.png") 4px 3px no-repeat !important;
@@ -154,10 +162,20 @@
 }
 
 .jsterm-output-line {
-  font-size: 1.2em;
+  font-size: 1em;
 }
 
 .hud-console-filter-toolbar {
   padding: 1px 0px;
   -moz-box-align: center;
 }
+
+.jsterm-close-button {
+  background: none !important;
+  border: none !important;
+  list-style-image: url("chrome://global/skin/icons/close-button.gif");
+  margin: 0px !important;
+  min-width: 0px !important;
+  padding: 1px 3px 1px 7px !important;
+  -moz-user-focus: ignore;
+}