message no. 91352
Posted by fladd in #github at 2015-04-26T21:13:57Z
To be more clear: The way GitHub colours code on their website has changed in the last years, from something that resembles what I have shown in the link, to how it looks today. I was wondering if anyone knows when that change happened. I am interested in this, since I was looking for a Pygments theme that looks like GitHub, but I could only find the "old" one. So I was wondering whether that change at GitHub was recently?