replace prettify by highlightjs