To each her own, too.

For me, that is a nice font -- "9x15". It's one I deliberately selected instead of whatever the default would be.

Syntax highlighting drives me nuts, so I don't use it.