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