fix terminal font