Improved line numbering for Pygments’ HTML formatter. - View it on GitHub