An animated gif would be annoying since you can't pause it to look at it carefully.

While I also hate the overuse of JavaScript, this is exactly how it's meant to be used – adding small bits of interactivity to documents.