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

Merge "New topic hint: Cleanup CSS"

Browse source
This commit is contained in:
jenkins-bot 2022-06-29 14:23:37 +00:00 committed by Gerrit Code Review
parent c44da3739d ff97a06522
commit 45e7c01b62
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/dt.ui.NewTopicController.less
View file

@ -35,6 +35,8 @@
.ext-discussiontools-ui-newTopic-hint.oo-ui-messageWidget-block { .ext-discussiontools-ui-newTopic-hint.oo-ui-messageWidget-block {
clear: both; clear: both;
margin-top: 2em; margin-top: 2em;
margin-bottom: -1.5em;
padding-right: 48px; & + .ext-discussiontools-ui-newTopic.oo-ui-panelLayout-padded.oo-ui-panelLayout-framed {
margin-top: 0.5em;
}
} }