use css counter for line number in static_highlighter

fixes #1685