Update code_prettify.html