Some CSS tweaks for code blocks.
Add a TODO tag.
Minor CSS improvement for TODO boxes.
(#2) Integrate highlight.js.