Font Substitution v3

Substitutes arbitrary fonts on webpages

As of 28/08/2015. See the latest version.