我在 Windows 上运行 Firefox 77。我使用 Firefox 内置的 PDF.js 查看器作为默认查看器。但是,我想对查看器的 CSS 进行修改(具体来说,我想更改
.pdfViewer .page {
...
margin: 1px auto -8px auto
...
border: 9px solid transparent
...
}
至margin: 1px auto -3px auto
和border: 1px dashed transparent
)。
我该怎么做?我认为这与 userChrome 无关,因为它不是界面的一部分,但我看不到 pdf.js 代码存储在哪里(搜索 Everything 没有与pdf.js
、pdf.worker.js
或相关的结果viewer.css
)。由于它是一个内部页面,因此 userstyle/userscript 可能不起作用,所以我没有主意。有人能帮我吗?
编辑:尝试了用户脚本,尽管显示该脚本在页面上处于活动状态,但没有起作用。这可能意味着用户脚本无法影响系统文件
答案1
事实证明,你可以使用 userContent.css 来设置实际页面的样式。因此,我复制了
.pdfViewer .page {
margin: 1px auto -3px auto !important;
border: 1px dashed gray !important;
}
放到我的用户内容中并且它起作用了。