tinker with google prettify