How to use external fonts in draw.io

Use custom fonts in draw.io easily by naming a different system font, a Google font, or by providing the URL to a custom web font in the .WOFF format.