@d6 do you know if there's a way we could help srht to paint &sublabels the same colors as labels?
@neauoire yes, probably. was someone else working on updating pygments? if not i will take another look
cc @tbsp
Gregory's Server
@neauoire yes, probably. was someone else working on updating pygments? if not i will take another look
cc @tbsp