我的博客里面的插图很多都是用Tikz写的,然后编译成PDF再转换为SVG,具体的流程见 之前的文章 。 这里面关键的一步就是如何 将PDF转换为SVG 。 我能找到的唯一一个工具就是 pdf2svg ,但是它非常简单,而且并不完全符合我的需要。 例如,我发现直接生成的SVG图片太小了,需要放大到1.5倍,里面的字母才会和正文中的字母大小基本一致。这就必须要修改源代码才能解决: pdf2svg-0.…
我的博客里面的插图很多都是用Tikz写的,然后编译成PDF再转换为SVG,具体的流程见 之前的文章 。 这里面关键的一步就是如何 将PDF转换为SVG 。 我能找到的唯一一个工具就是 pdf2svg ,但是它非常简单,而且并不完全符合我的需要。 例如,我发现直接生成的SVG图片太小了,需要放大到1.5倍,里面的字母才会和正文中的字母大小基本一致。这就必须要修改源代码才能解决: pdf2svg-0.…
讨论
登录后参与讨论
还没有评论,来说第一句吧。