Display tool for PDF files.
