我试图通过命令行工具pygmentize
使用以下命令pygments
将python文件转换为html文件:
pygmentize -f html -O full -O linenos=1 out_file.html in_file.py
不幸的是,默认的fontsize太小,我不知道如何增加它。使用-O fontsize=16
不会产生错误,但也没有效果
此外,我尝试了一个丑陋的补丁,将html *{font-size: 1.05em !important;}
插入html文档的css部分,但这会影响行号布局
我能够通过python终端调用“pygments”,但不知道如何将命令行实现为python代码
好的,我通过使用以下python代码解决了这个问题:
然后我加了一行
进入html文档的css部分,并调整了表格填充
相关问题 更多 >
编程相关推荐