Graham the blue color is just reflected blue sky light.
I took those photos in outdoor shade.
Good soft portrait light, but photographers adjust the blue out.