The colors of the source editor may prove difficult for users to see. Add an option to provide custom color support for this editor.

This would be particularly useful for the highlight color.