Stucco--the color is a cobalt blue powdered pigment that is mixed into the final coat of stucco.  Is it added to a standard grey cement stucco mix.