crisp font scaling is now a run-time option