@blueset please no.

@blueset came here to say exactly this. Never occurred to me before that I should have the ability to set, not just the colour, but the actual font for each token. It’ll be interesting to see what can be made of this in #PrismJS themes.