taille des polices

La taille des polices pour le html de base nous semble trop importante