Volker E 4df2b12e31 mediawiki.skin.variables: Add `border-style` and `border-width` vars ... Already covered in mediawiki.skin.defaults.less. Change-Id: If57df6cbbbab29ed9775d8d6676bd94a3b4de549		2022-09-23 17:58:42 +00:00
..
mediawiki.skin.variables.less	mediawiki.skin.variables: Add `border-style` and `border-width` vars	2022-09-23 17:58:42 +00:00