Use google prettify instead