different appearance of anchor links and small refactor of js (fixes #13)
Merge branch 'master' into gh-pages
regen docs