Like most companies, we convert a lot of documents to PDF format. I have one user who, when she opens a document the fonts are different and are different sizes from the original document. She's the only one. And it doesn't matter what format the original doc was. And it doesn't matter if...