<#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#