ajaxorg/ace — pull request #825 by josh (2012-06-29 18:25:37+00:00)
Title: Tweak github theme

* Adds grey gutter and yellow highlight
* Removes bold keywords which cause cursor issues. Not sure if we can ever get this to work in Ace.

I'm considering using this theme on github itself.