theme.conf - pygments_style has no effect on _static/pygments.css

[gtirloni]

Create a new theme in _themes/mytheme with the following theme.conf:

[theme]
inherit = boilerplate
stylesheet = flat.css
pygments_style = monokai

[options]
accent_color = #1e73be

The pygments.css file created in blog/html/_static always has the same checksum (59c2fb442ec1a385b706c40ed7f59315) no matter what the pygments_style variable is defined to in theme.conf.

Changing accent_color has the desired effect after tinker -b so the theme is being picked up correctly.

An strace tinker -b shows that the correct pgyment's style file is being opened from site-packages/pygments/styles (changing the style makes different files to be opened, so the code seems to be picking up the variable value but the final .css file does not have the correct parameters for that style).