updated docs to use mathjax, added top-layer navigation bar