Modified google prettify