a[href^="https://"]::after
{
  font-family: "Font Awesome 5 Free";
  font-weight: 900;
  position: relative;
  top: -.5em;
  left: .3em;
  margin-right: .7em;
  font-size: .6em;
  content: "\f35d"; /* fa-external-link */
}

code.xref::after
{
  font-family: "Font Awesome 5 Free";
  font-weight: 900;
  position: relative;
  top: -.5em;
  left: .5em;
  margin-right: .7em;
  font-size: .8em;
  content: "\f0c1"; /* fa-link */
}