Removed google prettify, looking for a better option.