Use Pygments to highlight insead of the google-code-prettify
Update the asio-1 example