Using the old fonts for special characters

This now works in most places but there are still some other issues to
resolve...