jenkins-bot has submitted this change and it was merged.

Change subject: Avoid margin collapsing
......................................................................


Avoid margin collapsing

Also remove inert css rule around border top color.

Bug: T147956
Change-Id: Ie316248b393b7f225e9fc9de1ace86c6b21218fc
---
M resources/skins.minerva.base.styles/ui.less
1 file changed, 2 insertions(+), 1 deletion(-)

Approvals:
  Jhobs: Looks good to me, but someone else must approve
  Bmansurov: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/resources/skins.minerva.base.styles/ui.less 
b/resources/skins.minerva.base.styles/ui.less
index d93e7cb..3a1cbc5 100644
--- a/resources/skins.minerva.base.styles/ui.less
+++ b/resources/skins.minerva.base.styles/ui.less
@@ -10,7 +10,8 @@
 }
 
 #content {
-       border-top-color: @chromeContentSeparator;
+       // avoid margin collapsing (see T147956)
+       border-top: solid 1px transparent;
 }
 
 .header-container {

-- 
To view, visit https://gerrit.wikimedia.org/r/315565
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ie316248b393b7f225e9fc9de1ace86c6b21218fc
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: Bmansurov <bmansu...@wikimedia.org>
Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: Jhobs <jhob...@wikimedia.org>
Gerrit-Reviewer: Nirzar <npangar...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to