Unofficial github mirror of the google code prettify.