Pour répondre plus en détail a ta question, tu es sur la page du w3c parlant du CSS, alors tu dois utiliser du CSS pour faire ça
Allez, un petit indice de plus, c'est dans ce fichier CSS précis :
http://www.w3.org/Style/CSS/banner-k.css
Et d'ailleurs, c'est pas un GIF qu'ils utilisent, faut pas pousser quand meme. C'est du w3c qu'on parle, donc ils utilisent une image png