On Wed, Nov 27, 2002 at 04:16:16PM +0100, Jean-Marc Lasgouttes wrote: > > Probably not. I guess it is a consequence of our changing from > \centering to center environments and friends.
\begin{center} is bad as it adds space.
We need to change it to something else.
