You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
0 commit comments