Augmenter la hauteur des caractères (dimensions)

Bonjour,

Vous pouvez augmenter la hauteur des caractères dans les options. Par défaut, la taille est automatique.
Par contre vous ne pouvez pas mettre en caractère gras.