#engineList {
margin: .5em 2px;
}
-/*
-#engineList treechildren::-moz-tree-image(engineShown, checked) {
- list-style-image: url("chrome://global/skin/in-content/check.svg#check");
- width: 21px;
- height: 21px;
-}
-#engineList treechildren::-moz-tree-image(engineShown, checked, selected) {
- list-style-image: url("chrome://global/skin/in-content/check.svg#check-inverted");
-}
-*/
#engineList treechildren::-moz-tree-image(engineName) {
- -moz-margin-end: 10px;
- -moz-margin-start: 1px;
+ margin-inline-end: 10px;
+ margin-inline-start: 1px;
width: 16px;
height: 16px;
}
-#engineList treechildren::-moz-tree-row {
-/* min-height: 36px; */
-}
-
#engineList treechildren::-moz-tree-drop-feedback {
background-color: #008484;
width: 10000px; /* 100% doesn't work; 10k is hopefully larger than any window
we may have, overflow isn't visible. */
height: 2px;
- -moz-margin-start: 0;
+ margin-inline-start: 0;
}
#engineShown {