为什么同一个网页在GoogleChrome中另存为PDF字体大小不同？
Why the same webpage have different font size when save as PDF in Google Chrome?
我在 Google Chrome 的打印对话框中使用故障 save as pdf 来打印 this website。该网站有两个显示选项：1. 不展开和 2. 展开。在第二个选项中，将显示锻炼的解决方案。我们访问网站时默认第一个选项，而要激活第二个选项，我们需要点击右上角的加号：
我无法理解为什么 PDF 文档的字体大小在第二个选项中明显变小。
- 第一个选项：
- 第二个选项：
我将它们都保存为完整的网页，它们具有相同的文件，除了 .html 文件。
能否详细说明这个问题是如何产生的，以及如何调整第二个选项的html文件，使第一个选项的字体更大？
我想通了：这是因为字体会变小，这样长的等式就可以装进去了。
我在 Google Chrome 的打印对话框中使用故障 save as pdf 来打印 this website。该网站有两个显示选项：1. 不展开和 2. 展开。在第二个选项中，将显示锻炼的解决方案。我们访问网站时默认第一个选项，而要激活第二个选项，我们需要点击右上角的加号：
我无法理解为什么 PDF 文档的字体大小在第二个选项中明显变小。
- 第一个选项：
- 第二个选项：
我将它们都保存为完整的网页，它们具有相同的文件，除了 .html 文件。
能否详细说明这个问题是如何产生的，以及如何调整第二个选项的html文件，使第一个选项的字体更大？
我想通了：这是因为字体会变小，这样长的等式就可以装进去了。