DejaVu family: improved & more consistent rendering
polishing DejaVus