¿Qué atributo se utiliza para dar estilo a un encabezado en HTML?