Firefox utilisant la police serif pour la famille "Helvetica" après la mise à niveau vers 18.04
Depuis la mise à niveau vers Ubuntu 18.04 (à partir de 17.10), Firefox semble avoir commencé à utiliser une police empattée lorsque le CSS a déclaré font-family: Helvetica;. Naturellement, cela semble un peu choquant. Ma première pensée a été que certaines polices ont peut-être été désinstallées lors de la mise à niveau, mais je ne peux en trouver aucune dans les journaux en un coup d'œil. Est-ce que quelqu'un sait comment résoudre ce problème?
Je ne sais pas non plus comment cela s'est passé, mais je suis prêt à parier que la configuration de la police par défaut a été modifiée à un moment donné. J'ai vérifié les paramètres Language & Appearance et remarqué que Default (DejaVu Serif) était sélectionné. Je l'ai donc remplacé par Arial (avec la même taille de police) et tout est redevenu comme avant la mise à niveau.