An HTML pretty-printer