No no, ci sono proprio dei pulsanti animati e sono .avi (vedi screenshot)
Le dimensioni sono circa 100px x 103px, ma appunto volevo capire fin quanto era consentito..+ le altre info
Darò un'occhiata al manuale appena ho tempo
EDIT: c'è anche il tema "animated 1" che ha i pulsanti animati, però sono .gif