adding fav terminal font