Apply google code prettify on server side