Thijs/wiki.techinc.nl
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge "mediawiki.ui: Add @border-base variable"

Browse source
This commit is contained in:
jenkins-bot 2020-04-21 20:48:43 +00:00 committed by Gerrit Code Review
commit dca1c95f5b
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
resources/src/mediawiki.less/mediawiki.ui/variables.less
View file

@ -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;