More consistent font sizes and dpi settings, and also sync theme settings.

Oddly, gnome-terminal seems to need to be configured to use a font size of 8 to
be consistent with everything else.