mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 01:30:15 +00:00
65c6b8cbaf
The "Mark all as read" button had margins that made it just a little bit taller than the header would otherwise be. This pushed the bottom border of the header and the top border of the first notification away from each other. We only need top and right margins on this button, so drop the bottom and left margins. Bug: T137778 Change-Id: I8d47d84c79cbdad707b8cbaa8d43187c054755b3 |
||
---|---|---|
.. | ||
api | ||
controller | ||
icons | ||
logger | ||
model | ||
nojs | ||
special | ||
styles | ||
ui | ||
echo.mixins.less | ||
echo.variables.less | ||
echo.variables.monobook.less | ||
echo.variables.vector.less | ||
ext.echo.init.js | ||
ext.echo.moment-hack.js | ||
hooks.txt | ||
mw.echo.js |