Font substitution

<#760#>decl<#760#> || <#761#>encoding<#761#> <#762#>family<#762#> <#763#>series<#763#> <#764#>shape<#764#> <#765#>size<#765#> Declares <#767#>encoding<#767#><#768#>family<#768#><#769#>series<#769#><#770#>shape<#770#> 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 <#771#>encoding<#771#><#772#>family<#772#><#773#>series<#773#><#774#>shape<#774#> must have been defined by | | before the |<#775#>document<#775#>| is reached. Example: <#776#>tex2html_preform<#776#>verbatim85# <#778#>decl<#778#> || 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: <#780#>tex2html_preform<#780#>verbatim86#