An embeddable script that makes source-code snippets in HTML prettier. Works on HTML pages. Works even if code contains embedded links, line numbers, etc. Simple API: include some JS & CSS and add an ...