Gennadius Library, East Gardens