rustdoc: fix bugs in main.js popover help and settings#98646

Merged

bors merged 4 commits intorust-lang:masterfrom

notriddle:notriddle/main.js

Jun 29, 2022

Commits on Jun 28, 2022

rustdoc: fix help menu popover toggling
notriddle
committed

Commits on Jun 29, 2022