Improved fonts on linux

Dejavu Sans looks WAAAY better than arial or anything on Linux.