10.14 Mojave Contact : est-il possible de changer la taille de la police ?