Is this a video or a gif

I'm newbie in web development and I'm trying to find information about the animation found in the background of this webpage (http://civa.com.pe/) in order to use something like that in the page i'll develop. You can see that animation at the back of the page in a soft purple color is just the logo but I don't know if it's a gif image or a video. Please give me a hand with that. The animated part