Thanks to Tico Times for this good short article and great photos that are so much better than my photos of the theater: https://ticotimes.net/2021/12/10/the-national-theatre-of-costa-rica-a-historic-landmark
¡Pura Vida!
The National Theatre of Costa Rica: A Historic Landmark
Beautiful!