HTML Formatter is a PHP library which pretty prints HTML.