Après la mise à jour du logiciel vers la version 2025.11, la police de caractères est devenue beaucoup plus grande. La taille de la police était d’environ 9-10px. Y a-t-il un moyen de la réduire un peu ?
Vous pouvez probablement le faire avec un peu de CSS.
