eclipse theme: fix 'Invalid CSS property value: #red' warning