Update html.c

Blockcode with hardcoded google prettify