diff options
author | Jack Cherng <jfcherng@gmail.com> | 2019-08-11 19:10:12 +0300 |
---|---|---|
committer | Aleksander Machniak <alec@alec.pl> | 2019-08-11 19:10:12 +0300 |
commit | f5d4c80e71e6849b8fd78777cfc44629a3309ff6 (patch) | |
tree | d1177898894667a5582a1cb9602e26cba5a17d56 /skins | |
parent | 3a40f6cd9181afe487563575187f731277c79701 (diff) |
Elastic: fix a undefined color (#6810)
It's referenced in the widgets/jqueryui.less.
Signed-off-by: Jack Cherng <jfcherng@gmail.com>
Diffstat (limited to 'skins')
-rw-r--r-- | skins/elastic/styles/colors.less | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/skins/elastic/styles/colors.less b/skins/elastic/styles/colors.less index 2e40a877e..085e9e868 100644 --- a/skins/elastic/styles/colors.less +++ b/skins/elastic/styles/colors.less @@ -198,7 +198,7 @@ // Datepicker @color-datepicker-border: @color-layout-border; @color-datepicker-font: @color-font; -@color-datepicker-highlight: !default; +@color-datepicker-highlight: @color-main; @color-datepicker-highlight-background: lighten(@color-main, 30%); @color-datepicker-active: #fff; @color-datepicker-active-background: @color-main; |