.highlight .gp {
  user-select: none;
}

strong {
  font-weight: bold;
}

/*# sourceMappingURL=style-overrides.css.map */