Various fixes/improvements:

* Smaller font size
* Larger editor (more height and percentage width)
* Some responsive triggers for smaller screen sizes.
* Prepended -O to each optimization level.
* Added more space at the bottom of the window.

![screenshot 2014-08-05 13 49 39](https://cloud.githubusercontent.com/assets/565790/3817642/b9378fbc-1cd9-11e4-8832-0cb1fa9c7a32.png)