Renamed and tuned HtmlPrinter