Revert fd943f0..040c0fe

This rolls back to commit fd943f062d0998cd438c79e214d6d9270d51f236.
Improved font use

The main font is now loaded through Google Fonts, to create a
consistent experience. It’s easier to change the font too, though the
`Font` object and `Settings.font`.