more use of DejaVuSans font