/* Menu separators: one small dot between the tabs in the top navigation.
   Loaded on every page that carries the shared header. */
.nav-links > li + li::before {
  content: "\2022";
  color: #7f978c;
  font-size: 0.62em;
  line-height: 1;
  vertical-align: 0.22em;
  margin-right: 22px;
  pointer-events: none;
}
.nav-links > li:last-child::before {
  content: none;
  margin: 0;
}