vividButton: PNG-sprite animated buttons for the web