16 Aug
2020
16 Aug
'20
6:30 p.m.
Merijn Verstraaten <merijn@inconsistent.nl> writes:
On 16 Aug 2020, at 16:02, Ben Gamari <ben@well-typed.com> wrote:
Carter Schonwald <carter.schonwald@gmail.com> writes:
I def like the serif / times new Roman version
I'm not aware of a serif version and in general I would be hesitant to introduce one given that:
The one you send out renders using a serif font for GHC on my system (and, presumably, Carter's).
Indeed, sounds like a missing font. The typeface used is Cantarell, which is certainly a sans-serif face. You will find a version on the Wiki which has had the text projected to paths. Cheers, - Ben