fix formatting in .gitignore
move to cdn-hosted prettify.js