Cambiar el tamaño de un background-image

[Javier F.]

Anda, pués es verdad, me pareció que el encabezado cambiaba de tamaño... y era de posición. Jo, que mal estoy.
Me parece que, o se hace como con el segundo enlace que puse, o hay que esperar a que los navegadores acepten background-size.

Javier