Configurable theme on export html

[theairbend3r]

Hey, while using marimo export html, I realised the theme of the exported html file is the same as the notebook's theme.

It would be nice to have that as a configurable option.

For instance, a user could write code with a dark theme on but generate an html report with light theme.

I checked marimo export html -h and there doesn't seem to be an option to set themes.

I also checked the themes page but it shows the ability to change the notebook theme and not just the exported file's theme via [tool.marimo.display].

Is there a way to make this work?

[vvsagar]

I'm also interested in this!