Hervé Girod - 2016-10-17

Fix "pre" elements which could overflow their box in some cases
Remove some unwanted paragraph tags in the HTML output
Fix some corner cases where the width of the middle div block could be smaller than expected if a custom right div block was added