Bug 573634 - [DarkTheme] Default red color for Preference, Print Margin
Using similar color as the light theme, but lighter (81,86,88)
Change-Id: Ia9204ac960dba6ed4b2d3cba318533811f1d2803
Signed-off-by: Vincenzo Caselli <vincenzo.caselli@rcp-vision.com>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/181151
Tested-by: Platform Bot <platform-bot@eclipse.org>
Reviewed-by: Lars Vogel <Lars.Vogel@vogella.com>
diff --git a/bundles/org.eclipse.ui.themes/css/dark/e4-dark_preferencestyle.css b/bundles/org.eclipse.ui.themes/css/dark/e4-dark_preferencestyle.css
index 3d2fa04..b85b9a3 100644
--- a/bundles/org.eclipse.ui.themes/css/dark/e4-dark_preferencestyle.css
+++ b/bundles/org.eclipse.ui.themes/css/dark/e4-dark_preferencestyle.css
@@ -42,7 +42,7 @@
'matchingTagIndicationColor=72,72,72'
'occurrenceIndicationColor=27,98,145'
'overrideIndicatorColor=78,120,117'
- 'printMarginColor=255,0,0'
+ 'printMarginColor=81,86,88'
'searchResultHighlighting=false'
'searchResultIndication=true'
'searchResultIndicationColor=94,94,94'
