Do we need the inline styles?

Hello

Thanks a bunch for the Headings plugin, which has been quite useful.

I’ve found a qualm with it, though: when using Etherpad as a content editor for blogs et al., programmatically exporting the HTML, the inline styles are something of a nuisance as they override existing CSS.

As it stands, I do not really see the need for the inline styles—when using Etherpad’s HTML export as is, the browser will fall back to the standard header styles, which are pretty similar to what is defined here.

What do you think? 
Thanks for your reply, Cheers,