Basílica de Santa María la Mayor: Techo