Set size of monospaced font for verbatim environments (HTML only).
| Type & position: | command, preamble |
| Syntax: | !html_monofont_size <value> |
| Description: | This command sets the size of the font that is used to display text in verbatim environments. |
| Example: | !html_monofont_size +1 |
| Exists since: | Release 6 Patchlevel 7 |
| See also: | !html_monofont_name, !verbatimsize |