tweaks for making devtools look nicer

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

diff --git a/LCARStrek/browser/devtools/toolbox.css b/LCARStrek/browser/devtools/toolbox.css
index 5e71b4775f82db60877be17b5c7c727a9f18d9cb..2606642ba4f4e73252eb13a23c8f05ae3894e15b 100644 (file)
--- a/LCARStrek/browser/devtools/toolbox.css
+++ b/LCARStrek/browser/devtools/toolbox.css
@@ -6,6 +6,10 @@ window {
   padding: 0;
 }
 
+notification {
+  margin-bottom: 3px;
+}
+
 #toolbox-controls {
   margin: 0 2px;
 }
@@ -13,7 +17,7 @@ window {
 #toolbox-controls > toolbarbutton,
 #toolbox-dock-buttons > toolbarbutton {
   min-width: 16px;
-  padding: 1px 3px;
+/*  padding: 1px 3px; */
 }
 
 #toolbox-dock-bottom {
@@ -72,7 +76,7 @@ window {
 /* Command buttons */
 
 .command-button {
-  padding: 1px 4px;
+/*  padding: 1px 4px; */
   min-width: 16px;
 }