I tried to setup colors for dark theme more readable. And changed all entries, but there are some which cannot be changed, see next picture:  So please add the missing ones. Plugin version: 1.2.0.20180807-2118, loaded from eclipse marketplace _Remark: In my own plugins I provide always a "Defaults for dark theme" button and sometimes also a dark.css file. Would be nice ..._