Better support for user-set fonts; smaller Windows defaults.