Modifications

Il est regrettable que les tailles de police se limitent à big et Small. La galerie proposée est la plus simple qu'il soit et les nouveaux paramètres de cette fonction ne sont pas exploités.

Décocher la case ''« Activer la barre d'outils améliorée »'' dans l'onglet fenêtre de modification de vos préférences.