message: Fix up top-navbar tweaks
diff: @@ -28,7 +28,6 @@ div.nav-container {
  color: var(--color-navbar-standard);
  /* The font size must be specified in pixels because the height is specified in pixels. */
  font: 16px $font-family-sans;
  - position: relative;
  .container, .pure-menu-horizontal {
  position: relative;
  @@ -121,23 +120,7 @@ div.nav-container {
  outline: unset;
  }
  -
  - /* In some unusual situations, like a locally installed copy of "Fira Sans," elements
  - of the navbar might overflow vertically and start interfering with the main body
  - content. To ensure that doesn't happen, hide any vertical overflow.
  - See https://github.com/rust-lang/docs.rs/issues/1669.
  - */
  - .pure-menu-item a {
  - max-height: 100%;
  - overflow-x: hidden;
  - text-overflow: ellipsis;
  - }
  -
  - .docsrs-logo, .pure-menu-item a {
  - padding: 8px 1em;
  - }
  -
  - .pure-menu-item {
  + .docsrs-logo, .pure-menu-item, .pure-menu-item a {
  height: 100%;
  }
  