+.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;
+}
+