Fixed incorrect indenting (tabs instead of spaces) in HtmlFormatter.php