ajaxorg/cloud9 — pull request #1243 by mattpardee (2012-04-05 23:40:02+00:00)
Title: Ui/consolestyles

These are the new console styles from David that Vlad and Garen implemented. I cherry-picked from the branch `ui/console` because that branch also contained breaking functionality for spinners etc that could not be merged in (and should be in their own branch anyway).

@gjtorikian