flex/pygments/generate.py

39 lines
877 B
Python
Raw Normal View History

2016-04-24 00:44:16 +02:00
#!/usr/bin/env python
import os
from pygments.styles import get_all_styles
from pygments.formatters.html import HtmlFormatter
PYGMENTS_PATH = './../static/pygments'
def export():
if not os.path.exists(PYGMENTS_PATH):
os.makedirs(PYGMENTS_PATH)
styles = list(get_all_styles())
for style in styles:
print('Generating CSS for %s' % style)
opts = {
'style': style,
'noclasses': False,
'nobackground': False,
2016-04-24 00:44:16 +02:00
}
path = os.path.join(PYGMENTS_PATH, '%s.css' % style)
formatter = HtmlFormatter(**opts)
2020-04-14 18:55:41 +02:00
md_css = formatter.get_style_defs('.highlight')
rst_css = formatter.get_style_defs('.literal-block')
2016-04-24 00:44:16 +02:00
2020-04-14 18:55:41 +02:00
with open(path, 'w+') as f:
f.write(md_css)
f.write('\n')
f.write(rst_css)
2016-04-24 00:44:16 +02:00
if __name__ == '__main__':
export()