* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/. */
+#defaultEngine {
+}
+
#defaultEngine > .menulist-label-box > .menulist-icon {
height: 16px;
}
}
#engineList {
- margin: .5em 6px;
-}
-/*
-#engineList treechildren::-moz-tree-image(engineShown, checked) {
- list-style-image: url("chrome://global/skin/in-content/check.svg#check");
- width: 21px;
- height: 21px;
+ margin: .5em 2px;
}
-#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;
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