Pour augmenter la taille du texte, il faut aller dans les options, puis dans la partie Graphisme, et modifier l'apparence du texte des codes temporaires.