HTML parser and pretty printer