Inside the stadium, fans gathered to wave flags and shout in the merry music.