mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-27 17:20:40 +00:00
415b7b9851
Some LESS parsers will get confused with the lack of file extension. It's better to be explicit and in alignment with recent change in core I379334d7729e587a2a00. It was already weirdly mixed in this repo with some imports featuring extension and some not. Change-Id: Ib208607c850fa2492b13cd3d449c04ebc2c21a01
24 lines
560 B
Plaintext
24 lines
560 B
Plaintext
@import '../echo.variables.less';
|
|
|
|
.mw-echo-ui-datedNotificationsWidget {
|
|
min-height: 5em;
|
|
|
|
// We want everything inside the widget to be
|
|
// pending/transparent, but not the widget itself
|
|
// because otherwise, the background pending animation
|
|
// is also transparent.
|
|
&.oo-ui-pendingElement-pending > * {
|
|
opacity: 0.5;
|
|
}
|
|
|
|
.mw-echo-ui-subGroupListWidget {
|
|
// This is a hack to make sure that this widget
|
|
// is the nearest scrollable widget for the submenus
|
|
overflow-y: auto;
|
|
|
|
&-header {
|
|
margin-bottom: @specialpage-separation-unit;
|
|
}
|
|
}
|
|
}
|