![](https://secure.gravatar.com/avatar/d4bd34a45c928e8356f38323ff84763e.jpg?s=120&d=mm&r=g)
7 Oct
2018
7 Oct
'18
6:29 p.m.
Am Sun, 7 Oct 2018 09:26:11 -0400 (EDT) schrieb Aditya Mahajan:
Would it make sense to update the fonts in the distribution?
I didn't quite follow the discussion and the suggested code, but from a similar discussion for latex I know that the symbols in fontawesome 4 and 5 looks different (that's why there is an explicit fontawesome5 package in latex). -- Ulrike Fischer https://www.troubleshooting-tex.de/