Support for Topos themes

[Bubobubobubobubo]

I just opened a theming branch for Topos. There is some remaining work: updating HTML manually to match following DaisyUI principles. Files to update are:

• index.html: removing Tailwind color classes, replacing with DaisyUI classes.
• DomElements.ts: there is a table of Tailwind styles (CSS style).
• Documentation.ts: documentation style (CSS table).

Finally, add the selected theme to localStorage with the rest of the configuration (JS).

That's pretty much it.

[Bubobubobubobubo]

Worked quite a lot on the issue but there is still a lot of work to do to make it look pretty. It should also be noted that it is currently non-trivial to update highlighting styles used in the documentation and code editor and it could have been much simpler with a better architecture.

[Bubobubobubobubo]

Done!