X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=EarlyBlue%2Fglobal%2FwebConsole.css;h=6d4905ff4692d6db5a24db2b5289fa54f4d42189;hp=a95e0078cf42af7dd62d53f5f2eda924f7eda833;hb=4c765db1f76dcd4482d96421c80f946fd2669e5b;hpb=154ee8b3f00d30f053c7e7d189e6522075bf0654

diff --git a/EarlyBlue/global/webConsole.css b/EarlyBlue/global/webConsole.css
index a95e0078..6d4905ff 100644
--- 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;
 }