hey pulumi, which VS Code theme are you guys using here?

I actually don’t think that one is an existing vs code theme - I think it is custom stylized css. @miniature-musician-31262 might be able to point to the reference theme or anything similar.

That’s right — it’s just manually styled CSS, but it’s based on the default (Dark +) VS code theme.