message: Remove outdated workaround for rustdoc scrolling
  It used to be that the <DIV CLASS="rustdoc"> had `overflow: auto` on it,
  so when a menu was closed, we needed to focus it to make sure keyboard
  scrolling worked. It doesn't work that way any more, so the workaround
  is dead code.
diff: }
  function closeMenu() {
  if (this === backdrop) {
  - var rustdoc = document.querySelector(".rustdoc");
  - if (rustdoc) {
  - rustdoc.focus();
  - } else {
  document.documentElement.focus();
  - }
  } else if (currentMenu.querySelector(".pure-menu-link:focus")) {
  currentMenu.firstElementChild.focus();
  }
  