GPII-189: Setting the GNOME's default base font-size value back to 12

This will be updated later into a separate pull request.