Embedding fonts in web pages