message: Use the same icon for clipboard button that rustdoc itself uses
  ![image](https://user-images.githubusercontent.com/1593513/117078639-18e8c000-acef-11eb-93e7-c1caaec75df0.png)
diff: min-height: calc(100vh - #{$top-navbar-height + $footer-height + 2});
  }
  +#clipboard {
  + cursor: pointer;
  +}
  +
  // Force the navbar to be left-aligned on rustdoc pages
  body.rustdoc-page > .nav-container > .container {
  margin-left: 0;
  