https://pulumi.com logo
f

future-monkey-81011

02/17/2020, 11:52 PM
hey pulumi, which VS Code theme are you guys using here?
w

white-balloon-205

02/18/2020, 12:50 AM
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.
m

miniature-musician-31262

02/18/2020, 2:38 AM
That’s right — it’s just manually styled CSS, but it’s based on the default (Dark +) VS code theme.