summaryrefslogtreecommitdiff
path: root/src/chrome/global/preferences.css
diff options
context:
space:
mode:
authorLootyhoof <lootyhoofer@gmail.com>2018-08-20 21:49:42 +0100
committerLootyhoof <lootyhoofer@gmail.com>2018-08-20 21:49:42 +0100
commitbfda8afdb30a95cd4089896f2153b44cf7037177 (patch)
tree1a2166f1d676fe7804be654d6be1b193a18ade6d /src/chrome/global/preferences.css
parent4f099b6e298be23fb0b3644d999634fe9bd86084 (diff)
Use non-prefixed -inline stylings
Diffstat (limited to 'src/chrome/global/preferences.css')
-rw-r--r--src/chrome/global/preferences.css14
1 files changed, 7 insertions, 7 deletions
diff --git a/src/chrome/global/preferences.css b/src/chrome/global/preferences.css
index 8ec8ac3..1e6ddad 100644
--- a/src/chrome/global/preferences.css
+++ b/src/chrome/global/preferences.css
@@ -17,15 +17,15 @@ prefwindow {
17prefpane { 17prefpane {
18 padding-top: 8px; 18 padding-top: 8px;
19 padding-bottom: 10px; 19 padding-bottom: 10px;
20 -moz-padding-start: 8px; 20 padding-inline-start: 8px;
21 -moz-padding-end: 10px; 21 padding-inline-end: 10px;
22} 22}
23 23
24prefwindow[type="child"] { 24prefwindow[type="child"] {
25 padding-top: 8px; 25 padding-top: 8px;
26 padding-bottom: 10px; 26 padding-bottom: 10px;
27 -moz-padding-start: 8px; 27 padding-inline-start: 8px;
28 -moz-padding-end: 10px; 28 padding-inline-end: 10px;
29} 29}
30 30
31prefwindow[type="child"] > prefpane { 31prefwindow[type="child"] > prefpane {
@@ -34,8 +34,8 @@ prefwindow[type="child"] > prefpane {
34 34
35.prefWindow-dlgbuttons { 35.prefWindow-dlgbuttons {
36 padding-bottom: 10px; 36 padding-bottom: 10px;
37 -moz-padding-start: 8px; 37 padding-inline-start: 8px;
38 -moz-padding-end: 10px; 38 padding-inline-end: 10px;
39} 39}
40 40
41prefwindow[type="child"] .prefWindow-dlgbuttons { 41prefwindow[type="child"] .prefWindow-dlgbuttons {
@@ -52,7 +52,7 @@ radio[pane] {
52.paneSelector { 52.paneSelector {
53 border-bottom: 1px solid rgb(75,75,75); 53 border-bottom: 1px solid rgb(75,75,75);
54 margin: 0px; 54 margin: 0px;
55 -moz-padding-start: 10px; 55 padding-inline-start: 10px;
56 background-color: rgb(43,43,43); 56 background-color: rgb(43,43,43);
57 color: #fff; 57 color: #fff;
58} 58}