update to suite default status of 2009-01-30: bug 474807 - replace 4-piece margin...
[themes.git] / LCARStrek / mozapps / pref / pref.css
index f61f191c9bf36e65b83950e96f80bc8f4edb0f30..d5a1575400e596a0c2f4a3ab7fa3d88c09cb1dac 100644 (file)
 
 .listBox {
   -moz-border-radius: 3px;
 
 .listBox {
   -moz-border-radius: 3px;
-  margin: 2px 2px;
+  margin: 2px;
   border: 1px solid #9C9CFF;
   background-color: #000000;
 }
 
 .indent {
   border: 1px solid #9C9CFF;
   background-color: #000000;
 }
 
 .indent {
-  margin-left: 23px;
-  margin-right: 23px;
+  -moz-margin-start: 23px;
+  -moz-margin-end: 23px;
 }
 
 .small-indent {
 }
 
 .small-indent {
-  margin-left: 15px; 
+  -moz-margin-start: 15px;
 }
 
 .uniWidthButton {
 }
 
 .uniWidthButton {
 }
 
 #fileExtension {
 }
 
 #fileExtension {
-  width: 5em; 
+  width: 5em;
 }
 
 #fileExtension.pluginsList {
 }
 
 #fileExtension.pluginsList {
-  width: 5.5em; 
+  width: 5.5em;
 }
 
 }
 
-#typeIcon, 
+#typeIcon,
 .extensionChildren::-moz-tree-image(fileExtension),
 .pluginTypesChildren::-moz-tree-image(fileExtension) {
 .extensionChildren::-moz-tree-image(fileExtension),
 .pluginTypesChildren::-moz-tree-image(fileExtension) {
-  margin: 0px 5px 0px 0px;
+  margin: 0;
+  -moz-margin-end: 5px;
 }
 
 .pluginTypesChildren::-moz-tree-image(pluginEnabled) {
 }
 
 .pluginTypesChildren::-moz-tree-image(pluginEnabled) {
-  margin: 0px 5px 0px 0px;
-  list-style-image: url(chrome://mozapps/skin/pref/dot.gif);  
+  margin: 0;
+  -moz-margin-end: 5px;
+  list-style-image: url("chrome://mozapps/skin/pref/dot.gif");
 }
 
 .pluginTypesChildren::-moz-tree-image(pluginEnabled, enabled) {
 }
 
 .pluginTypesChildren::-moz-tree-image(pluginEnabled, enabled) {
-  margin: 0px 5px 0px 0px;
-  list-style-image: url(chrome://mozapps/skin/pref/check.gif);  
+  margin: 0;
+  -moz-margin-end: 5px;
+  list-style-image: url("chrome://mozapps/skin/pref/check.gif");
 }
 
 .biggerIndent {
 }
 
 .biggerIndent {
-  margin-left: 28px; 
+  -moz-margin-start: 28px;
 }
 
 #typeField {
 }
 
 #typeField {
-  font-weight: bold; 
+  font-weight: bold;
 }
 
 #defaultAppName {
 }
 
 #defaultAppName {
-  margin-left: 6px !important; 
+  -moz-margin-start: 6px !important;
 }
 }
-