modify typeset and add html tag <pre>