I was also gonna mention Shiki. While it is JS, you can SSR/SSG, and: - it uses VSCode grammars and themes, which is awesome. - it’s got some really cool exte

I was also gonna mention Shiki. While it is JS, you can SSR/SSG, and: - it uses VSCode grammars and themes, which is awesome. - it’s got some really cool extensions like Shiki Twoslash[1], allowing VSCode-like type hovers and type error demos. I’ve heard this can work without client-side JS but haven’t had the opportunity to check that out just yet. - with some effort, you can extract the inline styles to a stylesheet and support pure CSS dark mode (note to self: clean up and open source my implementation of this). 1: https://shikijs.github.io/twoslash/ https://shikijs.github.io/twoslash/