mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-24 16:04:35 +00:00
b046a1062d
We don't really need it to render the no-JS version of the notification badges (the only rule we were missing was background-repeat: no-repeat;) and it significantly increased the amount of render-blocking CSS. This means we do need to call setupOOUI() ourselves in order for our get_class( OOUI\Theme::singleton() ) hack to keep working. Bug: T112401 Change-Id: I148f8ac19dfe62cc84abe03e1a2ff00683d515c1
13 lines
220 B
Plaintext
13 lines
220 B
Plaintext
// Begin Mixins
|
|
|
|
.mixin-notifications-badge() {
|
|
border-radius: 0.2em;
|
|
background-color: #d2d2d2;
|
|
font-size: 1.125em;
|
|
font-weight: bold;
|
|
color: white;
|
|
cursor: pointer;
|
|
text-decoration: none;
|
|
margin-top: -0.2em;
|
|
}
|