A few font-related tweaks