.extensionChildren::-moz-tree-image(fileExtension),
.pluginTypesChildren::-moz-tree-image(fileExtension) {
margin: 0px 5px 0px 0px;
.extensionChildren::-moz-tree-image(fileExtension),
.pluginTypesChildren::-moz-tree-image(fileExtension) {
margin: 0px 5px 0px 0px;