Comment out dejavu font stylesheet

It is not provided with default JavaDoc, not sure whether we are
allowed to use those fonts. And it’s extra requests for no reasons.