A lot of styles are included in pygments, including solarized-dark (https://pygments.org/styles/).
Instead of putting the entire style code into coloring.py, you can just do something like this:
from pygments.styles import get_style_by_name
style = get_style_by_name('solarized-dark')
A lot of styles are included in pygments, including solarized-dark (https://pygments.org/styles/).
Instead of putting the entire style code into coloring.py, you can just do something like this: