Fix navbar header overlap and improve docs navigation#212

igerber merged 1 commit intomainigerber/diff-diff:mainfrom

docs/fix-navbar-headerigerber/diff-diff:docs/fix-navbar-headerCopy head branch name to clipboard