20.6.4 Excluding font tags
If your initial HTML output with vanilla settings is bloated with <font> tags, you might want to exclude all use of <font> tags--provided you are targeting only Internet Explorer. You can turn off <font> tags with a single setting:
; NoFonts = No (default, use <font...> tags)
; or Yes (prohibit <font ...>) tags except for symbol fonts,
Using CSS turns off <font> tags by default; see §21.5 Understanding how CSS affects other options. If you are using CSS you can create <span> tags instead, with a single setting for each character format; see §21.7.3 Mapping character formats to tags or span classes.
You might find that Mif2Go inserts inner <font> tags when the source character format specifies the Symbol font, even though you have explicitly set NoFonts=Yes. This is done to ensure that bullets from the Symbol font come out right.
To always suppress <font> tags for characters in the Symbol font (or in any of its brothers, such as Zapf Dingbats, Webdings, or Wingdings) that occur outside of autonumbers:
; NoSymbolFont = No (default, use <font...> tags for symbol fonts) or
; Yes (prohibit <font...> tags even for symbol fonts)
If you set NoSymbolFont=Yes, you will want to map any non-autonumber symbols in your document to appropriate Unicode numeric character entities; see §20.5.6 Mapping characters in a special font.
As an alternative, you can keep the <font> tags, but omit the face attribute.
To suppress only the face attribute in <font> tags:
;UseFontFace = Yes (default, allow face attribute in <font>) or No
Allowing <font> tags for size but not for face avoids interfering with CSS specifications. For example, omitting the face attribute is required for W3C validation of HTML 3.2 for JavaHelp. On the other hand, if you use non-Unicode-compliant fonts such as Webdings and Wingdings, the only way to get certain non-Microsoft browsers to render characters in those fonts is to use the face attribute; see §20.6.5 Accommodating browser font-rendering differences.
If you do not use CSS, and you are not using <font> tags either, you will get whatever fonts a browser specifies as defaults.
> 20 Mapping text formats to HTML > 20.6 Mapping fonts > 20.6.4 Excluding font tags