I just noticed that the HTML5 which I exported had different fonts on Android and on iOS.
My original font is Google Open Sans.
On Android it looks like Arial.
On iOS it looks like Times.
Can I set the font in the HTML5 settings or in the CSS file, so that at least serif and sans serif is kept?
You can set the font in the Settings file
Click on the Style Mapping tab
Click on Paragraph styles
Click on a style
The name of the Output style you want to use will appear
Click on Edit Style
A dialog box with many options is displayed
The first option Type, has a drop down box "Font-family"
You can choose the font family that will be used for that style in the help.
You will need to set this up for each style used in the help file.
OK. I see. In the font family list there are 13 groups with two to four fonts.
I assume that these cover Android and iOS fonts.
Thank you very much!