[MediaWiki-commits] [Gerrit] mediawiki...Vector[master]: Replace `@colorGray9` with static color value `#999`

2017-08-10 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/371082 )

Change subject: Replace `@colorGray9` with static color value `#999`
..


Replace `@colorGray9` with static color value `#999`

Replacing `@colorGray9` variable with static color value `#999`
as it's among those color values which are not part of the new
WikimediaUI color palette any more. Will be deprecated in
Iaef72470c596656

Bug: T172850
Change-Id: I94c40badb4a8e4703b5e3400d78641edd98f0300
---
M print.less
1 file changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Bartosz Dziewoński: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/print.less b/print.less
index d9217fe..d770e3f 100644
--- a/print.less
+++ b/print.less
@@ -215,7 +215,7 @@
padding: 0;
 
li {
-   color: @colorGray9;
+   color: #999;
list-style: none;
display: block;
padding-bottom: 10px;
@@ -223,7 +223,7 @@
 
a {
// override default black print style.
-   color: @colorGray9 !important; /* 
stylelint-disable-line declaration-no-important */
+   color: #999 !important; /* 
stylelint-disable-line declaration-no-important */
}
}
}

-- 
To view, visit https://gerrit.wikimedia.org/r/371082
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I94c40badb4a8e4703b5e3400d78641edd98f0300
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/skins/Vector
Gerrit-Branch: master
Gerrit-Owner: VolkerE 
Gerrit-Reviewer: Bartosz Dziewoński 
Gerrit-Reviewer: Jdlrobson 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits


[MediaWiki-commits] [Gerrit] mediawiki...Vector[master]: Replace `@colorGray9` with static color value `#999`

2017-08-10 Thread VolkerE (Code Review)
VolkerE has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/371082 )

Change subject: Replace `@colorGray9` with static color value `#999`
..

Replace `@colorGray9` with static color value `#999`

Replacing `@colorGray9` variable with static color value `#999`
as it's among those color values which are not part of the new
WikimediaUI color palette any more. Will be deprecated in
Iaef72470c596656

Bug: T172850
Change-Id: I94c40badb4a8e4703b5e3400d78641edd98f0300
---
M print.less
1 file changed, 2 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/skins/Vector 
refs/changes/82/371082/1

diff --git a/print.less b/print.less
index d9217fe..d770e3f 100644
--- a/print.less
+++ b/print.less
@@ -215,7 +215,7 @@
padding: 0;
 
li {
-   color: @colorGray9;
+   color: #999;
list-style: none;
display: block;
padding-bottom: 10px;
@@ -223,7 +223,7 @@
 
a {
// override default black print style.
-   color: @colorGray9 !important; /* 
stylelint-disable-line declaration-no-important */
+   color: #999 !important; /* 
stylelint-disable-line declaration-no-important */
}
}
}

-- 
To view, visit https://gerrit.wikimedia.org/r/371082
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I94c40badb4a8e4703b5e3400d78641edd98f0300
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/skins/Vector
Gerrit-Branch: master
Gerrit-Owner: VolkerE 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits