wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-09-23 10:22:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove extra 1px top border and margin from popup list

Browse source 
Bug: T140354
Change-Id: I06bfc014f485b9cd460dfda0a9c7f982de4f9bf6
This commit is contained in:
Ed Sanders 2016-07-14 13:28:08 +01:00
parent f5faa32ad7
commit 1e4ed9cafe
2 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
modules/styles/mw.echo.ui.NotificationBadgeWidget.less
View file

@ -19,7 +19,8 @@
border-bottom: 1px solid #dddddd;
> .oo-ui-iconWidget {
margin: 0.7em 0 1em 1em;
/* ( 3.5 - 1.875 ) / 2 = 0.8125 */
margin: 0.8125em 0 0.8125em 1em;
float: left;
opacity: @opacity-mid;
}

4
modules/styles/mw.echo.ui.NotificationsListWidget.less
View file

@ -5,6 +5,10 @@
padding: 0;
}
> .mw-echo-ui-notificationItemWidget:first-child {
border-top: 0;
}
> a,
&:hover > a {
text-decoration: none;