wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-18 19:12:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add !important rule to mobile margin overrides

Browse source 
An upstream change in specificity caused a bottom
margin of 0.5em to start applying.

Bug: T381651
Change-Id: If68464b431202b657102223b61342eaa4c50f24a
This commit is contained in:
Ed Sanders 2024-12-06 11:35:49 +00:00
parent 09c2d1c782
commit f895d9426e
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
modules/dt.init.less
View file

@ -487,7 +487,8 @@ h1, h2, h3, h4, h5, h6 {
align-items: flex-start !important; align-items: flex-start !important;
// stylelint-disable-next-line declaration-no-important // stylelint-disable-next-line declaration-no-important
border-bottom: 0 !important; border-bottom: 0 !important;
margin: 5px 0 0 0; // stylelint-disable-next-line declaration-no-important
margin: 5px 0 0 0 !important;
padding-bottom: 0; padding-bottom: 0;
// The tap-highlight is an odd shape and shows even for cancelled events on -actions, // The tap-highlight is an odd shape and shows even for cancelled events on -actions,
// just hide it. // just hide it.