Merge branch 'master' of linz:/srv/git/themes

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

diff --git a/EarlyBlue/global/webConsole.css b/EarlyBlue/global/webConsole.css
index a95e0078cf42af7dd62d53f5f2eda924f7eda833..6d4905ff4692d6db5a24db2b5289fa54f4d42189 100644 (file)
--- a/EarlyBlue/global/webConsole.css
+++ b/EarlyBlue/global/webConsole.css
@@ -134,7 +134,7 @@
 .hud-output-node,
 .jsterm-input-node,
 .jsterm-complete-node {
-  font: 12px Consolas, Lucida Console, monospace;
+  font: 12px monospace;
 }
 
 .hud-output-node {
@@ -158,6 +158,17 @@
   list-style-image: url("chrome://global/skin/icons/webconsole.png");
 }
 
+.webconsole-filter-button > .toolbarbutton-menubutton-button,
+.webconsole-filter-button > .toolbarbutton-menubutton-button:hover:active {
+  -moz-padding-start: 6px;
+  -moz-padding-end: 3px;
+}
+
+.webconsole-filter-button {
+  -moz-margin-start: 3px;
+  -moz-margin-end: 3px;
+}
+
 /* Network styles */
 .webconsole-filter-button[category="net"] {
   -moz-image-region: rect(0, 8px, 8px, 0);
@@ -308,7 +319,7 @@
 }
 
 .hud-console-filter-toolbar {
-  padding: 1px 0px;
+  padding: 1px 2px;
   -moz-box-align: center;
 }