Comment 3 for bug 20921

Changing the default font is not a good option; currently Vera provides the best
coverage for many character sets. My understanding is that the system should
fall back to other fonts if the necessary characters are not available, though.