ajaxorg/ace — pull request #1379 by rgriffith (2013-04-18 12:59:58+00:00)
Title: Reduce default right padding of gutter cell

I am finding in some browsers that when disabling code folding, 1-2 pixels of the folding arrow's left side is still showing. Reducing the right padding of the gutter cell seems to help.