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') ```