Hi all,
I’m trying to figure out which fontfamilies can be used with Plots.jl using GR.jl. Is it system dependent? I am looking specifically for a “Computer Modern” like family. I couldn’t find a list or explanation what could be used and would really appreciate your help to figure that out.
Minimal working example would be:
using Plots
plot(collect(1:10),fontfamily="Times")
I compared the axis fonts in figure plotted by gr() backend and pgfplots() backend and I think that the gr() has smaller spaces between characters. Please compare in figure.