Play pages: Example div size to be the same as that of the ace editor