Some UI design changes for the terminal

![screen shot 2014-12-15 at 5 44 47 pm](https://cloud.githubusercontent.com/assets/3292874/5447393/2065f592-8482-11e4-9489-de5d21324fe1.png)

We said same size as codemirror, and use less variable.