Completed html_render.py