Prettified the source with prettify.js and more styles