A document file.