зеркало из https://github.com/mozilla/gecko-dev.git
Used child selector instead of descendant selector for <titledbox><text> margin. b=42331, r=hyatt
This commit is contained in:
Родитель
bd374afe3d
Коммит
a9f82a84cd
|
@ -17,6 +17,10 @@ title
|
||||||
padding : inherit;
|
padding : inherit;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
title > text {
|
||||||
|
margin : 0px 3px 0px 3px;
|
||||||
|
}
|
||||||
|
|
||||||
/** box formatting **/
|
/** box formatting **/
|
||||||
box[autostretch="never"]
|
box[autostretch="never"]
|
||||||
{
|
{
|
||||||
|
|
Загрузка…
Ссылка в новой задаче