Checkout
nd
committed
on 05 Feb 14
move the <pre> trimming code into its own module and use it both for html and
latex output