It would be great if the styles were not stored within the exported HTML file, but in an external CSS file. This would make the HTML code more clear and tidy.
You actually can. Add a custom CSS in the options and add something like this to it:
Good idea, and it works. Thank you, Glantucan!