Hi zombie0

You're right. The <pre> tag will turn everything into a monospaced font, like Courier New.

However, I assume that one can force the <pre> element to use a different font by adding a CSS style specifying the desired font, but I've never actually tried doing that.

Here's an example:

<style type="text/css">
<!--
pre {font-family:arial; font-size:8 pt; color: darkblue}
-->
</style>