The CSS style names shouldn't contain non-ASCII characters and if present, they should be escaped. HtmlFormatProvider doesn't escape them while exporting and cannot properly import the generated file.