From 4c71c37633304f9d83736c6d9cd2129a6cfa352a Mon Sep 17 00:00:00 2001 From: Volker E Date: Tue, 5 Jun 2018 01:12:01 +0200 Subject: [PATCH] DateTimeInputWidget: Fix disabled `border-color` Fixing disabled `border-color`, which was set to a too dark tone. Change-Id: I767b79d51abab05958cf796878c7e10fdaf8ce82 --- .../mediawiki.widgets.datetime.definitions.less | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; -- 2.20.1