Re: font lock faces ugly
I'd like there to be a site-wide options.el file, similar to the
site-start.el. The default faces could all be set up in that, and
optionally dumped in... Root could set up a site wide default setup
there, and users could override them. Would it take a lot of work to
do that, I wonder? (when will I learn not to suggest things like
this when I have limited time to perform the labor.)