:root {
  --site-shell-nav-font-size: 14px;
}

.site-nav {
  position: relative;
  z-index: 240;
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  align-items: center;
  min-height: 46px;
  flex: 0 0 100%;
  align-self: stretch;
  justify-self: stretch;
  width: 100%;
  max-width: none;
  padding: 8px 12px;
  margin: 0;
  border-top: 0;
  border-right: 0;
  border-bottom: 1px solid rgba(120, 138, 167, 0.35);
  border-left: 0;
  border-radius: 0;
  background: linear-gradient(150deg, rgba(9, 17, 34, 0.96), rgba(16, 31, 57, 0.96));
  backdrop-filter: blur(5px);
  box-sizing: border-box;
  font-family: "Liberation Mono", "DejaVu Sans Mono", "Courier New", monospace !important;
  text-size-adjust: 100%;
  -webkit-text-size-adjust: 100%;
}

.site-nav-host {
  position: relative;
  z-index: 240;
  display: block;
  width: 100%;
  flex: 0 0 100%;
  align-self: stretch;
  justify-self: stretch;
}

html[data-site-section="rustdoc"] body > .site-nav-host {
  display: block !important;
  width: 100% !important;
  flex: 0 0 100% !important;
}

html[data-site-section="rustdoc"] body {
  display: flex !important;
  flex-direction: row !important;
  flex-wrap: wrap !important;
  align-items: flex-start !important;
}

.site-nav a {
  display: inline-flex;
  align-items: center;
  text-decoration: none !important;
  color: #d1deea !important;
  border: 1px solid rgba(120, 138, 167, 0.42);
  border-radius: 999px;
  font-family: inherit !important;
  font-size: var(--site-shell-nav-font-size) !important;
  font-weight: 500;
  line-height: 1.2 !important;
  padding: 4.5px 9px;
  background: rgba(9, 17, 34, 0.24);
  box-sizing: border-box;
}

.site-nav a:visited {
  color: #d1deea !important;
}

.site-nav a:hover,
.site-nav a:focus-visible {
  border-color: #22d3ee;
  color: #ecfeff !important;
}

.site-nav a.is-active {
  border-color: #22d3ee;
  background: rgba(34, 211, 238, 0.16);
  color: #ecfeff;
}

.site-nav a.is-active:visited {
  color: #ecfeff !important;
}

.site-nav a.site-nav-source {
  margin-inline-start: auto;
}

@media (max-width: 720px) {
  .site-nav {
    gap: 6px;
    padding: 7px 9px;
  }

  .site-nav a.site-nav-source {
    margin-inline-start: 0;
  }
}