The Everyman Palace Theatre (capacity c