emacs: use a custom face for highlighting.