Embed prettify CSS.
New favicon.
Updated getting-started.