CentOS - Sep 2014 - Monospace font in GNOME Classic and in Cinnamon -- CentOS 7

Hi there,

I liked the terminal font in GNOME Classic but I want to switch to Cinnamon.

fc-match said in GNOME that the Monospace font is Dejavu Sans Mono
Book. I set that in Cinnamon but that appears quite different.

How can I use the same terminal font in Cinnamon? How can I figure
this out digging through font configuration files?

- Gergely