changer la taille de la police

Bonjour

j’ai mon propre serveur de tuiles, j’ai utilisé geofabrik.de pour les données.
j’ai fait la France pour commencer.

on utilise ces cartes sur un site Internet et sur une application.
Le soucis c’est que les noms des villes, suivant le niveau de zoom, ne sont pas très lisibles.

Y a t il un moyen de grossir ces polices?
j’ai bien vu le fichier style.xml
est ce ces sections ?

100000000
50000000
([admin_level] = ‘2’) and ([way_pixels] > 1000) and ([way_pixels] < 360000)




Merci
Thierry

admin_level=2 indique plutôt le nom des pays que des villes ou villages…

Pas évident de manipuler une feuille de style directement en XML, en général on la génère automatiquement à partir d’une version plus facile à gérer, par exemple en cartocss.

Bonjour

Donc c’est en modifiant style.xml que l’on peut personnaliser notre carte.
et pour modifier style.xml, on utilse un logiciel tiers comme TileMill

C’est ça?