From ce9d900cb332dc0d71d9f7457c8e4adbf822d0c1 Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Thu, 10 Aug 2017 13:26:02 -0400
Subject: [PATCH] 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
---
 print.less | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/print.less b/print.less
index d9217fef1..d770e3f85 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 */
 			}
 		}
 	}