@Meyerweb @hi_mayank Sorry, not yet.
My typical flow is hack it together, put it on socials, and then maybe later write about it.
What could help you better understand is to console.log(tokens) right after Prism has done its thing.
MDN might also have some good info (I'm afk right now, so can't check)
@bramus @Meyerweb @hi_mayank I'm curious too, need to do some sleuthing.
This clearly wants to be a custom element, right? No shadow dom required, and the progressive enhancement story is "just add color". A perfect use-case.