message: Make PressTip top border a bit more purple.
diff: width: fit-content;
  max-width: 300px;
  border: 1px solid #424259;
  - border-top: 5px solid #888;
  + border-top: 5px solid #78788c;
  box-shadow: 0 0 4px 2px #16162680;
  padding: 8px;
  text-align: left;
  }
  hr {
  - border-color: #888;
  + border-color: #424259;
  }
  p {
  height: 0;
  border-width: 0 5px 5px 5px;
  top: -10px;
  - border-color: transparent transparent #888 transparent;
  + border-color: transparent transparent #78788c transparent;
  }
  &[data-popper-placement='right'] .arrow {
  width: 0;
  