Fixed gnome terminal font setting.