X-Git-Url: https://git-public.kairo.at/?p=themes.git;a=blobdiff_plain;f=LCARStrek%2Fbrowser%2Fdevtools%2Fstyleeditor.css;h=0076d50e87057d553d43b11f9151f114c7bce6d3;hp=6d0c2e1dbdcc68411db8db94726085dc1a7782a6;hb=a6757852d5e238f92623d779d7820b856518a575;hpb=9099c61da39b1346a25b1c01463829a44d72d6e1

diff --git a/LCARStrek/browser/devtools/styleeditor.css b/LCARStrek/browser/devtools/styleeditor.css
index 6d0c2e1d..0076d50e 100644
--- a/LCARStrek/browser/devtools/styleeditor.css
+++ b/LCARStrek/browser/devtools/styleeditor.css
@@ -3,6 +3,12 @@
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
 
+window:not([windowtype]) {
+  /* This does not apply to the standalone window in FF 19 and lower,
+   * only to the dev toolbox in FF 20+. */
+  padding: 0;
+}
+
 #style-editor-chrome {
   background-color: #000000;
 }
@@ -50,6 +56,10 @@
   font-style: italic;
 }
 
+.splitview-nav.empty > p {
+  padding: 0 10px;
+}
+
 .stylesheet-enabled {
   padding: 8px 0;
   margin: 0 8px;