Links for collective.js.prettify