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?