This is a modified version of DeJaVu Sans, which is the same as the previous
Vera Sans, but with additional characters for languages (such as Czech) that
were missing from Vera. This version I'm committing has modifications to reduce
file size, cutting out useless stuff like ancient Greek characters.