anchor.diff:  let navItemText text link =
           navItem link [ normalizeStr text ]
   
  +let navItemIconOnly link ariaLabel inner =
  +    li [Class "nav-item"] [
  +        a [
  +            Class "nav-link"
  +            HTMLAttr.Custom("aria-label", ariaLabel)
  +            Href link
  +        ] inner
  +    ]
   
   let dropDownNavMenu text items =
               li [ Class "nav-item dropdown" ][
  
positive.code: 
  let generateNav (navCfg : NavConfig) =
      nav [
          Class "navbar navbar-expand-lg sticky-top navbar-dark bg-dark"
      ] [
          i [ Class "fa fa-car"] []
          a [
              Class "navbar-brand"
              Href (navCfg.SiteBaseUrl |> Uri.simpleCombine "/index.html")
          ] [str (navCfg.ProjectName)]
          button [
              Class "navbar-toggler"
              Type "button"
  
negative.code:                 yield! navTreeFromPaths navCfg.TopLevelNav.DocsRoot navCfg.TopLevelNav.DocsPages |> sortNavTree |> generateNavMenus navCfg.SiteBaseUrl
              ]
              ul [ Class "navbar-nav"] [
                  navItemIconOnly (string navCfg.GitHubRepoUrl) "GitHub Repository" [
                      i [ Class "fab fa-github fa-lg fa-fw text-light"] []
                  ]
              ]
  