/* stylelint-disable */
.contents > .groupheader:first-of-type {
    display: none;
}

.navSeparator {
  border-top: 1px solid var(--separator-color);
  margin-top: 12px !important;
  padding-top: 12px !important;
}

div.groupHeader {
  font-size: var(--title-font-size);
  margin: 48px 0 12px 0;
}