31-12-19, 10:49
Bonjour, la question est posé dans le sujet "la version 3.0 est sortie !", il me semble plus judicieux d'ouvrir un sujet en propre à propos de cette police Roboto... Est-il possible de remplacer la police Roboto par une autre ? Sans doute.
Roboto est la nouvelle police suggérée pour l'interface de dt. L'analyse des CSS montre qu'à défaut ce sont les équivalents (light, medium, bold, ...) d'autres polices trouvées sur le sytème qui sont utilisés : Segoe UI, SF Pro Display, Ubuntu, Cantarell, sans-serif.
Ayant installé Roboto et ses variantes, j'ai constaté que d'autres applications utilisaient alors cette police. Par exemple, dans un navigateur Web pour des interfaces d'admin Wordpress, ou des instances Nextcloud (les deux en bold,
...).
Nul doute que les CSS de ces applis web utilisent aussi cette police et j'ai viré Roboto : retour à la normale.
Je crois que je ferai sans Roboto, Ubuntu m'allant aussi bien.
Sinon, j'imagine que pour personnaliser son interface, avec une autre police par exemple, il faut partir d'un CSS existant en include et surcharger les parties qu'on veut adapter à sa sauce...
Roboto est la nouvelle police suggérée pour l'interface de dt. L'analyse des CSS montre qu'à défaut ce sont les équivalents (light, medium, bold, ...) d'autres polices trouvées sur le sytème qui sont utilisés : Segoe UI, SF Pro Display, Ubuntu, Cantarell, sans-serif.
Ayant installé Roboto et ses variantes, j'ai constaté que d'autres applications utilisaient alors cette police. Par exemple, dans un navigateur Web pour des interfaces d'admin Wordpress, ou des instances Nextcloud (les deux en bold,
...). Nul doute que les CSS de ces applis web utilisent aussi cette police et j'ai viré Roboto : retour à la normale.
Je crois que je ferai sans Roboto, Ubuntu m'allant aussi bien.
Sinon, j'imagine que pour personnaliser son interface, avec une autre police par exemple, il faut partir d'un CSS existant en include et surcharger les parties qu'on veut adapter à sa sauce...
dt stable / Ubuntu 22.04
