Utiliser la même police que le site pour le rendu HTML

[Luthaf]

Parce que là c'est vraiment moche ^^ (Linux CentOS 7, jdk 1.8.0_72, compilé depuis les sources).

Sinon, l'éditeur est vraiment cool et pratique à utiliser, merci 👍 !

[firm1]

Tu aurais un petit screenshot ? Parce que pour l'instant j'utilise bien la
police Merriweather pour le rendu. Peut-etre que la police ne se charge pas
chez toi.

Le mar. 23 févr. 2016 10:47, Luthaf notifications@github.com a écrit :

Parce que là c'est vraiment moche ^^ (Linux CentOS 7, jdk 1.8.0_72,
compilé depuis les sources).

Sinon, l'éditeur est vraiment cool et pratique à utiliser, merci [image:
👍] !

—
Reply to this email directly or view it on GitHub
#27.

[Luthaf]

Voici!

[firm1]

Pour le coup, je confirme que la police du rendu chargée chez toi est bien la police Merriweather. Cependant, la police a subit une mise à jour dans GoogleFont il y a quelque mois (elle est devenue un peu plus grasse) d’où la différence avec celle du site.

Du coup, moi je trouve la nouvelle mise à jour de la police moins jolie, mais tu as raison, il faut que ce soit identique à ce qu'on a sur le site.

[Luthaf]

Oui, je n'avais pas accès au site quand j'ai mis mon screenshot, mais c'est la même. Je crois que c'est le contraste avec la police monospace qui m'a perturbé. Il n'y aurait pas une police monospace plus proche de Merriweather pour la zone éditeur?

[firm1]

Je vais essayer d'en trouver une plus sympa. Si jamais tu en a une sous la
main, je suis preneur.

Le mar. 23 févr. 2016 18:58, Luthaf notifications@github.com a écrit :

Oui, je n'avais pas accès au site quand j'ai mis mon screenshot, mais
c'est la même. Je crois que c'est le contraste avec la police monospace qui
m'a perturbé. Il n'y aurait pas une police monospace plus proche de
Merriweather pour la zone éditeur?

—
Reply to this email directly or view it on GitHub
#27 (comment).