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)

I thought we said "same as codemirror". Why the change ?