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 |