poner un gif en header de con html5 y css

[dairo65]

hola.

quiero hacerles un consulta, como hago para poner un gif o video corto al estilo de
http://www.lifeofpimovie.com/ o
http://mediaboom.com/#/home

algo así que debo tener en cuenta y como lo hago?

muchas gracias