Comment by jgautsch

I haven’t inspected it myself (I’m on mobile atm) but usually that kind of thing is an animated SVG. You can animate SVG nodes with CSS just like HTML