Added Google Pretty Print Support to docs theme