ajaxorg/ace — pull request #1701 by nightwing (2013-11-29 15:46:11+00:00)
Title: use css counter for line number in static_highlighter

fixes #1685