Fix dropdown menu display in top navbar#1717

syphar merged 1 commit intorust-lang:masterrust-lang/docs.rs:masterfrom

GuillaumeGomez:fix-top-navbarGuillaumeGomez/docs.rs:fix-top-navbarCopy head branch name to clipboard