message: Fix top navbar
diff: @@ -69,6 +69,8 @@ div.rustdoc {
  body {
  padding: 0;
  margin: 0;
  + // Since top navbar is fixed, we need to add padding to the body content.
  + padding-top: 32px;
  }
  @@ -114,11 +116,14 @@ div.container-rustdoc {
  }
  div.nav-container {
  + // Nothing is supposed to be over or hovering the top navbar. Maybe add a few others '('? :)
  + z-index: 999;
  height: 32px;
  border-bottom: 1px solid $color-border;
  background-color: #fff;
  left: 0;
  right: 0;
  + top: 0;
  position: fixed;
  li {
  