In the Battle Square, the Portuguese-style blue-tiled façade is frescoed by the church of San Ildefonso.