line numbering in HTML