Improve html_render.py formatting