请问PDF是用什么工具制作的

[madjxatw]

PDF版本和在线网页版好像代码高亮的风格不太一样，PDF的看起来更舒服，能否告知PDF版本是用什么工具制作的吗？

[standback]

pdf的版本好很像久没有更新过了。。
要是能用现在最新的翻译 更新一下就好了。

[madjxatw]

我想知道的是仓库中提供的PDF是用什么工具生成的？字体和高亮风格和网页版的不同，就阅读视觉体验而言，我觉得PDF版的更好。如果知道生成流程，我想配置一下环境就可以参与更新了。