Delete code_prettify.html