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

Fix margins in footer

Browse source 
Vector 2022 increased paragraph bottom margin to 1em.
Reset this to 0.5em.

Also don't append an empty links list.

Change-Id: I18b17824cc1093dbf61b354309144be8d9d74643
This commit is contained in:
Ed Sanders 2024-09-26 17:15:46 +01:00
parent a1bc55aa56
commit 293cd13018
2 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
modules/dt.ui.ReplyWidget.js
View file

@ -204,9 +204,11 @@ function ReplyWidget( commentController, commentDetails, config ) {
this.$footer.append(
$( '<p>' ).addClass( 'plainlinks' ).html(
this.isNewTopic ? licenseMessages.newtopic : licenseMessages.reply
),
$footerLinks
)
);
if ( $footerLinks.children().length ) {
this.$footer.append( $footerLinks );
}
this.$actionsWrapper.append( this.$footer, this.$actions );
this.viewportScrollContainer = OO.ui.Element.static.getClosestScrollableContainer( document.body );

4
modules/dt.ui.ReplyWidget.less
View file

@ -223,6 +223,10 @@
font-size: 0.75em;
color: @color-subtle;
> p {
margin-bottom: 0.5em;
}
> * {
&:first-child {
margin-top: 0;