Reducing a document's file size