mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-25 00:05:29 +00:00
988eea9da4
grunt-stylelint 0.6.0 → 0.7.0 stylelint-config-wikimedia 0.3.0 → 0.4.1 Change-Id: Id87b8df04d415e1f1058a4042a31408236402037
9 lines
262 B
Plaintext
9 lines
262 B
Plaintext
.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.75 em;
|
|
}
|