Update `nav`#40

fabiomadge merged 4 commits intomaindafny-lang/dafny-lang.github.io:mainfrom

update_navdafny-lang/dafny-lang.github.io:update_navCopy head branch name to clipboard