Omni Systems, Inc.

  

Mif2Go User's Guide, Version 55

  

Valid HTML 4.01!

 

Made with Mif2Go

21 Mapping text formats to HTML/XML > 21.7 Mapping fonts > 21.7.1 Specifying a default font and size


21.7.1 Specifying a default font and size

You can specify the default font and size to use; for example:

[Base]

; Font name and size put out at start of file, default none

Font=Times

Size=3

Not all browsers respect this setting. If you use CSS, the default value of Basefont is reversed to No; see §22.5 Understanding how CSS affects other options.

You can suppress the <basefont> tag entirely, or omit the face attribute while retaining size:

[HTMLOptions]

; Basefont = Yes (default) or No (no <basefont> tag put out)

; Default is reversed to No if UseCSS=Yes.

Basefont = No

; UseFontSize = Yes (default, allow size attrib in font tags) or No;

; reversed for Eclipse Help and JavaHelp

UseFontSize = No

; UseFontFace = Yes (default, allow face attrib in font tags) or No

UseFontFace = No

For Eclipse Help and JavaHelp, the default value of UsefontSize is reversed to No.

If you do not use CSS, and you are not using <font> tags either, you will get whatever fonts a browser specifies as defaults.



21 Mapping text formats to HTML/XML > 21.7 Mapping fonts > 21.7.1 Specifying a default font and size