From 3282994b8f6f4bfe72140b73dfa96e0f25fc1bbf Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Sat, 12 May 2018 13:26:39 +0300
Subject: [PATCH] group FF-related CSS

---
 options/options.css | 22 ++++++++++------------
 1 file changed, 10 insertions(+), 12 deletions(-)

diff --git a/options/options.css b/options/options.css
index a876bbcf..13c129c4 100644
--- a/options/options.css
+++ b/options/options.css
@@ -9,10 +9,6 @@ html.opera body {
   width: auto;
 }
 
-html.firefox .block {
-  padding-left: 6px;
-}
-
 body {
   background: #fff;
   margin: 0;
@@ -22,15 +18,17 @@ body {
   max-width: 800px;
 }
 
-@media (min-width: 401px) {
-  .firefox body {
-    width: calc(100% - 6px); /* TODO: rework to avoid compensating padding of 'html.firefox .block'  */
+@supports (-moz-appearance:none) {
+  body {
+    --addons-page-left-padding: 6px;
+    /* compensate 'html.firefox .block' padding-left */
+    width: calc(100% - var(--addons-page-left-padding));
+    /* match the default FF theme */
+    background-color: #f9f9fa;
+  }
+  html.firefox .block {
+    padding-left: var(--addons-page-left-padding);
   }
-}
-
-.firefox body {
-  /* match the default FF theme */
-  background-color: #f9f9fa;
 }
 
 .firefox .chromium-only {