Santa María la Mayor. Portada principal de Santa María la Mayor