@borderColorInputBinaryChecked: @colorProgressive;
@borderColorInputBinaryActive: @colorProgressiveActive;
+// Border widths
+@border-width-base: 1px;
+
// Checked radio input border-width, equal to OOUI at 14px base font-size
@borderWidthRadioChecked: 0.4285em;