code hilighter modified (google code prettify -> hilight.js).