Create style for external links

Currently, external links are displayed in a different colour. This can look like a clicked link, and other colour choices can be jarring.

A better solution is to use the style used in mediawiki, with an icon at the end of the link indicating that it leaves the pdf.

See https://en.wikipedia.org/wiki/Help:External_link_icons for implementation details