Font substitution

<#756#>decl<#756#> || <#757#>encoding<#757#> <#758#>family<#758#> <#759#>series<#759#> <#760#>shape<#760#> <#761#>size<#761#> Declares <#763#>encoding<#763#><#764#>family<#764#><#765#>series<#765#><#766#>shape<#766#> 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 <#767#>encoding<#767#><#768#>family<#768#><#769#>series<#769#><#770#>shape<#770#> must have been defined by | | before the |<#771#>document<#771#>| is reached. Example: <#772#>tex2html_preform<#772#>verbatim76# <#774#>decl<#774#> || 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: <#776#>tex2html_preform<#776#>verbatim77#