Thank you for your reply.
The PHP upgrade might just solve the issue. So far it looks like the theme’s PHP code cannot run properly after WP upgrade.
Maybe I need to contact the WebHotel people for a PHP upgrade to my hosting environment, and see what they say?
I haven’t done any customization to the PHP code of the theme, only customization to the css file. So I don’t think this would be an issue.