Helios dark mode

[Herby Vojčík]

Hello!

Helios 0.13.4 was just published, which fixes themes in Helios. The fact
is, helios had dark theme long ago, but on startup, it always reset it
to 'default' one. That is now gone, the helios setup now activates the
actual theme.

To set up the dark theme, run

HLManager current
setTheme: 'niflheim';
setEditorTheme: 'niflheim'

and reload your project (the main page, not just Helios).

To set light theme back, just do the same with 'default'.

To update helios on your project, this should do the trick:

npm install @ambers/helios@latest

and you should see 0.13.4 was downloaded and installed. If not, try
harder and run `npm run reset` which clears all npm dependencies and
redownloads them (even harder is, remove package-lock.json before
running it).

Herby