Cleanup init.js
Update highlight-lisp.
Update jquery in frontend.
Update typeahead.js [0.9.3]
Update jquery in ref index generation [2.0.3]
Backup old style.css
New style.css, navbar works. Bootstrap no longer used.
Re-style sidebar toc.
Finish new styles. Remove Bootstrap.