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

Fix double margin/padding on the mobile lede dialog

Browse source 
Change-Id: Ib5bf882c04d0979728fbfb65b4e9767ddbb4f6d2
This commit is contained in:
Bartosz Dziewoński 2023-02-01 15:37:01 +01:00
parent 45d63c7de0
commit 4e69ae1a18
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/dt.init.less
View file

@ -900,6 +900,12 @@ h1, h2, h3, h4, h5, h6 {
}
}
// Avoid double margin/padding caused by combining .oo-ui-panelLayout-padded and .content
// stylelint-disable-next-line selector-class-pattern
.ext-discussiontools-ui-ledeSectionDialog-content.oo-ui-panelLayout-padded.content {
margin: 0 auto;
}
// HACK: Fake disabled styles for the .mw-ui-button in Vector sticky header (T307726)
.ext-discussiontools-fake-disabled {
// stylelint-disable-next-line plugin/no-unsupported-browser-features