wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-24 07:54:13 +00:00
Code Issues Packages Projects Releases Wiki Activity

Use padding instead of margin to separate cross-wiki sections from each other

Browse source 
So that margin collapsing doesn't eat up the extra space we wanted to create.

Bug: T128069
Change-Id: Ib3b96c54c2ace52cf28047a5f9f012fcc56ccb9c
This commit is contained in:
Roan Kattouw 2016-03-03 16:19:45 -08:00
parent 81cc6d1674
commit e239d4c256
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/ooui/styles/mw.echo.ui.BundledNotificationGroupWidget.less
View file

@ -3,7 +3,7 @@
.mw-echo-ui-bundledNotificationGroupWidget {
&:not(:first-child) {
margin-top: @bundle-group-padding;
padding-top: @bundle-group-padding;
}
&-title {