From 4df2b12e31bca8a769a95b23a4aacc52c8c0e4a2 Mon Sep 17 00:00:00 2001 From: Volker E Date: Fri, 23 Sep 2022 01:31:43 -0700 Subject: [PATCH] mediawiki.skin.variables: Add `border-style` and `border-width` vars Already covered in mediawiki.skin.defaults.less. Change-Id: If57df6cbbbab29ed9775d8d6676bd94a3b4de549 --- .../mediawiki.less/mediawiki.skin.variables.less | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/resources/mediawiki.less/mediawiki.skin.variables.less b/resources/mediawiki.less/mediawiki.skin.variables.less index 85e0f077..72fc935b 100644 --- a/resources/mediawiki.less/mediawiki.skin.variables.less +++ b/resources/mediawiki.less/mediawiki.skin.variables.less @@ -46,10 +46,16 @@ // Warning: the following token is deprecated (Legacy opacity for icon states in non-Codex products. Has only been used for icons despite the name.) @opacity-base--disabled: 0.51; // = `#7d7d7d` on `background-color: #fff`, closest to `#72777d`. +// == Box Model properties == +// Border Styles +@border-style-base: solid; +// Border Widths +@border-width-base: 1px; +// Border Radius. Match WikimediaUI Base and Codex. +@border-radius-base: 2px; + +// == Typography == // Body content uses the user setting in browser / the system default sans-serif font: // Arial on Windows, Roboto on Android. // FIXME: Use WikimediaUI Base's OS specific default sans-serif fonts. @font-family-sans: sans-serif; - -// Matches WikimediaUI Base and Codex, OOUI/wikimedia -@border-radius-base: 2px;