what is the floor of the dining hall made of?