Formatting HTML output file