wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-27 17:20:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Adjust group bundle styles

Browse source 
Bug: T128069
Change-Id: If1e5d9811f4569e93ab9ba3064699ce6a6d907f7
This commit is contained in:
Moriel Schottlender 2016-02-26 14:27:14 -08:00 committed by Catrope
parent ba27d4b8f6
commit b62185bf81
2 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/echo.variables.less
View file

@ -9,7 +9,7 @@
@notification-text-color: #111;
@notification-body-color: #777;
@bundle-group-padding: 1em;
@bundle-group-padding: 0.7em;
@notification-popup-width: 500px;
@opacity-low: 0.5;

9
modules/ooui/styles/mw.echo.ui.BundledNotificationGroupWidget.less
View file

@ -1,12 +1,19 @@
@import '../../echo.variables';
.mw-echo-ui-bundledNotificationGroupWidget {
&:not(:first-child) {
margin-top: 0.5em;
margin-top: @bundle-group-padding;
}
&-title {
font-weight: bold;
color: #666666;
margin-bottom: @bundle-group-padding;
}
.mw-echo-ui-notificationsWidget {
margin-bottom: @bundle-group-padding / 2;
}
.mw-echo-ui-notificationItemWidget {