DateTimeInputWidget: Fix disabled `border-color`

Fixing disabled `border-color`, which was set to a too dark tone.

Change-Id: I767b79d51abab05958cf796878c7e10fdaf8ce82

diff --git a/resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less b/resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less
index ff0630f..601d916 100644 (file)
--- a/resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less
+++ b/resources/src/mediawiki.widgets.datetime/mediawiki.widgets.datetime.definitions.less
@@ -63,7 +63,7 @@
 @padding-start-input-text-icon-label: 32 / @oo-ui-font-size-browser / @oo-ui-font-size-base;
 
 @border-base: 1px solid #a2a9b1;
-@border-color-base--disabled: @color-base--disabled;
+@border-color-base--disabled: #c8ccd1;
 @border-color-base--active: #72777d;
 @border-color-input--hover: @border-color-base--active;
 @border-color-erroneous: @color-erroneous;