现在很多人都会在网上找一些需要的资料,然后把他们下载下来,下载的大部分文件都是pdf格式的,pdf文件可以方便我们阅读文档内容,但是有时候下载下来的文件体积太大了,我们就需要压缩到指定大小,今天小编就给大家介绍一下pdf文件怎么压缩大小?