La taille de la police ne peut pas être modifiée pour le moment.

Si la taille de la police est trop petite, vous pouvez également agrandir ou réduire toute la page en appuyant sur Ctrl et en tournant simultanément la molette de la souris.