Modificando o plugin prettify do google