Improve handling of differences between the defaulttheme and oiltheme in test_public_workspaces_anonymous_user