The standard export to a ZIP archive does not contain font settings for an unknown reason.
It could be a bug of a partucular IntelliJ IDEA version (2022.3).
I have copied the settings folders from another workstation, it fixed the problem.
