On the court, cheers came from people in uniform playing football on the lawn.