Added basic navigation and highlight.js.