为高教社文档阅读器添加PDF下载功能。该脚本在高教社文档阅读器页面上添加一个下载按钮，允许用户将文档以PDF格式下载到本地。
Dit zijn alle versies van het script. Alleen de versies tonen waarvan de code gewijzigd is.
