terminal font fix