From a51f69ca8d8ef0b705a6231691970d4f25ea1397 Mon Sep 17 00:00:00 2001
From: Volker E <volker.e@wikimedia.org>
Date: Fri, 18 Aug 2017 15:42:33 -0700
Subject: [PATCH] Replace colors on Special:Preferences view with WikimediaUI
 ones

Replacing outdated colors on Vector's Special:Preferences.

Bug: T173607
Change-Id: I4d23fb4bfcd3789e3f18fa7ed8247921a3557727
---
 skinStyles/mediawiki.special.preferences.styles.less | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/skinStyles/mediawiki.special.preferences.styles.less b/skinStyles/mediawiki.special.preferences.styles.less
index 78b5cd0e0..094d28378 100644
--- a/skinStyles/mediawiki.special.preferences.styles.less
+++ b/skinStyles/mediawiki.special.preferences.styles.less
@@ -41,7 +41,7 @@
 				.background-image('../images/preferences/fade.png');
 				background-position: bottom;
 				background-repeat: repeat-x;
-				color: #333;
+				color: @colorText;
 			}
 		}
 	}
@@ -69,12 +69,12 @@
 	margin: 0;
 	margin-top: -2px;
 	clear: both;
-	border: solid 1px #ccc;
-	background-color: #fafafa;
+	border: 1px solid @colorGray12;
+	background-color: @colorGray15;
 
 	fieldset {
 		border: 0;
-		border-top: solid 1px #ccc;
+		border-top: 1px solid @colorGray12;
 	}
 
 	> fieldset {
@@ -88,7 +88,7 @@
 	}
 
 	legend {
-		color: #666;
+		color: @colorGray5;
 	}
 
 	td {
@@ -108,5 +108,5 @@
 .htmlform-tip {
 	font-size: x-small;
 	padding: 0.2em 2em;
-	color: #666;
+	color: @colorGray5;
 }