Minor CSS change to the wysiwyg editor (text color of the <>source window)