Html output: add a <pre> and some align=justify