diff options
Diffstat (limited to 'themes/linux/engineManager.css')
-rw-r--r-- | themes/linux/engineManager.css | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/themes/linux/engineManager.css b/themes/linux/engineManager.css deleted file mode 100644 index 18817cd..0000000 --- a/themes/linux/engineManager.css +++ /dev/null @@ -1,16 +0,0 @@ -%if 0 -/* This Source Code Form is subject to the terms of the Mozilla Public - * 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/. */ -%endif - -#engineList treechildren::-moz-tree-image(engineName) { - -moz-margin-end: 4px; - -moz-margin-start: 1px; - width: 16px; - height: 16px; -} - -#engineList treechildren::-moz-tree-row { - height: 20px; -} |