diff --git a/format-master.xml b/format-master.xml index 4131cd1..c1150d4 100755 --- a/format-master.xml +++ b/format-master.xml @@ -237,14 +237,10 @@ - - \vskip\baselineskip\begin{minipage}{\textwidth} - - + \begin{minipage}{\textwidth} \begin{verbatim} @@ -252,7 +248,9 @@ \end{verbatim} - \end{minipage}\vskip\baselineskip + \end{minipage} + + \vskip\baselineskip