Pygments style used in the textbook Algorithms for Optimization - View it on GitHub