different font Rated 4 out of 5 stars

Nice Theme, but i have other fonts as in the picture. Something like Times New Roman. How can i change the font?

This review is for a previous version of the add-on (0.3.1).