ajaxorg/ace — pull request #684 by danyaPostfactum (2012-03-30 07:47:14+00:00)
Title: Two little fixes of gutter style

No need to set width of gutter - it causes some problems.
No need to set padding-right - gutter looks bad when code folding is enabled.