Hi, apologies if this has been addressed before, but I couldn't find a relevant report. A while ago you had several themes for displaying source code. I believe they were based on Pygments. Now, all of those are gone.

How can I get them back?

Thanks!