/* Highlight external links so they are easy to spot */
.external-link {
  position: relative;
}
.external-link::after {
  content: "↗";
  font-size: 0.85em;
  color: #ff7a00;
  margin-left: 0.25rem;
}
