Pour réduire la taille de la police des cotations, suivez les étapes suivantes :
1. Cliquez sur un mur ou une cotation automatique encadrée en vert pour afficher le menu de gauche des cotations.
2. Ouvrez le menu Options des cotations.
3. Choisissez la taille de la police.