Customizable HTML pretty-printing