在`pygments`命令行工具`pygmentize`中设置html fontsize

如何解决在`pygments`命令行工具`pygmentize`中设置html fontsize

我正在尝试通过命令行工具pygments使用pygmentize将Python文件转换为html文件，并使用以下命令：

pygmentize -f html -O full -O linenos=1 out_file.html in_file.py

不幸的是，默认字体大小太小，我不知道如何增加它。使用-O fontsize=16不会产生错误，但是也没有效果。

此外，我通过将html *{font-size: 1.05em !important;}插入html文档的CSS部分来尝试了一个难看的补丁，但这会损害行号的布局。

我能够通过python终端调用“ pygments”，但不知道如何将命令行实现为python代码

解决方法

好，我通过使用以下python代码解决了该问题：

from pygments import highlight
from pygments.lexers import get_lexer_by_name
from pygments.formatters import get_formatter_by_name

lexer = get_lexer_by_name('python')
formatter = get_formatter_by_name('html',linenos='inline',full=1)

with open("conver_me.py",'r') as f_in:
    code = "".join(f_in.readlines())

with open("output.html",'w') as f_out:
    highlight(code,lexer,formatter,f_out)

然后我添加了一行

html *{font-size: 1.05em !important;}

插入html文档的CSS部分，并修改了表格填充

span.lineno { background-color: #f0f0f0; padding: 0px 5px 5px 5px; }