The 'verbatim' user function description elements are now properly formatted in the GUI.
These elements now use the font.modern_small formatting to have fixed-width characters.
Authored by: bugman 2012-06-04
Parent: [r16623]
Child: [r16625]
