Replace fixed value with mediawiki.ui variable

Change-Id: Ie2f2c0519f543f7131ef62c0d94c8de27481d008
This commit is contained in:
Volker E 2019-09-26 18:54:56 -07:00
parent 9055676640
commit 6cc10e47ac
1 changed files with 1 additions and 1 deletions

View File

@ -13,6 +13,6 @@
.mw-notification {
border: 1px solid @colorFieldBorder;
border-radius: 2px;
border-radius: @borderRadius;
box-shadow: 0 2px 2px 0 rgba( 0, 0, 0, 0.25 );
}