Bug 350737: increase padding around engines in the engine manager, r=mconnor

2006-08-30 22:58:57 +00:00 · 2006-08-30 22:58:57 +00:00 · 7b4f8760db
--- a/browser/themes/pinstripe/browser/engineManager.css
+++ b/browser/themes/pinstripe/browser/engineManager.css
@ -38,5 +38,10 @@
 %endif

 #engineList treechildren::-moz-tree-image(engineName) {
-  -moz-margin-end: 3px;
+  -moz-margin-end: 4px;
+  -moz-margin-start: 1px;
+}
+
+#engineList treechildren::-moz-tree-row {
+  height: 20px !important;
 }
--- a/browser/themes/winstripe/browser/engineManager.css
+++ b/browser/themes/winstripe/browser/engineManager.css
@ -38,5 +38,10 @@
 %endif

 #engineList treechildren::-moz-tree-image(engineName) {
-  -moz-margin-end: 3px;
+  -moz-margin-end: 4px;
+  -moz-margin-start: 1px;
+}
+
+#engineList treechildren::-moz-tree-row {
+  height: 20px !important;
 }