From: Volker E <volker.e@wikimedia.org>
Date: Mon, 4 Jun 2018 23:12:01 +0000 (+0200)
Subject: DateTimeInputWidget: Fix disabled `border-color`
X-Git-Tag: 1.34.0-rc.0~5185^2
X-Git-Url: http://git.cyclocoop.org/%24image?a=commitdiff_plain;h=4c71c37633304f9d83736c6d9cd2129a6cfa352a;p=lhc%2Fweb%2Fwiklou.git

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 ff0630f6bb..601d91652e 100644
--- 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;