An animated Mario made entirely in CSS