span.ext {
  background: url(/modules/extlink/extlink.png) right center no-repeat;
  padding-right: 12px;
}
span.mailto {
  background: url(/modules/extlink/mailto.png) right center no-repeat;
  padding-right: 12px;
}

/* Hide the extra spans when printing. */
@media print {
  span.ext, span.mailto {
    display: none;
    padding: 0;
  }
}

/*
     FILE ARCHIVED ON 06:54:48 Apr 06, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 22:08:31 Jul 07, 2017.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/