/* See bug 466075 about the pseudo-selector ":org-springframework-ide-eclipse-boot-dash" */
IEclipsePreferences#org-eclipse-ui-workbench:org-springframework-ide-eclipse-boot-dash {
		preferences:
			'org.springframework.ide.eclipse.boot.dash.TextDecorColor=144,238,144'
			'org.springframework.ide.eclipse.boot.dash.AltTextDecorColor=173,216,230',
			'org.springframework.ide.eclipse.boot.dash.MutedTextDecorColor=211,211,211'
}