Cool animations. Does anyone know how they made those animations? Or did they do it with vanilla JS/CSS/HTML?