Improve the layout of intermezzos.
authorMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 19:08:39 +0000 (20:08 +0100)
committerMatthijs Kooijman <matthijs@stdin.nl>
Mon, 7 Dec 2009 19:08:39 +0000 (20:08 +0100)
commit3288d6732a48f165650420d1ef538e64586167af
tree151d8511e79a534efcf61a61581cf467a2a3c9b0
parent50eeb3677b12498bead6750f65bbb0f48c796cd8
Improve the layout of intermezzos.

In particular, don't put spacing above and below it, which looks ugly.
Utils/Lambda.tex