The long search for a terminal font is over