Forget adding the line-numbers.

It was an idea that could have worked, but now looking back I find it
stupid to have done. It generated divs that had lots of line numbers.
Removed highlight.js
Removed pre/code styles
Added rainbow.js
Removed unnecessary handlers for res.
Added rainbow.js/rainbow.css