http://sinalverdecaxias.com/js/run_prettify.js
http://hedgewars.org/prettify/src/run_prettify.js?lang=lua&lang=pascal