Reset font size for gnome, because it handles HDPI itself.