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