Tweaks for some styles in the Playground
Merge pull request #1167 from ryanjbaxter/master

Tweaks for some styles in the Playground