Essentially I wish to have
html_theme = 'alabaster'
pygments_style = 'default'
but something like
@import url("alabaster.css");
won't do(?) because I modify html_theme_options.
How do I override just pygments_style (code highlighting) in an existing html_theme?