Fix handleNav: get href from source
Fix handleNav: get href from source

This makes the page load content dynamically again. Accessing .href gave a processed, absolute URL, and preventDefault() wasn't used in turn.

arangodb/docs,arangodb/docs,arangodb/docs,arangodb/docs