cleanup
use css counter for static highlight gutter
Merge pull request #1701 from ajaxorg/static_highlighter

use css counter for line number in static_highlighter