Text style changes when exporting

Actually, no it’s not - this is Windows specific.

It’s likely to be the same problem, though…