update both themes for toolkit winstrip changes up to 2010-12-03

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

diff --git a/EarlyBlue/global/webConsole.css b/EarlyBlue/global/webConsole.css
index c166e7edd8d31ffbc03372c10938de479a58b3ec..8ef278f1f06ec7fecf33f5c20a4397cb1201e1f6 100644 (file)
--- a/EarlyBlue/global/webConsole.css
+++ b/EarlyBlue/global/webConsole.css
@@ -40,7 +40,7 @@
 }
 
 .hud-box.animated {
-  -moz-transition: height 350ms;
+  -moz-transition: height 100ms;
 }
 
 .hud-outer-wrapper {
@@ -117,10 +117,51 @@
   display: none;
 }
 
-.hud-group:first-child > .hud-divider {
+.webconsole-clear-console-button > .toolbarbutton-icon {
   display: none;
 }
 
+.webconsole-filter-button > .toolbarbutton-menubutton-button {
+  -moz-box-orient: horizontal;
+  list-style-image: url("chrome://global/skin/icons/webconsole.png");
+}
+
+/* Network button */
+.webconsole-filter-button[category="net"] {
+  -moz-image-region: rect(0, 40px, 10px, 30px);
+}
+
+/* CSS button */
+.webconsole-filter-button[category="css"] {
+  -moz-image-region: rect(10px, 40px, 20px, 30px);
+}
+
+/* JS button */
+.webconsole-filter-button[category="js"] {
+  -moz-image-region: rect(20px, 40px, 30px, 30px);
+}
+
+/* Web Developer button */
+.webconsole-filter-button[category="webdev"] {
+  -moz-image-region: rect(30px, 40px, 40px, 30px);
+}
+
+.webconsole-close-button {
+  border: none;
+  padding: 3px;
+  list-style-image: url("chrome://global/skin/icons/close.png");
+  -moz-image-region: rect(0, 16px, 16px, 0);
+  -moz-appearance: none;
+}
+
+.webconsole-close-button:hover {
+  -moz-image-region: rect(0, 32px, 16px, 16px);
+}
+
+.webconsole-close-button:hover:active {
+  -moz-image-region: rect(0, 48px, 16px, 32px);
+}
+
 /* JSTerm Styles */
 
 .jsterm-wrapper-node {
@@ -168,13 +209,3 @@
   padding: 1px 0px;
   -moz-box-align: center;
 }
-
-.jsterm-close-button {
-  background: none;
-  border: none;
-  list-style-image: url("chrome://global/skin/icons/close-button.gif");
-  margin: 0px;
-  min-width: 0px;
-  padding: 1px 3px 1px 7px;
-  -moz-user-focus: ignore;
-}