mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo
synced 2024-11-14 19:28:31 +00:00
e85d881817
In a distant future those might be replaced by core WikimediaUI Base and this is a sane preparation for it. Change-Id: I8907c8908f3b775be36b16a6782d7e9719e30c4c
10 lines
207 B
Plaintext
10 lines
207 B
Plaintext
@import '../echo.variables.less';
|
|
|
|
.mw-echo-alert {
|
|
background-color: #fc3;
|
|
color: @color-base--emphasized;
|
|
border-radius: @border-radius-base;
|
|
padding: 0.25em 0.8em 0.2em 0.8em;
|
|
font-weight: normal;
|
|
}
|