some devtools improvements

[themes.git] / LCARStrek / browser / devtools / webconsole.css

diff --git a/LCARStrek/browser/devtools/webconsole.css b/LCARStrek/browser/devtools/webconsole.css
index 26827648129be5403d7da9771f1f26c867491403..0de177484dd17abfa3df8b78d54c3ffc896a9a16 100644 (file)
--- a/LCARStrek/browser/devtools/webconsole.css
+++ b/LCARStrek/browser/devtools/webconsole.css
@@ -199,6 +199,10 @@ a {
 
 /* WebConsole colored drops */
 
 
 /* WebConsole colored drops */
 

+.hud-console-filter-toolbar toolbarbutton > .toolbarbutton-text {
+  padding: 2px 2px 3px;
+}
+

 .webconsole-filter-button {
   -moz-user-focus: normal;
 }
 .webconsole-filter-button {
   -moz-user-focus: normal;
 }


@@ -209,11 +213,16 @@ a {
   height: 8px;
   width: 8px;
   border-radius: 50%;
   height: 8px;
   width: 8px;
   border-radius: 50%;

-  margin-left: 5px;
+  -moz-margin-start: 2px;
+  -moz-margin-end: 2px;

   border-width: 1px;
   border-style: solid;
 }
 
   border-width: 1px;
   border-style: solid;
 }
 

+.webconsole-filter-button > .toolbarbutton-menubutton-button {
+  -moz-box-orient: horizontal;
+}
+

 .webconsole-filter-button menuitem {
   -moz-image-region: auto;
 }
 .webconsole-filter-button menuitem {
   -moz-image-region: auto;
 }


@@ -569,6 +578,7 @@ a {
   .toolbarbutton-text {
     display: -moz-box;
   }
   .toolbarbutton-text {
     display: -moz-box;
   }

+  /*

   .devtools-toolbarbutton {
     margin-top: 3px;
   }
   .devtools-toolbarbutton {
     margin-top: 3px;
   }


@@ -576,6 +586,7 @@ a {
   .hud-console-filter-toolbar .devtools-toolbarbutton {
     margin-top: 5px;
   }
   .hud-console-filter-toolbar .devtools-toolbarbutton {
     margin-top: 5px;
   }

+  */

 }
 
 /* === END webconsole.inc.css === */
 }
 
 /* === END webconsole.inc.css === */