diff --git a/resources/src/mediawiki.less/mediawiki.ui/variables.less b/resources/src/mediawiki.less/mediawiki.ui/variables.less index d61a22814f7..c9bc1524b7b 100644 --- a/resources/src/mediawiki.less/mediawiki.ui/variables.less +++ b/resources/src/mediawiki.less/mediawiki.ui/variables.less @@ -91,6 +91,9 @@ @colorShadow: @colorGray14; @colorPlaceholder: @colorGray10; +// Border +@border-base: @border-width-base @border-style-base @border-color-base; + // Border colors @border-color-base: #a2a9b1; @borderColorInputBinaryChecked: @colorProgressive;