Better a DJVU file generated at a high DPI.