Como construir Favicons Animados

Muitos se estão a perguntar: O que raio são favicons?

Um favicon (diminutivo de favorites icon) é aquele icon de 16×16 pixeis que aparece na barra do vosso browser, associado com o website que estão a visitar. Por exemplo no Peopleware aparece um “P”, no Google um “G”, na Sapo um sapo, etc.
É costume estes ícones serem estáticos, mas é possível torná-los animados, para dar algum dinamismo e maior flexibilidade de comunicação de informação ao favicon.
Um dos muitos sites que oferecem um serviço de tornar uma imagem num favicon animado é o AnimatedFavicon.

Basta escolhermos uma imagem (escolhi a do actual favicon do Peopleware) e opcionalmente um texto para “rolar” com a imagem.

Podemos agora fazer download de um .zip que inclui o favicon.ico que contém o favicon estático e o animated_gif.gif que contém o favicon animado.

Agora, tal como está explicado no site, basta fazer upload para o site e colocar o seguinte código HTML entre as tags e do vosso site:

E passam a ter um favicon animado.