wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-24 18:59:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Adjust mark as read icon size"

Browse source
This commit is contained in:
jenkins-bot 2016-02-19 20:09:54 +00:00 committed by Gerrit Code Review
parent 75282786fd 3b12d96449
commit 09334deed3
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
modules/ooui/styles/mw.echo.ui.NotificationItemWidget.less
View file

@ -143,6 +143,13 @@
font-size: 0.8em;
margin-top: 0;
}
.oo-ui-iconElement-icon {
// We have to override oojs-i's width/height,
// which uses a very specific selector
width: 1.7em !important;
height: 1.7em !important;
}
}
&-initiallyUnseen {