Use faces instead of a list of colors to allow highlights to be customized with deftheme.

A list of colors is difficult to customize in a custom color theme that uses deftheme. Defining four faces that can each be customized separately would be easier.