space between pool decking and porch