AIMMS Pygments Style