Themeable faces

It's not that the faces weren't configurable before but they weren't
really themeable.  This patch makes the mode more consistent in it's use
of faces for theming and customisation.