ajaxorg/ace — pull request #1127 by vladzinculescu (2012-11-28 16:26:30+00:00)
Title: Beautiful font, at last

Font's were to bold on Google Chrome - OS X. Fixed