Font substitution

<#708#>decl<#708#> || <#709#>encoding<#709#> <#710#>family<#710#> <#711#>series<#711#> <#712#>shape<#712#> <#713#>size<#713#> Declares <#715#>encoding<#715#><#716#>family<#716#><#717#>series<#717#><#718#>shape<#718#> to be the font shape used in cases where the standard substitution mechanism fails (i.e.~would loop). For the standard mechanism see the command | | above. The font specification for <#719#>encoding<#719#><#720#>family<#720#><#721#>series<#721#><#722#>shape<#722#> must have been defined by | | before the |<#723#>document<#723#>| is reached. Example: <#724#>tex2html_preform<#724#>verbatim71# <#726#>decl<#726#> || This parameter is used to decide whether or not to produce a terminal warning if a font size substitution takes place. If the difference between the requested and the chosen size is less than || the warning is only written to the transcript file. The default value is |0.4pt|. This can be redefined with ||, for example: <#728#>tex2html_preform<#728#>verbatim72#