Deleted obsolete font definition (again?)