Enter this command on the terminal: gsettings set org.gnome.desktop.interface monospace-font-name 'Ubuntu Mono 13' source: https://askubuntu.com/a/1511650/942473