DjVu and PDF document reader
