!begin_node (!kw [html_monofont_size])
!html_name cmd_html_monofont_size

Set size of monospaced font for verbatim environments (HTML only).

!begin_xlist [(!TYPEPOSITION)]

!item [(!TYPEPOSITION)] (!COMMAND), (!PREAMBLE)

!item [(!SYNTAX)] (!T)!/html_monofont_size (!VALUE)(!t)

!item [(!DESCRIPTION)]
This command sets the size of the font that
is used to display text in verbatim environments.

!item [(!EXISTSSINCE)] Release~6 Patchlevel~7

!item [(!SEEALSO)]
(!KW [html_monofont_name]), (!KW [verbatimsize])

!end_xlist

(!EXAMPLE)
(!EXAMPLE_BEGIN)
!begin_verbatim
!html_monofont_size +1
!end_verbatim
(!EXAMPLE_END)

!end_node
