<pre> tags to 'ascii art', to support doxygen.