Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
noticed that folks are still clicking the Docs menu at the top when they are already in the docs --probably because it isn't bold font and it changes to bold on hover. So, this PR should make it appear bold all the time.
- Loading branch information