Some of the settings (specifically the Header but also the Layout) are not respected after the webspace provider forced us to upgrade PHP from 5.4 to 5.5.
Bizarrely, WordPress thinks PHP is still 5.4.45.
Anything we can do, apart from starting from scratch?
Changing the PHP version should have no effect on the theme’s appearance (at most if can cause critical errors or warnings if the code is incompatible).