Update html.c

Adjustments to produce only <pre> tags with linenums