Added google prettify (doxy)