f5d55bcf54
Replacing deprecated `@colorFieldBorder` with WikimediaUI Base equivalent `@border-base` shorthand. Also replace `@borderRadius` with new base and static `background-color` values. Depends-On: I2e2277957b79b81909b80a6c0b7b2220be6ba903 Change-Id: I90bb0eb0c2206483f71f0553dfb590d9df2c5781
19 lines
337 B
Plaintext
19 lines
337 B
Plaintext
@import 'mediawiki.ui/variables.less';
|
|
@import '../variables.less';
|
|
|
|
/* mediawiki.notification */
|
|
|
|
.mw-notification-area {
|
|
font-size: @font-size-notification;
|
|
}
|
|
|
|
.mw-notification-area-layout {
|
|
top: 7em;
|
|
}
|
|
|
|
.mw-notification {
|
|
border: @border-base;
|
|
border-radius: @border-radius-base;
|
|
box-shadow: 0 2px 2px 0 rgba( 0, 0, 0, 0.25 );
|
|
}
|