add html pretty printers