Small changes, adde highlight.js and home-page pagination