HTML view formatting; made line numbers optional (default is off)