Bahsettiğiniz animasyon css kullanılarak yapılmış.
CSS ile bahsettiğiniz animasyonu kolayca yapabilirsiniz.