Code Prettify

An embeddable script that makes source-code snippets in HTML prettier.