First time here? Check out the FAQ!
answered 2014-04-10 19:00:35 +0100
Sorry for posting the question without googling enough.
The right way to set the font is
plt.rc('font', family = 'serif', serif = 'cmr10')