Support non-English characters

Some characters from languages other than English do not display correctly.  Add support for them.

Update: A large number of languages are now supported by the website and the newly added “DejaVu” family of fonts.