mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-12-03 20:06:59 +00:00
6d2e560c1e
Introducing stylelint with configuration rules compliant to Wikimedia CSS Coding Standards 'stylelint-config-wikimedia', nullifying some for now and making majority pass. Change-Id: I2c4acee41c9b56d9b00e2a2c5b7ab0ab5de454ce
19 lines
376 B
Plaintext
19 lines
376 B
Plaintext
body #p-personal {
|
|
overflow: visible;
|
|
}
|
|
|
|
#p-personal li.mw-echo-ui-notificationBadgeButtonPopupWidget {
|
|
font-variant: normal;
|
|
text-transform: none;
|
|
font-weight: normal;
|
|
// Badge
|
|
> .oo-ui-buttonElement-button {
|
|
border-radius: 0;
|
|
}
|
|
// Popup buttons
|
|
.oo-ui-buttonElement-button:hover {
|
|
// In modern, the hover color is white, which is unhelpful.
|
|
color: #666;
|
|
}
|
|
}
|