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

Merge "Replace outdated border-radius value with WikimediaUI one"

Browse source
This commit is contained in:
jenkins-bot 2017-08-18 00:33:45 +00:00 committed by Gerrit Code Review
parent e75c072cb9 d7ebaf8c8b
commit 09bf317df9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/styles/mw.echo.ui.ConfirmationPopupWidget.less
View file

@ -7,7 +7,7 @@
&-popup {
display: inline-block;
background-color: #333;
border-radius: 0.5em;
border-radius: 2px;
padding: 0.5em 1em;
text-align: left;
color: #fff;