Optimized. Now using minted for listings ;)