Here we go, just after doing my second template change, I patched it again within minutes to change the style of
<pre> tags. I shamelessly stole the idea from the XStandard web site. So, my thanks to their web designer, I now like the way the content of my
<pre> tags looks like.