Change default monospace font to Source Code Pro
It's the new default platform monospace font, so we should use that instead of DejaVu. We'll probably get this for free whenever we get a 3.32 stack.
Upstream issue https://gitlab.gnome.org/GNOME/gsettings-desktop-schemas/issues/2
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information