Change default font of terminal