ajaxorg/ace — pull request #891 by danyaPostfactum (2012-08-26 07:31:17+00:00)
Title: Correct fold-widget style

Little stylefix for a fold widget:

Corrected vertical alignment of gutter number and fold widget.
Set height: 100% for fold widget, centered arrow.

This improvements are observable on either small or big font size.