mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 07:54:13 +00:00
820d2b0fa7
Add a sidebar with cross-wiki sources and pages of unread notifications. The filter allows the user to fetch notifications from a foreign source and specific pages if those exist. Bug: T129366 Change-Id: I57d827a47f80274d75364c2099a9624049a26834
9 lines
145 B
Plaintext
9 lines
145 B
Plaintext
@import '../echo.variables';
|
|
.mw-echo-ui-pageFilterWidget {
|
|
margin-top: 2 * @specialpage-separation-unit;
|
|
|
|
&-title {
|
|
font-weight: bold;
|
|
}
|
|
}
|