RichTextBox: Table width value is not exported with invariant culture to HTML format
The table width value is exported with different decimal separator depending on the used culture. One the problem is fixed the width value should be exported with invariant culture.