Bug 532981: Improve colour for deprecated members on dark theme.

Make the colour for deprecated members the same as comments (gray) on
dark theme.

Change-Id: Ib0cdb8e9164a32272769b8ca66fa51d17575e387
Signed-off-by: Roland Grunberg <rgrunber@redhat.com>
diff --git a/org.eclipse.jdt.ui/css/e4-dark_jdt_syntaxhighlighting.css b/org.eclipse.jdt.ui/css/e4-dark_jdt_syntaxhighlighting.css
index 2169c5c..3dde4ba 100644
--- a/org.eclipse.jdt.ui/css/e4-dark_jdt_syntaxhighlighting.css
+++ b/org.eclipse.jdt.ui/css/e4-dark_jdt_syntaxhighlighting.css
@@ -52,7 +52,7 @@
 		'semanticHighlighting.annotationElementReference.enabled=true'
 		'semanticHighlighting.class.color=18,144,195'
 		'semanticHighlighting.class.enabled=true'
-		'semanticHighlighting.deprecatedMember.color=171,31,54'
+		'semanticHighlighting.deprecatedMember.color=128,128,128'
 		'semanticHighlighting.deprecatedMember.enabled=true'
 		'semanticHighlighting.deprecatedMember.underline=false'
 		'semanticHighlighting.deprecatedMember.strikethrough=true'