dépôts / lhc / web / wiklou.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw (from parent 1: 590f1bd)
Merge "mediawiki.ui: Use WikimediaUI color for `@colorTextLight`"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Aug 2017 10:29:05 +0000 (10:29 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Aug 2017 10:29:05 +0000 (10:29 +0000)
resources/src/mediawiki.less/mediawiki.ui/variables.less patch | blob | history

diff --git a/resources/src/mediawiki.less/mediawiki.ui/variables.less b/resources/src/mediawiki.less/mediawiki.ui/variables.less
index d4937c6..ff74b6e 100644 (file)
--- a/resources/src/mediawiki.less/mediawiki.ui/variables.less
+++ b/resources/src/mediawiki.less/mediawiki.ui/variables.less
@@ -41,7 +41,7 @@
 
 // Text colors
 @colorText: @colorGray2;
-@colorTextLight: @colorGray6;
+@colorTextLight: @colorGray5;
 @colorButtonText: @colorGray2;
 @colorButtonTextHighlight: @colorGray4;
 @colorButtonTextActive: @colorGray1;
Wiklou, le Wiki du Wiklou