DejaVu family of TrueType fonts
