Set font size for verbatim environments.
Type & position: | command, preamble & main part |
Syntax: | !verbatimsize [tiny|small|normal|large|huge] |
Description: | With this switch you can set the font size of verbatim
environments if the destination format allows it to use different font
sizes. You can use this switch wherever you want. The smallest font
size is activated with `tiny', the largest one with
`huge'. The default font size is `normal'. |
Example: | !verbatimsize [small] |
Exists since: | Release 5 Patchlevel 11 |
See also: | verbatim environment, !html_monofont_size |