Comment by fph

I suppose this gets useful in applications where you can change the font, but not add syntax highlighting. Besides being a neat trick, of course.