rust-lang/rust-playpen — pull request #39 by thehydroimpulse (2014-08-05 19:41:12+00:00)
Title: Various fixes/improvements:

* Smaller font size
* Larger text field (width + height)
* Some responsive triggers for smaller screen sizes.
* Prepended -O to each optimization level.
* Added more space at the bottom of the window.