[TxMt] html pretty print