Isue #197 - Add links to repos and issues in docs navbar.
Issue #197 - Fix indent.
Merge pull request #198 from davidzchen/gh-pages-update

Add links to repos and issues in docs navbar