зеркало из https://github.com/mozilla/pjs.git
Bug 350737: increase padding around engines in the engine manager, r=mconnor
This commit is contained in:
Родитель
59f82ed88e
Коммит
b0aff77513
|
@ -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;
|
||||
}
|
||||
|
|
Загрузка…
Ссылка в новой задаче