doc: Update top links bar to match main website
Merge pull request #2383 from jayschwa/master

doc: Update top links bar to match main website