Lean VSCode text color

Stream: general

[Yakov Pechersky]

I seem to have had a regression in my VSCode with the lean extension. I use the Solarized Dark theme, and now lean text is faded, not like regular white text (as seen in the terminal). Does anyone know the issue or fix?
image.png