Code highlighting with http://highlightjs.org/

I have added code highlighting to the document page. 

highlight.js library (http://highlightjs.org/) looks like good choice because it automatically styles `<pre><code>` blocks. I've changed style background to gray to fit website. It's white in original style.

What do you think?