Taille des caractères

[nicoauffray]

L'emphase, c'est quoi ? La mise en caractères gras ?

Comme la police a changé et que quasiment toutes les tailles sont déclarées de façon proportionnelle, il faut réinitialiser le screen_dpi_overwrite à -1 dans darktablerc. Après ça, normalement ma version de dt devrait utiliser la taille de police et les DPI systèmes.

Je n'ai peut-être pas utilisé le bon terme. J'ai bien screen_dpi_overwrite à -1.
Je croyais que ça venait du fait de passer la balise font de pt à em mais avec ta remarque c'est plutôt la taille des caractères gras en effet qui ne va pas sur mon gras. Si je réduis toutes les balises font-weight de 100 ou 200, c'est nettement mieux mais pas encore ça.
Pour précsion, j'utilises Gnome 3.30.2 sur Ubuntu 18.10. J'ai un écran full HD 27 pouces en 1920x1080 donc (non Hidpi) et la taille de mes panneaux dans darktable est fixée à 320.

Avant (avec les balises font-weight par défaut) :



Après (avec les balises font-weight diminuées de 200) :



international drivers license houston



Avec les options de polices dans Gnome qui sont celles-ci (sachant que par défaut elles sont de mémoire 1 taille au dessus donc visuellement le Avant serait pire) :



Je ferais d'autres tests sur le CSS dans les prochains jours (peu ce week-end vu le temps magnifique prévu).

J'ai aussi repéré un bug lors d'un changement de thème. La taille du texte (si modifiée par le nouveau thème) dans les modules de chambre noire, comme les noms au dessus des curseurs, ne se modifie qu'au redémarrage de darktable seulement et non au changement de thème.