X-Git-Url: https://git.heureux-cyclage.org/?p=lhc%2Fweb%2Fwiklou.git;a=blobdiff_plain;f=resources%2Fsrc%2Fmediawiki.less%2Fmediawiki.ui%2Fvariables.less;h=0c897dc91e69a4b535ffad64c7833854af39e7b3;hp=d4937c67ce1b12e4d41ac9acac18583a0634cbed;hb=3df3b575c6617df64ec98533cc7141bd2314e274;hpb=cf3deb6637cf4aab2678949e5ccec8084eec9907

diff --git a/resources/src/mediawiki.less/mediawiki.ui/variables.less b/resources/src/mediawiki.less/mediawiki.ui/variables.less
index d4937c67ce..0c897dc91e 100644
--- a/resources/src/mediawiki.less/mediawiki.ui/variables.less
+++ b/resources/src/mediawiki.less/mediawiki.ui/variables.less
@@ -1,24 +1,19 @@
 // Colors for use in mediawiki.ui and elsewhere
 
-// Although this defines many shades, be parsimonious in your own use of grays. Prefer
-// colors already in use in MediaWiki. Prefer semantic color names such as "@colorText".
+// Although this defines many shades, be parsimonious in your own use of grays.
+// Prefer semantic color names such as `@colorText` below.
 @colorGray1: #000; // darkest
 @colorGray2: #222;
-@colorGray3: #333;
 @colorGray4: #444;
 @colorGray5: #54595d;
-@colorGray6: #666;
 @colorGray7: #72777d;
-@colorGray8: #888;
-@colorGray9: #999;
 @colorGray10: #a2a9b1;
-@colorGray11: #bbb;
 @colorGray12: #c8ccd1;
-@colorGray13: #ddd;
 @colorGray14: #eaecf0;
 @colorGray15: #f8f9fa; // lightest
+@colorBaseInverted: #fff;
 
-// Semantic background colors
+// Semantic colors
 // Blue; for contextual use of a continuing action
 @colorProgressive: #36c;
 @colorProgressiveHighlight: #447ff5;
@@ -41,27 +36,50 @@
 
 // Text colors
 @colorText: @colorGray2;
-@colorTextLight: @colorGray6;
+@colorTextLight: @colorGray5;
 @colorButtonText: @colorGray2;
 @colorButtonTextHighlight: @colorGray4;
 @colorButtonTextActive: @colorGray1;
 @colorDisabledText: @colorGray12;
-@colorErrorText: #c00;
+@colorErrorText: #d33;
 @colorWarningText: #705000;
 
 // UI colors
+@backgroundColorInputBinaryChecked: @colorProgressive;
+@backgroundColorInputBinaryActive: @colorProgressiveActive;
 @colorFieldBorder: #a2a9b1;
 @colorShadow: @colorGray14;
 @colorPlaceholder: @colorGray10;
 @colorNeutral: @colorGray7;
 
+// Border colors
+@borderColorInputBinaryChecked: @colorProgressive;
+@borderColorInputBinaryActive: @colorProgressiveActive;
+
+// Checked radio input border-width, equal to OOUI at 14px base font-size
+@borderWidthRadioChecked: 0.4285em;
+
 // Global border radius to be used to buttons and inputs
 @borderRadius: 2px;
 
+// Box shadows
+@boxShadowWidget: inset 0 0 0 1px transparent;
+@boxShadowWidgetFocus: inset 0 0 0 1px @colorProgressive;
+@boxShadowProgressiveFocus: inset 0 0 0 1px @colorProgressive, inset 0 0 0 2px @colorBaseInverted;
+@boxShadowInputBinaryActive: inset 0 0 0 1px @colorProgressiveActive;
+
 // Icon related variables
 @iconSize: 1.5em;
 @iconGutterWidth: 1em;
 
-// Form input sizes
-@checkboxSize: 2em;
-@radioSize: 2em;
+// Form input sizes, equal to OOUI at 14px base font-size
+@sizeInputBinary: 1.5625em;
+
+// Deprecated color variables from when WikimediaUI color palette wasn't around
+// See https://wikimedia.github.io/WikimediaUI-Style-Guide/visual-style_colors.html
+@colorGray3: #333;
+@colorGray6: #666;
+@colorGray8: #888;
+@colorGray9: #999;
+@colorGray11: #bbb;
+@colorGray13: #ddd;