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 "Increase padding around warning icon"

Browse source
This commit is contained in:
jenkins-bot 2020-07-17 15:51:53 +00:00 committed by Gerrit Code Review
parent bc5e9b312e b1fe481324
commit e2573f7787
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.ui.ReplyWidget.less
View file

@ -103,12 +103,13 @@
> .oo-ui-iconElement-icon {
background-position: center center;
transform: scale( 1.5 );
transform-origin: 0 center;
}
}
> .oo-ui-labelElement-label {
flex-grow: 1;
margin-left: 2.5em;
margin-left: 3em;
}
}