Magic-Mirror/gecko-dev
1
0
Fork 0
mirror of https://github.com/mozilla/gecko-dev.git synced 2024-10-22 17:55:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Bug 350737: increase padding around engines in the engine manager, r=mconnor

Browse Source
This commit is contained in:
gavin@gavinsharp.com 2007-11-06 21:09:46 -08:00
parent 866f905aad
commit 398798b0e3
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
browser/themes/gnomestripe/browser/engineManager.css
View File

@ -38,5 +38,10 @@
%endif
#engineList treechildren::-moz-tree-image(engineName) {
-moz-margin-end: 3px;
-moz-margin-end: 4px;
-moz-margin-start: 1px;
}
#engineList treechildren::-moz-tree-row {
height: 20px !important;
}