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

Fix font size for notifications dotdotdot menu in Monobook

Browse source 
Change-Id: Ie75ad192204a652885a82b0021340410b69864f4
This commit is contained in:
Roan Kattouw 2016-08-29 15:22:44 -07:00
parent 68a344d59a
commit 191a3309eb
2 changed files with 11 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Resources.php
View file

@ -105,6 +105,9 @@ $wgResourceModules += array(
'minerva' => array(
'styles/mw.echo.ui.overlay.minerva.less',
),
'monobook' => array(
'styles/mw.echo.ui.overlay.monobook.less',
)
),
'dependencies' => array(
'ext.echo.logger',

8
modules/styles/mw.echo.ui.overlay.monobook.less Normal file
View file

@ -0,0 +1,8 @@
.mw-echo-ui-overlay {
// We need the overlay to be adjusted for:
// #globalWrapper 127%
// .pBody 95%
// .portlet ul 95%
// .mw-echo-ui-notificationBadgeButtonPopupWidget > .oo-ui-popupWidget 0.875/0.75em
font-size: 1.27*0.95*0.95*0.875/0.75em;
}