improve devtools styles, support some new trunk changes

[themes.git] / LCARStrek / browser / devtools / dark-theme.css

diff --git a/LCARStrek/browser/devtools/dark-theme.css b/LCARStrek/browser/devtools/dark-theme.css
index 59585b3cd8c3862f49f297dcec21f32e7675cd7d..2c26d8ecac9425cde5cd9c10d843d82a159b39c7 100644 (file)
--- a/LCARStrek/browser/devtools/dark-theme.css
+++ b/LCARStrek/browser/devtools/dark-theme.css
@@ -710,7 +710,8 @@ devtools-menulist:-moz-focusring,
 }
 
 #toolbox-tabs {
-  margin: 0;
+  margin: 0 2px;
+  -moz-padding-start: 3px;
   background-color: #000000;
   color: #FFCF00;
 }
@@ -772,6 +773,11 @@ devtools-menulist:-moz-focusring,
   -moz-margin-start: 0;
 }
 
+#toolbox-option-container {
+  background-color: #000000;
+  -moz-padding-start: 3px;
+}
+
 #toolbox-tab-options {
   min-width: 20px;
 }