adding google prettify