Theia vars.css

Hi team,

One of the values in the var(–theia-preloader) css, is not defined/not getting retrieved correctly in the custom files which we’re writing. Please check the screenshot. Does anyone know where these values are defined on the Theia project?

Screenshot 2023-09-18 at 9.06.45 AM

I believe our own css is a bit outdated, the variable literally does not seem to exist in Theia.

@msujew ,

Yeah probably it needs an update. Thanks