Size and font snippet

This snippet shows how to size the editor to a specified height/width and how to change its font size.