diff options
Diffstat (limited to 'themes/linux/engineManager.css')
-rw-r--r-- | themes/linux/engineManager.css | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/themes/linux/engineManager.css b/themes/linux/engineManager.css new file mode 100644 index 0000000..18817cd --- /dev/null +++ b/themes/linux/engineManager.css @@ -0,0 +1,16 @@ +%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; +} |