#50: resizeable editors and output
making resizers more unobtrusive, and resizing all of top/bottom
Merge pull request #317 from bollwyvl/playground-resizeable

Make playground editors/outputs resizeable