Avoid replacing <pre> with <samp>

The use of <samp> instead of <pre> prevents the correct copy of white spaces from the web page.

The problem was discussed in lhcb/LHCb!1114 (merged).