make new dev toolbox in FF 20+ look good as well

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

diff --git a/LCARStrek/browser/devtools/styleeditor.css b/LCARStrek/browser/devtools/styleeditor.css
index 6d0c2e1dbdcc68411db8db94726085dc1a7782a6..b3cc37a408af48c4deb08526141c53766501d098 100644 (file)
--- 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;
 }