I can't see an easy way to remove the styling in HTMLEditor, however, it seems that if you click on the Styles drop down and click the same Styles that was previously applied, then it will remove that style.
I will keep looking to see if there is a way to remove all styles.