Après avoir basculé en mode plein écran, vous pouvez ajuster la taille de la police à l'aide des touches ↑ et ↓ du clavier.