{section: misc}
 
 *: Font size for verbatim examples. Our examples within the manual that use a fixed-width font start and end with a
-
+{verbatim}
         \begin{verbatim}
         \end{verbatim}
+{endverbatim}
 
 To insure that the pdf and postscript versions of the manual do not cut off the ends of the longer lines, reduce the font size. Add two more LaTeX macros surrounding the example, such that the source appears as
-
+{verbatim}
         \footnotesize
         \begin{verbatim}
         The long line(s) of verbatim text here.
         \end{verbatim}
         \normalsize
-
+{endverbatim}
  What constitutes a "longer line" is debatable. Definitely include it for lines that have more than 60 characters, but err on the side of safety (nice pdf output) by adding this for all but the shortest (20 characters or less). The goal of this advise is that you (the developer) will not need to examine the pdf output to check for lines that get cut off.