mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-28 09:40:41 +00:00
327466a2d3
Bug: T108190 Change-Id: Id25213689c2ec9a6031bd120020c0b5ebde6e14f
14 lines
248 B
Plaintext
14 lines
248 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;
|
|
background-color: #d2d2d2;
|
|
margin-top: -0.2em;
|
|
}
|